About meI obtained my PhD from ETHZ in 2018, at the Secure, Reliable, and Intelligent Systems Lab, supervised by Prof. Martin Vechev. My PhD research focused on static analysis techniques for relaxed memory models and software security. You can find my new web page at andreidan.net.
Effective Abstractions for Verification under Relaxed Memory Models
Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
Computer Languages (COMLAN), March 2016. Submitted June 2015. Invited paper.
ETH Zurich, 2012–2018 PhD in Computer Science
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
IBM Research, Zurich, 2012. Master thesis on High-performance Solid-state Enterprise Storage Systems. Supervisor: Roman Pletka.
SRI International, Menlo Park, US, 2010. Develop a verified SAT trace checker in PVS. Supervisor: Natarajan Shankar.
Distinguished Paper Award at OOPSLA 2016 ACM SIGPLAN Travel Grant for OOPSLA 2016 EPF Lausanne excellence scholarship - 2010 Eiffel excellence scholarship (French Ministry of Foreign Affairs) - 2008
EASE 2019 - Program Committee Member
OOPSLA 2014 Artifacts Evaluation - Committee Member
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, Spring 2016, Spring 2017
Seminars and Summer Schools
Dagstuhl Seminar: Concurrency with Weak Memory Models November 2016, Schloss Dagstuhl, Germany.
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.