Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home › Staff ›

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.
  • News
  • Research
    • Projects
    • Publications
    • Partners
    • Conferences
  • Teaching
    • Theses
      • FAQ
      • Templates
    • Courses
  • 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
      • Activities
      • Publications
    • 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

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2023