Collaborations and top research areas from the last five years
-
Cybersec PostDoc: Post-Doc Anstellung im Rahmen der Brückenprofessur Cybersecurity
Simos, D. (Principal Investigator) & Kirsch, C. (Co-Principal Investigator)
1/09/25 → 31/08/30
Project: Research
-
Teaching Digital Thinking: Strategien zur Konzeption, Vermittlung, Dynamisierung und nachhaltigen Implementierung
Kirsch, C. (Principal Investigator)
1/05/20 → 31/12/24
Project: Research
-
-
Sommerpraktika 2015 des Software Systems Centers - Teil Kirsch
Kirsch, C. (Principal Investigator)
1/06/15 → 30/09/15
Project: Research
-
-
Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
Bolotina, A., Kirsch, C. M., Lei, S. M. & Pleschinger, M., 13 Jul 2025.Research output: Working paper/Preprint › Preprint
-
Welcome from the Chairs to MPLR ’24
Kirsch, C. & Ertl, A., 2024, Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. ACMResearch output: Chapter in Book/Report/Conference proceeding/Legal commentary › Chapter in Book › Research › peer-review
-
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
Kirsch, C., Kocher, D., Sokolova, A., Bloem, R., Spitzer, P., Breu, R., Motschnig, R., Kayali, F. & Plant, C., Oct 2023, In: Zeitschrift für Hochschulentwicklung. 2023, 18Research output: Contribution to journal › Article › peer-review
Open Access -
JEDI: These aren't the JSON documents you're looking for...
Hütter, T., Augsten, N., Kirsch, C., Carey, M. J. & Li, C., 10 Jun 2022, p. 1584-1597. 14 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Unicorn
Kirsch, C. (Developer), Kocher, D. (Developer) & Starzinger, M. (Developer), 2022Research output: Non-textual form › Software
Prizes
-
ACM SIGMOD Best Artifact Award
Hütter, T. (Recipient), Augsten, N. (Recipient), Kirsch, C. (Recipient), Carey, M. J. (Recipient) & Li, C. (Recipient), 2023
Prize
-
-
-
-
Activities
-
i-Day 2025: Tag der offenen Tür an den Fachbereichen Informatik und Artificial Intelligence and Human Interfaces
Augsten, N. (Contributor), Hagenauer, H. (Contributor), Trutschnig, W. (Contributor), Kwitt, R. (Contributor), Kutil, R. (Contributor), Kirsch, C. (Contributor), Uhl, A. (Contributor), Forster, S. (Contributor), Kubesch, M. (Contributor), Wallner, V. (Contributor), Mehran, N. (Contributor), Sokolova, A. (Contributor), Hirländer, S. (Contributor), Leschke, N. C. (Contributor), Widmoser, M. (Contributor), Schmitt, D. U. (Contributor), Löhnert, B. (Contributor), Lankes, M. (Contributor), Collini-Nocker, B. (Contributor), Skarlatos, A. (Contributor), Mayer, H. (Contributor), Kocher, D. (Contributor) & Thiele, L. M. (Contributor)
6 Feb 2025Activity: Participating in or organising an event › Contribution to an event
-
International Conference on Managed Programming Languages and Runtimes (MPLR) 2024
Kirsch, C. (Contributor)
2024 → …Activity: Participating in or organising an event › Contribution to an event
-
ACM/SIGAPP Symposium on Applied Computing (SAC), 2024
Kirsch, C. (Contributor)
2024 → …Activity: Participating in or organising an event › Contribution to an event
-
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2024
Kirsch, C. (Contributor)
2024 → …Activity: Participating in or organising an event › Contribution to an event
-
International Conference on Code Quality (ICCQ), 2023
Kirsch, C. (Member of programme committee)
2023 → …Activity: Participating in or organising an event › Contribution to an event