Karam Younes Kharraz

staff

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:

• Electronic Contracts.
• Reactive and Distributed systems.
• Formal methods for verification.
• Deontic logic.

Teaching:

• Reliable Software: WS 2018/2019
• Reliable Software: WS 2020/2021

Seminars:

• Computational approaches for contracting.