Chair of Software Modeling and Verification
  • Home
  • News
  • People
    • Thesis Projects
    • Lectures
      • Concurrency Theory
      • Model Checking
      • Probabilistic Programming
    • Publications
    • Projects
    • MOVES seminar
    • Tools
      • PRINSYS - PRobabilistic INvariant SYnthesiS
      • Prophesy
      • Smyle
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  1. Home
  2. News
  3. Sebastian Junges awarded with Best Master Thesis Prize in Germany

Sebastian Junges awarded with Best Master Thesis Prize in Germany

September 10, 2015

Sebastian Junges will receive the price for the best Master Thesis in Computer Science 2014/15 in Germany. His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).

PhD thesis on probabilistic counterexamples
Paper accepted by Formal Methods in System Design
© 2026 Chair of Software Modeling and Verification. All Rights Reserved.
  • Privacy Policy
  • Faculty of Computer Science
  • RWTH Aachen