Resume
Resume
My name is Hugo Sereno Ferreira. I was born in 1980 and live in Porto, Portugal. I view myself as an old-school “hacker” from the early days of MSX, ZX Spectrum and Commodore Amiga.
You can download my Curriculum Vitae here.
I am a Ph.D. (All But Dissertation, 3rd year student) in Computer Science in the MAP-i Doctoral Programme at the Universities of Minho, Aveiro and Porto. I hold a degree in Informatics and Computation Engineering from the Faculty of Engineering of the University of Porto. I’m an Invited Assistant Lecturer at FEUP/DEI, Scientific Researcher at ParadigmaXis, and at the Associate Laboratory INESC Porto, member of the Hillside Group and Software Engineering Group.
I’ve worked on several industrial and research projects, fulfilling the roles of Software Engineer, Analyst, Architect, Project Manager and Team Leader since 2001.
I’m currently writing my Ph.D. thesis in the area of Model-Driven Engineering, specifically about Adaptive Object-Models, namely Design and Architectural Patterns and Frameworks. It’s under the main supervision of Profs. Ademar Aguiar and Pascoal Faria, Joseph Yoder (AOM guru) as external advisor and Prof. Alexandre Sousa as industrial advisor.
CONTACTS
1.Email: hugo dot sereno at fe dot up dot pt
2.MSN or GTalk: bytter at gmail dot com
3.Skype: hugo dot sereno dot ferreira
DISSERTATIONS
2004.Hugo S Ferreira. Framework for Development of Command and Control Systems. LicEng Dissertation. ParadigmaXis and FEUP.
PEER-REVIEWED PUBLICATIONS
For detailed information, please go to the Research page.
2010.Hugo Sereno Ferreira, Filipe Figueiredo Correia, Joseph Yoder, Ademar Aguiar. Core Patterns of Object-Oriented Meta-Architectures. Proceedings of the 17th Conference on Pattern Languages of Programs. Reno, Nevada. USA.
2010.Hugo Sereno Ferreira, Filipe Figueiredo Correia, Ademar Aguiar, and João Pascoal Faria. Adaptive Object-Models: A Research Roadmap. International Journal On Advances in Software, Vol 3, N 1 and 2.
2010.Marco Cunha, Ana C. R. Paiva, Hugo Sereno Ferreira, Rui Abreu. PETTool: A Pattern-Based GUI Testing Tool. 2nd International Conference on Software Technology and Engineering (ICSTE'10).
2009.Filipe F Correia, Hugo S Ferreira, Nuno Flores, Ademar Aguiar. Incremental Knowledge Acquisition in Software Development Using a Weakly-Typed Wiki. WikiSym. Florida, USA.
2009.Hugo S Ferreira, Ademar Aguiar, João Pascoal Faria. Adaptive Object Modelling: Patterns, Tools and Applications. SEDES @ ICSEA. Porto, Portugal.
2009.Gabriela Soares, Rosaldo Rossetti, Nuno Flores, Ademar Aguiar, Hugo S Ferreira. Towards a Cooperative Personal Agenda in a Collaborative Team Environment. CDVE. Luxembourg.
2009.Filipe F Correia, Hugo S Ferreira, Nuno Flores, Ademar Aguiar. Patterns for Consistent Software Documentation. Proceedings of the Pattern Languages of Programs - PLoP. Chicago, USA.
2009.Hugo S Ferreia, Filipe F Correia, Ademar Aguiar. Design for an Adaptive Object-Model Framework: An Overview. MODELS@runtime. Denver, Colorado, USA.
2009.António Rito Silva, David Martinho, Ademar Aguiar, Nuno Flores, Filipe F Correia, Hugo S Ferreira. An Implementation Model for Agile Business Process Tools. IWODE. Portugal.
2008.Filipe F Correia and Hugo S Ferreira. Trends on Adaptive Object-Model Research. Proceedings of the Doctoral Symposium in Informatics Engineering. FEUP.
2008.Hugo S Ferreira, Filipe Correia, Leon Welicki. Patterns for Data and Metadata Evolution in Adaptive Object Models. Proceedings of the Pattern Languages of Programs - PLoP. Nashville, Tennessee, USA.
ESSAYS
Academic essays performed during the 1st yr of my Ph.D.
MODEl-DRIVEN SOFTWARE ENGINEERING
1.Adaptive Object Models. Architecture and Design of Large-Scale Software Systems. Monography. 2007.
PROGRAM SEMANTICS, VERIFICATION AND CONSTRUCTION
2.Boogie: A Modular Reusable Verifier for Object-Oriented Programs. Presentation. 2007.
3.Calculating with acyclic and cyclic lists. Presentation. 2007.
COMPUTER GRAPHICS
4.Ray Tracing in Electronic Games. Distributed Computer Graphics. State of the Art Review. 2008.
5.Interactive Ray Tracing on Commodity PC Clusters. Presentation. 2008.
6.Generation of Plants using L-Systems & Raytracing. Presentation and Development. 2008.

EDUCATION
Ph.D. (ABD) in Computer Science.
LicEng in Informatics Engineering.
TEACHING 10/11, MIEIC - FEUP
1S. Formal Methods in Soft. Eng.
2S. Project Management Lab.
2S. Object Oriented Prog. Lab.
TEACHING 09/10, MIEIC - FEUP
2S. Formal Methods in Soft. Eng.
TEACHING 08/09, MIEIC - FEUP
2S. Formal Methods in Soft. Eng.
TEACHING 07/08, LEI - ISTEC
2S. DB Management Systems.
LATEST TALKS/PRESENTATIONS
05.10.09. Causal Connections. MRT09.
07.07.09. Adaptive Object-Models. FCUP.
20.05.09. Intro to Formal Proof. FEUP.
25.03.09. Pattern Languages. FCUP.
11.12.08. The Path To Abstraction. ISTEC.
RECENT INDUSTRIAL PROJECTS
•SMQVU. Information System for Assessing Urban Life Quality. CMP.
•Oghma. Framework for Development of AOM-based Information Systems.
•Locvs. Information System for Architectural and Archeological Heritage. CMP.
•GeoXis. Spatial back-end for GIS systems. Vodafone, PT, Optimus, Clix...
•MRS. MIP Reference System for LC2IEDM Replication. NC3A. NATO.
•MIPX. Framework for Development of Command and Control Systems. NC3A. NATO.
Awards and certifications
2009.Best paper Award. SEDES.
2008. Geekiest paper Award. PLOP.
2007. Doctoral Scholarship by FCT.
2004. NATO clearance for R&D.
Affiliations
ParadigmaXis, INESC - Porto, Software Engineering Group, Department of Informatics Engineering, Faculty of Engineering of University of Porto, University of Minho, Hillside Group.
ACADEMIC INTERESTS
Adaptive Object-Models, Design and Architectural Patterns, Model-Driven Software Engineering, Meta-modeling, Meta-programming, Frameworks, UML, eXtreme Programming, Agile methodologies, Software Tests and Quality, Formal languages and methodologies, Theory of Computation.
HOBBIES and OTHER INTERESTS
Philosophy, Biology, Astronomy, Mathematics, Logic, Photography, Martial Arts, Viet-Vo-Dao, Aikido, Aquariophily.