Dr. Lorenzo Gheri

Lorenzo Gheri
Office: S2|02 E321
Phone: +49 6151 16-25256
Fax: +49 6151 16-25251
Mail: gheriatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


Short Bio

I am a research assistant (postdoc) within the MAIS group, lead by Prof. Heiko Mantel, at the Technical University of Darmstadt. Before moving to Darmstadt I conducted, under the supervision of Dr. Andrei Popescu, a PhD project at Middlesex University London in theoretical computer science, more specifically, on syntax with bindings, aiming at formalizing a general theory of it. My PhD thesis is currently under examination and the defense is expected at the beginning of next year. I spent my student years in Florence, where I got a MSc (supervised by Dr. Marco Maggesi) and BSc in pure mathematics.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang