Page Contents
Affiliation
- Matteo Bordin
- Department of Pure and Applied Mathematics, University of Padua
- via Belzoni 7
- 35100 Padova
- Italy
- mbordin AT studenti.math.unipd.it
- META research group
Research interests
- My research interests lie in the area of software engineering, in particular:
- Model-driven development
- Generative programming
- Software reuse
- High-integrity real-time software
Curriculum Vitae
- I was born in Padua (Italy) on November, 2nd 1982.
I got my master degree in Computer Science in December 2006. My master thesis' title is “Correctness by Construction and Separation of Concerns in the Development of High-Integrity Real-Time Systems: a Metamodel-driven".
After two years as a graduate researcher at the University of Padua (founded by the ASSERT research project), I joined AdaCore in January 2008; my current focus is on development tools for high-integrity systems (in particular for the aerospace domain).
For a full resume, see my curriculum vitae.