Visit by Andrei Popescu

[Jørgen Villadsen]

Andrei Popescu visits me this week and gives a talk on Wednesday as part of the Proof Assistants and Related Tools workshop: A Consistent Foundation for Isabelle/HOL

 

http://part.compute.dtu.dk/

 

Jørgen

 

Bio Andrei Popescu <A.Po...@mdx.ac.uk> http://andreipopescu.uk/

 

I am a Senior Lecturer at the Middlesex University London, School of Science and Technology, in the Foundations of Computing Group.

 

Previously, I worked as a researcher at the Informatics Institute, Technical University Munich, at the Chair for Logic and Verification headed by Tobias Nipkow.

Further down in the past, I did my PhD in computer science at the University of Illinois at Urbana-Champaign, advised by Elsa L. Gunter and Grigore Roșu.

 

My research combines formal logic with software engineering to build proof assistant technology and verification frameworks.