Dr. Pritha Mahata
- Computer Science: Verification (Model Checking), Program Synthesis, Game Theory
- Software Engineering: Testing, Web service automation
- Bioinformatics: Microrarray data analysis (unsupervised/supervised classification, feature selection, etc)
- Program Synthesis @ Universite Libre de Bruxelles, Brussels, Belgium as Post-doctoral Fellow (2015-today)
- Verification and Validation of multi-threaded Java programs and Model-based Testing @ University of Queensland, Brisbane, Australia as a Research Fellow (2008-2010)
- Microarray data analysis for heterogeneous diseases (breast cancer, ovarian cancer, etc) @ University of Newcastle, Newcastle, Australia as a Research Academic (2005-2007)
- Model checking parameterized, real-time systems @ Uppsala University, Uppsala, Sweden as a PhD student (2001-2005)
- Systems Engineer @ NSW Rural Doctors Network, Newcastle, Australia. Worked as front-end and backend web developer as well as a business analyst, designer, tester, scrum-owner (full-cycle) (2010-2015)
- Software Engineer @ Texas Instruments, Bangalore, India. Worked on VoIP (1999-2000).
- Project Engineer @ Asea Brown Boveri Ltd, Vadodara, India. Designed High-Voltage power stations (1996-1997)
- PhD in Computer Science @ Uppsala University, Sweden (2001-2005)
- M.E in Computer Science and Automation @ Indian Institute of Science, Bangalore, India. (1997-1999).
- B.E in electrical Engineering @ Jadavpur University, Kolkata, India. (1992-1996)
