U.Minho José Nuno Oliveira
[ DI/UM ]

Wishing to do a Ph.D. in CS in Portugal? Please visit  mapi-logo.png
Grant opportunities: click 

[ Position statement
Profile | HASLab | ACM | DBLP | Scholar | MS Academic
Interest Areas | Publications | Professional Activities
Address | Research Projects
PhD supervision | PhD co-supervision
tinynew.gifUpcoming Software Engineering Conferences
Teaching Duties
Links to old pages ]

  Position statement

Software technology is pre-scientific in its lack of an effective basis for predicting computers' behaviour. My research aims at improving scientific standards in software design through formal methods and calculational techniques. These include the application of mathematical transforms in refactoring and improving existing software theories. I do this with passion and firmly believe this will make computing better in the future.

  Profile
With Pamela Zave in Berlin, FME2001 ( thanks to Nico Plat )...

Current position

Professional Liaisons

Academic degrees

  Address

Departamento de Informática,
Universidade do Minho,
Campus de Gualtar,
4710-057 Braga,
Portugal
Tel: +351-253-604430/62
Fax: +351-253-604471
Email: jno AT di DOT uminho DOT pt

  Professional Activities

  Interest Areas

  Publications

  Research Projects/ Formal Methods Industrial Case Studies

Area Project Status
Foundations, Applications and Tools for Bidirectional Transformation FATBIT (Grant FCOMP-01-0124-FEDER-020532) Started Jan. 2012
Quantitative analysis of interacting systems: foundations and algorithms QAIS (Grant PTDC/EIA-CCO/122240/2010) Started May 2012
Foundations for Architectural Design MONDRIAN (Grant PTDC/EIA-CCO/108302/2008) Started Jan. 2010
Reinvigorating Mathematics for the Information Society MATHIS (Grant PTDC/EIA/73252/2006) Started Jan. 2009
Program Understanding and Re-engineering: Calculi and Applications PURe (Grant POSI/CHS/44304/2002) Finished
Information-Knowledge Fusion IKF (E!2235) Finished
Data Quality based on Formal Data Reverse Calculation KARMA (P060-P31B-09/97) Finished
A Fuzzy-Object System for Software Reuse (E! 379) Finished

  PhD supervision (year > 2000)

On-going:

U. Minho
Hugo Macedo. THEME/TITLE: Matrices as Arrows! a Typed Approach to Linear Algebra. START: 2009.
Claudia Monica Necco. THEME/TITLE: Pointfree Program Calculation - Theory and Applications. START: 2005.

Completed:

U. Minho
Paulo Filipe Araújo da Silva. TITLE: On the Design of a `G'alculator. DATE: 2009.
C.J. Rodrigues. TITLE: Foundations of Program Refinement by Calculation. DATE: 2009.
Luís Soares Barbosa. TITLE: Components as Coalgebras. DATE: 2001.

  PhD co-supervision (year > 2000)

Completed:

U. Minho
Hugo Pacheco. THEME/TITLE: Bidirectional Data Transformation by Calculation. CO-SUPERVISOR: Prof. M.A. Cunha DATE: 2012.
U. Minho / SIG
Tiago Alves. THEME/TITLE: Techniques for Software Portfolio Understanding. CO-SUPERVISOR: Dr. Joost Visser DATE: 2012.
Univ. Nottingham
Alexandra Sofia Ferreira Mendes. THEME/TITLE: Structure Editing of Handwritten Mathematics. CO-SUPERVISOR: Prof. Roland Backhouse. DATE: 2012.
Univ. Porto
Ana Cristina Paiva Pimenta. TITLE: Automated Specification-Based Testing of Graphical User Interfaces. CO-SUPERVISORS: Prof. Raul Moreira Vidal, Prof. João C. Pascoal Faria. DATE: 2007.

  Teaching Duties

Please follow this path  

  Links to old pages



J. Nuno Oliveira 2013-05-15