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
E-mail: mihai@cs.upt.ro
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

Research

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.
Tools
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)
Publications
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

Teaching

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

Education

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

Funding

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.