I grew up in Trinidad and Tobago, where I graduated with a BSc in Maths and Computer Science from the University of the West Indies. After a short (but sufficient!) stint as a COBOL programmer, I came to Scotland where I did MSc and PhD degrees in Computer Science at the University of Edinburgh. My PhD was partly funded through summer jobs at what was then called AT&T Bell Labs, where I worked within an exciting research department which, sadly, no longer exists. After the PhD (phew!) I spent a year on an ERCIM fellowship which allowed me to visit the CROAP group at INRIA in France and the Department for Computation and Information at RAL in England. I then returned to Scotland to become a lecturer at the University of Stirling.I am married to Neil and we have two children, Sharda and Jamie.
Event / Presentation
A Participatory Simulation Model for Studying Attitudes to Infection Risk. Summer Computer Simulation Conference 2011 (SCSC 2011) The Society for Modeling and Simulation International
Studying the effects of adding spatiality to a process algebra model. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK Process Algebra and Stochastically Timed Activities (PASTA)
Omnibus Verification Policies: A Flexible, Configurable Approach to Assertion-Based Software Verification. 3rd IEEE International Conference on Software Engineering and Formal Methods
Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection. Summer Simulation Multiconference
I am interested in the use of simulation techniques, including agent-based simulation and virtual worlds, to understand real-world socio-economic phenomena. I am currently collaborating with Adam Kleczkowski from Mathematics on a project using agent-based simulation to model the effect of human behavioural changes on the spread of disease epidemics across a spatial network. Our models include consideration of the economic cost of behavioural changes (for example, if people stay home from work to avoid infection, there is cost to society), in relation to the economic benefit from reducing the size of the epidemic. In previous work, I investigated the use of formal, mathematical techniques for the development of critical systems. Some specific areas of interest include: the use of theorem-proving tools, particularly those based on higher-order logics and type theory, for formal reasoning about specifications, programming languages and programs; the design and semantics of formal specification languages. I collaborated with Thomas Wilson and Robert Clark, on the Omnibus project. I have also worked with Carron Shankland and Muffy Calder on studying the symbolic semantics of the LOTOS specification language; with Juan Biccaregui on formalizing VDM within the PVS theorem prover; with Elsa Gunter on formalizing the semantics of Standard ML within the HOL theorem prover; with the Lego group at Edinburgh University; and with Edward Farrell of the University of the West Indies.
Ameerbakhsh O, Maharaj S, Hussain A, Paine CET & Taiksi S (2016) An exploratory case study of interactive simulation for teaching Ecology In: 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET). ITHET 2016: 15th International Conference on Information Technology Based Higher Education and Training, Piscataway, NJ, USA, 08.09.2016-10.09.2016. Piscataway, NJ, USA: IEEE. http://ieeexplore.ieee.org/document/7760725/; https://doi.org/10.1109/ITHET.2016.7760725.
Maharaj S, Jones G, Greene P & Docherty C (2016) Gamification for public engagement with invasive tree pests and diseases. First International European Citizen Science Association (ESCA) Conference 2016: Citizen Science - Innovation in Open Science, Society and Policy, 19.5.2016 - 21.5.2016, Berlin.
Banerjee S & Maharaj S (2015) Strategic Interactions and Information Exchange on Networks: An Agent Based Simulation Model of Landowner Behavior in Conservation Incentive Schemes In: Miguel FJ, Amblard F, Barcelo JA, Madella M (ed.) Advances in Computational Social Science and Social Simulation: Proceedings of the Social Simulation Conference 2014 Barcelona, Catalunya (Spain), September 15, Barcelona: Universitat Autònoma de Barcelona Press. Social Simulation Conference, 1.9.2014 - 5.9.2014, Universitat Autonoma Barcelona, pp. 42-46.
Delaney L, Kleczkowski A, Maharaj S, Rasmussen S & Williams L (2013) Reflections on a virtual experiment addressing human behavior during epidemics In: SummerSim '13 2013 Summer Simulation Multiconference Toronto, Canada — July 07 - 10, 2013 , Vista, CA: Society for Modeling & Simulation International. Summer Computer Simulation Conference 2013, 7.7.2013 - 10.7.2013, Toronto, Canada, p. Article 33.
Maharaj S, Kleczkowski A & McCaldin T (2011) A Participatory Simulation Model for Studying Attitudes to Infection Risk In: Proceedings of the Summer Computer Simulation Conference 2011 (SCSC 2011), California: Society for Modeling and Simulation International Vista / ACM Digital Library. Summer Computer Simulation Conference 2011 (SCSC 2011), 27.6.2011 - 30.6.2011, The Hague, NL, pp. 8-13.
Kleczkowski A & Maharaj S (2010) Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection In: SummerSim '10 2010 Summer Simulation Multiconference, San Diego: Society for Computer Simulation International. Summer Simulation Multiconference, 1.7.2010, Ottawa, Canada, pp. 141-146.
Wilson T, Maharaj S & Clark R (2009) A Case Study in Integrated Assertion-Based Verification with Omnibus. Technical Report CSM, 176. Department of Computing Science and Mathematics, University of Stirling.
Maharaj S, McCaig C & Shankland C (2009) Studying the effects of adding spatiality to a process algebra model In: Clark A, Guerriero ML (ed.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009, Edinburgh, UK: University of Edinburgh. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, 26.8.2009 - 26.8.2009, Edinburgh, pp. 153-158.
Wilson T, Maharaj S & Clark R (2007) Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors. Technical Report CSM, 167. Department of Computing Science and Mathematics, University of Stirling.
Wilson T, Maharaj S & Clark R (2005) Omnibus verification policies: A flexible, configurable approach to assertion-based software verification In: Aichernig BK, Beckert B (ed.) SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, Los Alamitos, CA: The Institute of Electrical and Electronics Engineers, Inc. 3rd IEEE International Conference on Software Engineering and Formal Methods, 7.9.2005 - 9.9.2005, Koblenz, Germany, pp. 150-159.
Wilson T, Maharaj S & Clark R (2005) Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques In: Butler M, Jones C, Romanovsky A, Troubitsyna E (ed.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle upon Tyne: University of Newcastle upon Tyne. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), 19.7.2005 - 19.7.2005, Newcastle, pp. 43-52.
Bujorianu ML, Bujorianu MC & Maharaj S (2005) Distributed stochastic hybrid systems In: Zitek P (ed.) Proceedings of the 16th IFAC World Congress, 2005, Amsterdam: Elsevier for International Federation of Automatic Control. 16th World Congress of the International Federation on Automation and Control (IFAC 2005), 4.7.2005 - 8.7.2005, Czech Republic, pp. 158-163.