Florence Clerc

Florence Clerc serves as a Research Fellow in the Department of Computer Science at the School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, United Kingdom, with active affiliation confirmed through her institutional email and 2025 publication record.

Her research focuses on theoretical intersections of computer science and mathematics, particularly stochastic processes and probabilistic systems. Key areas include:

• Markov Processes (continuous-time and discrete-time variants)
• Behavioral Pseudometrics for system analysis
• Jump Processes and Brownian Motion modeling
• Formal methods in probabilistic system verification

Recent work trends, exemplified by her 2025 FoSSaCS conference contribution, emphasize metric-based approaches to continuous-time Markov processes, advancing theoretical frameworks in computer science and applied mathematics. This research directly addresses challenges in system behavior modeling and verification.

No scientific awards are documented in available sources. Similarly, no information exists regarding student supervision, grant funding, or laboratory/team affiliations within the provided institutional profile.