DI Dr. Markus Schordan

Markus Schordan

Software Analysis / Verification

Programming languages for High Performance Computing

Markus Schordan joined the Center for Scientific Computing at Lawrence Livermore National Laboratory, California, USA, in April 2013 as computer scientist. His research interests include program analysis and verification, programming languages for high-performance computing, compiler construction, and software development tools.