Presenter

Markus Schordan joined the Center for Applied Scientific Computing (CASC) at Lawrence Livermore National Laboratory in April 2013 as a senior computer scientist. His research interests include program analysis and formal software verification, reversible computation, and compiler construction. He is co-author of the software verification tool CodeThorn, the tool Backstroke for reversible computation, and the ROSE compiler infrastructure. In 2009 he received an R&D 100 AWARD (ROSE), in 2011 a Best Paper Award at the 11th IEEE Source-Code and Manipulation Conference (SCAM 2011), and in 2012 and 2013 the Method Combination Award in the RERS Challenges. In 2014 and 2015 he won the RERS Challenge (category overall).
He received a Diploma Degree in computer science from TU Vienna in 1997, and a Ph.D. degree from University Klagernfurt in 2001 (with distinction). He is author or co-author of 35+ peer-reviewed publications and has served as program committee member in 20+ conferences/workshops.