![Andrei Marian Dan](https://popl18.sigplan.org/getProfileImage/andreidan/db0a0ea1-1877-439f-9b71-688ef34f007a/small.jpg?1718176840000)
Registered user since Mon 13 Feb 2017
Name:Andrei Marian Dan
Bio:
I am a PhD student in the Software Reliability Lab, supervised by Prof. Martin Vechev. My research focuses on static analysis techniques for relaxed memory models.
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://www.srl.ethz.ch/adan.php
Contributions
POPL 2018-profile
View general profile
View general profile