Andrei Popescu

As of September 23rd, the Foundations group welcomes Dr. Andrei Popescu as Senior Lecturer! Andrei has come from the Isabelle group at TU München. He is interested in formal verification, inductive and coinductive datatypes, and information-flow security.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!