Expert in Formal Methods

Dr Savi Maharaj

Computing Science and Mathematics

T: 01786 467431

Dr Savi Maharaj may also be consulted about:
Dynamics and Control of Infectious Diseases | Agent-Based Simulation | Process Algebra | Computer Assisted Theorem Proving | Logic and Type Theory | Virtual experiments | Serious games

Academic expert list Search

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
Portal Logon

Forgotten login?