Contact Info

LOOSE Research Group
Department of Computing
Politehnica University of Timisoara
Bd. V. Parvan nr. 2
RO-300223 Timisoara, ROMANIA
Office: B514
Phone: +40-25A6-403262
Twitter: mbalint | Facebook: balint.mihai
News and fun stuff
* PyGround - Core Python sprint and python workshop in Timisoara, 2nd Feb 2013.
* Did you know that there is a linux distribution with many famous specification and verification tools conveniently installed? Check out VerifyThus.
* I started a useful color project

Mihai Balint

PhD Student.
Advisors: Asoc. prof. Marius Minea and Prof. Horia Ciocarlie


Intrests / Keywords
Automatic Program Analysis and Abstraction,
Formal Software Specification and Verification,
Software Design, Analysis and Visualization,
Object Oriented Software, Software Engineering.
PhD Keywords: specification inference, model fields, interface specification.
Kaiso model field inference / specification abstraction (TBA).
Timisoara Public Transport Android App to display public transport information on your device
JMondrian visualization framework. Light weight visualizations designed for easy tool integration (inspired by mondrian).
SmallDuDe duplication detector for the MOOSE platform for software analysis (curently maintained by Tudor Girba)
Research Projects
Continuos Quality Evaluation and Restructuring of Software (past)
Network of Reengineering Expertise (past)
Negative Results
Under construction.
Other Activities
Helped with the local organization of
Participant in the 40th Marktoberdorf Summer School (2010) on "Software and Systems Safety: Specification and Verification"
Erasmus student during winter 2005 to SCG, Bern University, Switzerland


Foundations of Software Engineering (2009, part RO, part EN)
Software Verification and Validation (2008, 2009, RO-only)


since Oct.2008 - PhD Student,
2006 - Graduated Dipl. Ing. Software Engineering


My research is partially supported by the Romanian National Science Foundation (CNCSIS) under project ``Methods and Tools for Continuous Quality Assurance in Complex Software Systems'' (PNII-IDEI 357/1.10.2007) and by the strategic grant POSDRU 6/1.5/S/13, (2008) of the Ministry of Labour, Family and Social Protection, Romania, co-financed by the European Social Fund - Investing in People.

Page is under development.