José Nuno Oliveira
[ DI/UM ]

Wishing to do a Ph.D. in CS in Portugal? Please visit 

Interested in Formal methods? -- see Bologna 2nd cycle unit FMSE (30 ECTS, 300 hours) where, further to the basic science, a wide range of specification languages and tools are covered, namely Alloy, JML, Uppaal, VDMTOOLS, Spec Explorer, etc, including application to projects proposed by industrial partners.

[ Position statement
Profile | DBLP | My page at CCTC
Address | Professional Activities | Interest Areas
Publications | Research Projects
PhD supervision | PhD co-supervision
Upcoming Software Engineering Conferences
Teaching Duties ]

  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 belive this will make computing better in the future.

  Profile

Current position

• Associate Professor at Departamento de Informática, E. Engenharia,
  Univ. Minho, Braga, Portugal

Professional Liaisons

• Member of IFIP WG 2.1 (Algorithmic Languages and Calculi)
• PI of FAST (Foundations and Applications of Software Technology), a R&D group of CCTC (Computer Science and Technology Center of the University of Minho)
• Member of the Scientific Committee of the MAP-I Doctoral Program
• Member of the Formal Methods Europe (FME) Association and convenor of the FME Subgroup on Education.
• Participant in the APPSEM II Thematic Network - Applied Semantics II
• Collaborator of the Braga District Archives

Academic degrees

• Univ. Manchester, U.K. - Ph.D. in Computer Science [1984]
• Univ. Manchester, U.K. - M.Sc. in Computer Science [1981]
• Univ. Porto, Portugal -- Lic. Eng. Elect. (Digital Systems & Computers) [1978]

  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

• PC member of MPC 2010: 10th International Conference on Mathematics of Program Construction, Manoir St-Castin, Québec, Canada, 21-23 June 2010.
• PC member of the ABZ 2010 Conference, February 23-25, 2010, Orford, Québec, Canada.
• PC member of Teaching Formal Methods: Widening Access to Formal Methods, 2nd Int. FME Conference on Teaching Formal Methods, Friday November 6th 2009, co-located with FM2009 - 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, November 2 - November 6, 2009.
• PC member of SBMF 2009: 12th Brazilian Symposium on Formal Methods. Gramado, Brasil August, 19-21, 2009.
• PC member of DSL 2009: FIP Working Conference on Domain Specific Languages. July 15-17, 2009, Oxford.
• Member of the Scientific Committee of GTTSE'09: 3rd Summer School on Generative and Transformational Techniques in Software Engineering, 6 - 11 July, 2009, Braga, Portugal
• PC member of FMET 2008: 1st First International Workshop on Formal Methods Education and Training. October 28, 2008, Kitakyushu-City, Japan.
• PC member of SBMF 2008: 11th Brazilian Symposium on Formal Methods. Salvador - Bahia - Brasil August, 26-29, 2008.
• PC member of MPC 2008: 9th International Conference on Mathematics of Program Construction, Cirm, Luminy, France, 15-18 July 2008.
• PC member of FM 2008: 15th International Symposium on Formal Methods, Åbo Akademi University, Turku, Finland, May 26 - 30, 2008.
• PC member of SBMF 2007: 10th Brazilian Symposium on Formal Methods. Ouro Preto, MG, Brazil, 29th - 31st September, 2007.
• OC member of ETAPS 2007: 10th European Joint Conferences on Theory and Practice of Software, March 24 - April 1, 2007, Braga, Portugal.
• PC member of Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting, Friday 15 December 2006, organised by Oxford Brookes University and BCS-FACS.
• Co-chair of FM-ED 2006: Formal Methods in the Teaching Lab, workshop (Saturday, August 26, 2006) co-located with FM'06 .
• PC member of SBMF 2006: Brazilian Symposium on Formal Methods. Natal - Rio Grande do Norte - Brazil, 17th - 23rd September, 2006.
• PC member of MPC 2006: 8th International Conference on Mathematics of Program Construction, colocated with AMAST '06, Kuressaare, Estonia, 3-5 July 2006.
• PC member of SBMF 2005: Brazilian Symposium on Formal Methods. 28-30 November, 2005, Porto Alegre - Rio Grande do Sul, Brasil.
• PC member of SEFM 2005: 3rd IEEE International Conference on Software Engineering and Formal Methods. Koblenz, Germany, September 7-9, 2005.
• PC member of FM 2005: 13th International Symposium on Formal Methods, University of Newcastle upon Tyne, United Kingdom - July 18-22, 2005
• PC member of GTTSE'05: Summer School on Generative and Transformational Techniques in Software Engineering, 4 - 8 July, 2005, Braga, Portugal
• PC member of CoLogNet/Formal Methods Europe Symposium on Teaching Formal Methods 2004, Ghent University, Belgium, Nov 18-19, 2004.
• PC member of FME 2002: 11th International FME Symposium, Copenhagen, 22-24 July 2002.
• PC member of MPC 2002: 6th International Conference on Mathematics of Program Construction, 8-13 July 2002, Dagstuhl, Germany.
• Co-chair of FME 2001: 10th Int. FME Symposium («Formal Methods for Increasing Software Productivity»), Humboldt-Universitaet zu Berlin, Germany, 12-16 March 2001.
• PC member of JIS 2000: V Jornadas de Ingeniería de Software, Valladolid, España, 8-10 Nov. 2000.
• Co-chair of MPC 2000: 5th Int. Conf. on Mathematics of Program Construction, Ponte de Lima, Portugal, July 3-7 2000.
• PC member of FM'99: World Congress on Formal Methods, Toulouse, France, 20-24 Sept. 1999.
• PC member of ESOP'99: European Symposium On Programming, Amsterdam, 20-28 March 1999.
• PC member of MPC'98: Fourth International Conference on Mathematics of Program Construction, Marstrand, Sweden, June 15-17, 1998.
• Co-editor of AFP'98: 3rd International Summer School on Advanced Functional Programming, Sept. 1998, Braga, Portugal.
• Co-organizer of WGP'98: Workshop on Generic Programming, Marstrand, Sweden, June 18, 1998.
• PC member of FQAS'98: Third International Conference on Flexible Query Answering Systems, Roskilde, Denmark, 13-15 May, 1998:
• PC member of FME'97: Formal Methods - Their Industrial Application and Strengthened Foundations, Graz, Austria, 15-19 September, 1997, and speaker (jointly with Cliff Jones) in the Industrial Training and University Education in Formal Methods tutorial.
• PC member of FQAS'96: International Conference on Flexible Query Answering Systems, Roskilde, Denmark, May 22-24, 1996.

  Interest Areas

• Formal methods
• Formal (Reverse) Specification and Program Understanding
• Refinement Calculi and (Relational) Algebra of Programming
• Functional Programming & Rapid Prototyping

  Publications

• Papers, reports, etc
• Lecture notes

  Research Projects/ Formal Methods Industrial Case Studies

Area	Project	Status
High Assurance Model Driven Engineering with Alloy	MEDEA	Application submitted in Feb. 2009
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)

On-going:

Univ. Nottingham

Alexandra Sofia Ferreira Mendes. THEME/TITLE: Structure Editing of Handwritten Mathematics. CO-SUPERVISOR: Prof. Roland Backhouse. START: 2007.

U. Minho / SIG

Tiago Alves. THEME/TITLE: Techniques for Software Portfolio Understanding. CO-SUPERVISOR: Dr. Joost Visser START: 2007.

Completed:

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