-
Jan-Christoph Kassing
|
- Lehr- und Forschungsgebiet Informatik 2
- RWTH Aachen
- 52056 Aachen
- Germany
E-Mail: kassing@cs.rwth-aachen.de
- Room: 4209, Ahornstr. 55
|
|
I have been a research assistant and PhD student at
Lehr- und Forschungsgebiet Informatik 2
since October 2022. My main research interest is theoretical computer science. In particular, term rewriting, probabilistic programming and the automatic verification of (probabilistic) programs. Moreover, I am one of the main developers of the Automated Program Verification Environment (AProVE) tool.
Publications
-
J.-C. Kassing, G. Vartanyan, and J. Giesl
A Dependency
Pair Framework for Relative Termination of Term Rewriting
In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR '24),
Nancy, France, Lecture Notes in Computer Science, 2024. To appear
ⒸSpringer-Verlag
Extended version
appeared at arXiv, CoRR abs/2404.15248.
Slides
of a related talk.
-
J.-C. Kassing, S. Dollase, and J. Giesl
A Complete Dependency
Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
In Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS '24),
Kumamoto, Japan, Lecture Notes in Computer Science,
Lecture Notes in Computer Science 14659, pages 62-80, 2024.
ⒸSpringer-Verlag
Extended version
appeared at arXiv, CoRR abs/2309.00344.
Slides
of a related talk.
-
J.-C. Kassing, F. Frohn, and J. Giesl
From
Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
In Proceedings of the
27th International Conference on Foundations of Software Science and Computation
Structures (FoSSaCS '24), Luxembourg City, Luxembourg,
Lecture Notes in Computer Science 14575, pages 206-228, 2024.
Extended version
appeared at arXiv, CoRR abs/2310.06121.
Slides
of a related talk.
AProVE artifact available at Zenodo
-
J.-C. Kassing and J. Giesl
Proving
Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Using Dependency Pairs
In Proceedings of the 29th International Conference on Automated Deduction (CADE '23), Rome, Italy,
Lecture Notes in Artificial Intelligence 14132, pages 344-364, 2023.
ⒸSpringer-Verlag
Extended version appeared at arXiv, CoRR abs/2305.11741.
Slides
of a related talk.
|
Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)
|
- Vorlesung Programmierung (WS 23/24)
- Seminar Verifikationsverfahren (WS 23/24)
- Proseminar Fortgeschrittene Programmierkonzepte (SS 23)
- Vorlesung Programmierung (WS 22/23)
- Seminar Verifikationsverfahren (WS 22/23)
