Person

Jan-Christoph Kassing

M. Sc. RWTH

Doctoral researcher

Jan-Christoph Kassing Copyright: © Jan-Christoph Kassing
Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)

Address

Ahornstraße 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21241
 
Dissertation project
Analyzing Termination and Expected Runtime Complexity for Probabilistic Term Rewriting