I work as an independent  researcher in programming languages. I have a background as an assistant professor at Copenhagen University and have continued my efforts when residing in the private sector.

I am mainly interested in these areas:

· Automatic program transformations;

· λ-calculus and type theory;

· The Curry-Howard Isomorphism;

· Industrial applications of programming language technology.

I have published around 50 papers, mostly in internationally recognized conferences and journals, as well as a book.

I have taught a number of courses and supervised a number of  Master’s
and PhD projects in my areas of expertise.

 

Profile

NEWS! My book with Pawel Urzyczyn is out.

 

Read more...

NEWS! Recent talk at  tribute workshop and festival to honor Prof. Neil D. Jones.

Sequent Calculus, Dialogues, and Cut-elimination.

Read more...

FORMALIT
software project consulting