DI Dr. Markus Schordan

Markus Schordan

Programmanalyse/Verifikation

Programmiersprachen für High-Performance Computing

Beruflicher Werdegang

Markus Schordan ist seit April 2013 Computer Scientist im Center for Applied Scientific Computing am Lawrence Livermore National Laboratory in Kalifornien. Seine Forschung umfasst die Bereiche von Programmanalyse und Verifikation, Programmiersprachen für High-Performance Computing, Compilerbau und Softwareentwicklungswerkzeuge.