​

​Harsh Beohar
Address: see Contact

• Room: LF 265
• Phone: +49 203 379-3566
• harsh.beohar(at)uni-due.de

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

List of publications at the university library

Teaching

• WS 2015/16:
  • Tutor for "Logik" (Website)
  • Seminar assistance "Quantitative Modelle der Informatik" (Website)
• SS 2016:
  • Lecturer and tutor for "Modelling of concurrent systems" (Website)
• WS 2016/17:
  • Tutor for "Logik" (Website)
  • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung" (Website)
• SS 2017:
  • Lecturer and tutor for "Modelling of concurrent systems" (Website)
• WS 2017/18:
  • Tutor for "Logik" (Website)
  • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung" (Website)