Dr Harsh Beohar
Department of Computer Science
Lecturer in Verification
International Student Liaison and SIC Liaison
Member of the Verification research group
h.beohar@sheffield.ac.uk
+44 114 222 1961
+44 114 222 1961
Regent Court (DCS)
Full contact details
Dr Harsh Beohar
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Publications
-
Journal articles
- Conditional transition systems with upgrades. Science of Computer Programming, 186. View this article in WRRO
- A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science (LMCS), 14(1). View this article in WRRO
- Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, 45-69. View this article in WRRO
Conference proceedings papers
- Hennessy-Milner Theorems via Galois Connections. Leibniz International Proceedings in Informatics, LIPIcs, Vol. 252
- Graded Monads and Behavioural Equivalence Games. Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
- Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic (pp 1-22)
- Bisimulation maps in presheaf categories. Electronic Notes in Theoretical Computer Science, Vol. 347 (pp 5-24). London, UK, 4 June 2019 - 7 June 2019. View this article in WRRO
- Conditional transition systems with upgrades. 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), 13 September 2017 - 15 September 2017.
- On path-based coalgebras and weak notions of bisimulation. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Vol. 72 (pp 6:1-6:17). Ljubljana, Slovenia, 14 June 2017 - 16 June 2017. View this article in WRRO
Theses / Dissertations
Other
- Conditional transition systems with upgrades. Science of Computer Programming, 186. View this article in WRRO
- Grants
-
Current Grants
-
Quantitative verification of software families based on coalgebraic modal logic and games, EPSRC, 12/2022 - 11/2024, £235,841, as PI
-