Harsh Beohar

Contact

Room LF 265

Phone: +49 (0)203 / 379 3566

Email: harsh.beohar(at)uni-due.de

Address: Click here

Research Interests

Process algebra, Structural Operational Semantics, Formal Modelling and Testing of Software Product Lines, Desynchronisation of Asynchronous Systems, Applications of Category Theory in Concurrency Theory

Publications

Please click here.

Teaching

  • SS 2017:
    • Lecturer and tutor for "Modelling of concurrent systems" (Website)
  • WS 2016/17:
    • Tutor for "Logik"
    • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung"
  • SS 2016:
    • Lecturer and tutor for "Modelling of concurrent systems" (Website)
  • WS 2015/16:
    • Tutor for "Logik" (Website)
    • Seminar assistance "Quantitative Modelle der Informatik" (Website)
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin