Oana Maria Andrei
Address:     Sir Alwyn Williams Building
18 Lilybank Gardens
University of Glasgow
Glasgow G12 8RZ, UK
Office: F113
Phone: +44 141 330 5457
Email: oana.andrei -at- glasgow.ac.uk
I am a member of the FATA research section.

Short Bio:

My research interests involve fundamental aspects of theoretical computer science, mainly formal specifications and verification of concurrent and stochastic systems and compositional reasoning. The applications I study concern sensor networks, smart energy systems, mobile app analytics, vehicular networks, biological systems, and autonomic computing.

My publications are listed on this webpage, as well as on Google Scholar, DBLP, and ORCID.

Thu 2 Feb 2017 15:37:42 GMT

eXTReMe Tracker