Harsh Beohar
Address: see Contact

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)