Dr Harsh Beohar
School of Computer Science
Lecturer in Verification
PGR Tutor
Member of the Foundations of Computation research group
h.beohar@sheffield.ac.uk
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 - 08/2025, £235,841, as PI
- Synthesising characteristic formulae and apartness proofs for coalgebras, Royal Society, 03/2023 - 03/2026, £11,875, as PI