Maxime Beauquier

I am a Ph.D. student in the TCS section (former PLS group) IT University of Copenhagen. I am (was) founded by the TrustCare project and my Ph.D. supervisors are Carsten Schürmann and Thomas Hildebrandt.

I am intrested in type theory; I am currently trying to build a Twelf-like system that supports (small) coinductive reasoning.

Contacts

First name : Maxime
Last name : Beauquier
E-mail : my_first_name [dot] my_last_name [at] itu [dot] dk
Phone number : (+45) 72 18 52 64
Office : 4C16

Publication(s)

A Bigraph Relational Model
with Carsten Schürmann
in 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 2012
[.pdf | .bibtex]
(technical repport version [.pdf])

Talk(s)

Work in progress: Towards Coinduction in Twelf (abstract)
at the informal workshop: Certificates and Computation at ITU in March 2012.
[Slides]

Project

Modeling bigraph reactive system in Celf.

My not facebook page : here