Dr. Hannes Kallwies
staff
- Formal Methods
- Runtime Verification (esp. Stream Runtime Verification)
- Compiler Construction
- Software Engineering (WS 2019/20)
- Lab Course Software Engineering (SS 2020, SS 2021)
- Introduction to Software Systems Engineering (WS 2020/21, WS 2021/22, WS 2022/23, WS 2024/25)
- Runtime Verification and Testing (SS 2022, SS 2023)
Scientific Staff

E-mail: | kallwies [at] isp.uni-luebeck.de |
Address: | Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3 23562 Lübeck
Germany |
Phone: | +49 451 3101 6511 |
Room: | 3. Floor, Building MFC II |
About
I was postdoc researcher at the Institute for Software Engineering and Programming Languages from September 2024 to December 2024.
Previously I did my PhD at the ISP from September 2019 on.
Fields of Interest
Teaching:
Activities:
Projects:
Active
Completed
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Marc Bätje
- Moritz Bayerkuhnlein
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Enno Friedl
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Complete List
- Open Positions