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 also a member of the FATA research group.

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 mobile app analytics, vehicular networks, sensor systems, and autonomic computing.

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

Last modified: Tue 25 Oct 2016 14:53:14 BST

eXTReMe Tracker