Presenter

Markus Schordan joined the Center for Applied Scientific Computing (CASC) 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, in 2011 a Best Paper Award at the 11th IEEE Source-Code and Manipulation Conference (SCAM 2011), and in 2012 and 2013 he received the Method Combination Award in the RERS software verification challenge. In 2014, 2015, and 2017 he won with his team in various tracks of the RERS Challenge. 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 of 35+ peer-reviewed publications and has been PC member in 25+ conferences.