Karam Younes Kharraz
staff
- Electronic Contracts.
- Reactive and Distributed systems.
- Formal methods for verification.
- Deontic logic.
- Reliable Software: WS 2018/2019
- Reliable Software: WS 2020/2021
Scientific Staff

E-mail: | karam.kharraz [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 6542 |
Room: | 3. Floor, Building MFC II |
Fields of interest:
Teaching:
Seminars:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Elisabeth Schwennen
- Aliyu Ali
- Phillip Bende
- Juljan Bouchagiar
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Malte Schmitz
- Uwe Schwennen-Kienitz
- Thomas Sievers
- Annette Stümpel
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Elisabeth Schwennen
- Aliyu Ali
- Philipp Bende
- Juljan Bouchagiar
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Malte Schmitz
- Uwe Schwennen-Kienitz
- Thomas Sievers
- Annette Stümpel
- Daniel Thoma
- Lars Vosteen
- Complete List
- Open Positions