PostDoc Christoph Matheja
ETH Zürich (Adjunkt at DTU Compute from Nov. 2021)
PM Group
Universitätstrasse 6
8047 Zürich
Switzerland
cmatheja @ inf.ethz.ch
+4915127554451
Indledende emner
Concurrent og parallel programmering
Datavidenskab
Formelle sprog
Logik
Objektorienteret programmering
Programmeringssprog
Videregående emner
Compiler Construction
Complexity Theory
Computational Logic
Concurrency Theory
Probability Theory
Program Analysis
Randomized Algorithms
Semantics
Software Engineering
Software Verification
Theory of Computation