Christoph M. Kirsch
Scholar

Christoph M. Kirsch

Google Scholar ID: jk3kRKAAAAAJ
Professor of Computer Sciences, University of Salzburg
Computer ScienceConcurrencyMemory ManagementVirtualization
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
786
 
H-index
15
 
i10-index
20
 
Publications
20
 
Co-authors
0
 
Contact
Emailck@cs.uni-salzburg.atCVOpen ↗TwitterOpen ↗GitHubOpen ↗
Publications
1 items
Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
2025
Cited
0
Resume
Academic Achievements
  • Involved in multiple projects such as Selfie, JAviator; serves on program committees for international conferences (e.g., EuroSys 2026, RTNS 2025).
Research Experience
  • Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague; has supervised several PhD students and post-graduate affiliates across various research areas.
Background
  • Professor and Chair in the Department of Computer Science with research interests spanning systems, concurrency, memory, time, and space.
Miscellany
  • Can be sponsored via Revolut; selfie sponsor on GitHub; meetings can be scheduled through Calendly; active on Mastodon social platform.