Andrei Marian Dan Andrei Marian Dan

I am a PhD student in the Software Reliability Lab.
My supervisor is Prof. Martin Vechev.

Office: CAB H86.1
Phone: +41 44 633 81 94

My Research:

I mostly work on program analysis and verification, relaxed memory models and concurrency.


Effective Abstractions for Verification under Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav
PDF , slides: PDF

Synthesis of Memory Fences via Refinement Propagation
Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav
SAS '14

Predicate Abstraction for Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav
SAS '13
PDF , extended version: PDF , slides: PDF


EPF Lausanne , 2010 - 2012
MSc in Computer Science

Ecole Polytechnique Paris , 2008 - 2010
Engineer Diploma, X07

Polytechnic University of Bucharest , 2005 - 2009
BSc in Computer Science


OOPSLA 2014 Artifacts Evaluation - Committee Member


IBM Research, Zurich , 2012
Master thesis on High-performance Solid-state Enterprise Storage Systems

SRI International, Menlo Park, US , 2010
Develop a verified SAT trace checker in PVS


2010: EPF Lausanne excellence scholarship

2008: Eiffel excellence scholarship (French Ministry of Foreign Affairs)

Teaching assistant:

Program Analysis - graduate course, 4 ECTS.
Fall 2013, Spring 2015

Big Data - graduate course, 6 ECTS.
Fall 2014

Software Architecture and Engineering - undergraduate course, 8 ECTS.
Spring 2014

Summer schools:

NATO International Summer School - Software Systems Safety
August 2013, Marktoberdorf, Germany.

Alpine Verification Meeting (AVM)
May 2013, Trento, Italy.

Verification Technology, Systems & Applications (VTSA)
September 2012, Saarbr├╝cken, Germany.