Dr Harsh Beohar
School of Computer Science
Lecturer in Verification
PGR Tutor
International Student Liaison and SIC Liaison
Member of the Foundations of Computation research group
h.beohar@sheffield.ac.uk
+44 114 222 1961
+44 114 222 1961
Regent Court (DCS)
Full contact details
Dr Harsh Beohar
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Publications
-
There has been a problem showing this information. Please try again later.
- Grants
-
Current Grants
-
Quantitative verification of software families based on coalgebraic modal logic and games, EPSRC, 04/2023 - 04/2025, £235,841, as PI
-
Synthesising characteristic formulae and apartness proofs for coalgebras, Royal Society, 03/2023 - 03/2025, £11,875, as PI
-