| Hugo Daniel Macedo
PhD Student Informatics Department Minho University PORTUGAL Tel: (+351) 968472049 hmacedo at di dot uminho dot pt |
|
| ||||||
| Bio | ||
| I finished a 5 year degree on Maths and Computer Science by doing a project/thesis with Prof. Peter G. Larsen at IHA Denmark with co-supervison from Prof. José N. Oliveira. After this fruitfull introduction to research I enrolled in the MAP-i doctoral program. | ||
| Projects | ||
| Overture - Open-Source Tools for Formal Modelling | ||
| Pacemaker in VDM | ||
| Publications | ||
| Matrices As Arrows: A Biproduct Approach to Typed Linear Algebra | ||
| Matrices As Arrows (Extended Abstract at CALCO-jnr 2009) | ||
| Macedo, H.D., Larsen, P.G., Fitzgerald, J., "Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM" | ||
| (Previous Tech Report version) | ||
| Teaching Assistant | ||
| Imperative Programming 2010 | ||
| Program Calculation 2009 | ||
| Functional Programming 2007 |