Andrei Marian Dan



About me

I am a PhD student in the Software Reliability Lab, under Prof. Martin Vechev's supervision. I come from Craiova, Romania. I mostly work on program analysis and verification, relaxed memory models and concurrency.

Education:

Publications:

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

Internships:

Awards:

Contact

Email: andrei.dan[at]inf.ethz.ch