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 |