DI Dr. 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.