Computational Logic
Department of Computer Science - Universität Innsbruck
  • Home
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
    • Aart Middeldorp
      • Edited Books
  • Events
    • Event Archive
  • News
    • News Archive
  1. You are here:  
  2. Home
  3. News

23 June 2023: Max Haslbeck defends his PhD thesis

Max Haslbeck successfully defended his PhD thesis on “Certitying Termination Proofs of LLVM IR Programs.” Congratulations!

Details
Category: News
Published: 28 April 2025

Page 2 of 2

  • 1
  • 2

© 2025 Computational Logic

g48
  • Contact
  • Data and Privacy
  • Something
  • FAQs
  • About