picture of Andi Bejleri

Andi Bejleri

Postdoctoral Researcher

Address and Contact Information

Software Technology Group
Computer Science Department
Technische Universität Darmstadt
Hochschulstr. 10
64289 Darmstadt

+49 6151 16-6702 (phone)
+49 6151 16-5410 (fax)
Office: A216 S2|02


My research consists of addressing practical software-engineering challenges through design and implementation of type theories and programming concepts. I have contributed to session-types theory, models for programming in the Cloud and static verification of object-oriented models. Currently, I'm enthusiastic to be working on two very iteresting projects PACE on programming abstractions and verification of Cloud environment!

Bachelor and Master projects!

I am looking for undergraduate or master's students for the following three research projects:

Selected Publications (full list, curriculum vitae, talks)

Recent work

Earlier work


I am currently working with Mira Mezini on the PACE project. I hold a Ph. D. and M. Sc. in Computer Science from Imperial College London, and bachelor from University of Pisa with senior thesis at Carnegie Mellon University.

I enjoy nature in her full spectrum, from the British country side to the breathtaking hights of Albanian mountains. I am fond of hiking, climbing and traveling , as well as exploring different tastes of culinary. Only lately have I started to appreciate the realm of politics, due to my personal involvement in the cabinet of the Prime Minister Sali Berisha. I am one of the co-founders of arkizone.com, a non profit web-page designed to democratise the business of construction in Albania, Kosovo, Macedonia and Montenegro.