Research Fellow
Room 328, General Purpose South Building (building 78)
Division of Systems and Software
Engineering
School of Information Technology and
Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA
Phone: +61 7 3365 2883; Fax: +61 7 3365 4999
email: pritha@itee.uq.edu.au
Research Interests: Model Checking: parameterized, real-timed systems, Software
engineering: specification, validation, testing, empirical methods
Curriculum Vitae
This is a personal web area hosted on a University of Queensland web server.
Please be advised that this web page is not officially endorsed by The University of Queensland.
The University accepts no responsibility or liability for the contents of this area.
Last Updated: 25 June, 2009, 2:41pm
