Friedrich Weber

  • University Assistant, MSc
  • TU Wien
  • Institute for Logic and Computation 192/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria
  • Room: HD 03 05
  • Email: [at]

Research Interests

Formal methods, programming languages, verification

Current Position

I joined the Formal Methods in Systems Engineering group (FORSYTE) group in October 2019 as a PhD student. My supervisor is Prof. Pavol Černý. I'm affiliated with the Doctoral College Logical Methods in Computer Science.


  • MSc in Computer Science, TU Darmstadt
  • BSc in Computer Science, TU Darmstadt