Person
Jan-Christoph Kassing
M. Sc. RWTHDoctoral researcher
Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)
Address
Ahornstraße 55
52074 Aachen
| Dissertation project |
|---|
| Analyzing Termination and Expected Runtime Complexity for Probabilistic Term Rewriting |