Postdoc in the Programming, Logic and Semantics research group at the Department of Computer Science, IT University of Copenhagen.

I defended my PhD Thesis at the Department of Computer Science and Engineering at Chalmers University of Technology under the supervision of Andreas Abel in September 2018.


Contact

Software

Publications and drafts