José Nuno Oliveira
[ DI/UM ]

Interested in Formal Methods? Please visit the FME website.

Institutional page | HASLab page | INL page
Position statement | Profile | CCS profile
ACM | DBLP | Scholar | MS Academic
Interest Areas | Publications | Professional Activities
Address | Research Projects
PhD supervision | PhD co-supervision
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

Current position

• Professor at the Computer Science Department, School of Engineering,
  Univ. Minho, Braga, Portugal

Professional Liaisons

• Member of IFIP WG 2.1 (Algorithmic Languages and Calculi)
• Member of the editorial board of Formal Aspects of Computing (Springer Verlag, UK)
• Member of the Formal Methods Europe (FME) Association and former convenor of the FME Subgroup on Education.
• Member of the HASLab (High-Assurance Software Laboratory) - INESC TEC & University of Minho
• Member od the Steering Committees of MPC, RAMiCS and PPDP.
• Participant in the APPSEM II Thematic Network - Applied Semantics II
• Former member of the Scientific Committee of the MAP-I Doctoral Program
• Former member of the Scientific Committee of the Gulbenkian Program for Talents in Quantum Technologies
• Collaborator of the Braga District Archives

Academic degrees

• Univ.Minho - Habilitation in Computing Foundations [2010]
• 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 Informatica, 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 the 27th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2024), Luxembourg, 6–11 April 2024.
• PC member of the Haskell Symposium 2023. Seattle, USA, 4–9 September 2023.
• PC member of the 35th Symp. on Implementation and Application of Functional Languages (IFL 2023), Braga, Portugal, 29-31 August, 2023.
• PC member of ABZ 2023. Nancy, France, May 30 — Jun 2, 2023.
• PC member of FMTEA 2023, hosted by FM'23, March 6-10, Lübeck, Germany.
• PC member of MPC 2022: 14th International Conference on Mathematics of Program Construction, Tbilisi, Georgia, 26-28 September 2022.
• PC member of FM'21, November 19-26, Beijing, China.
• PC member of αFM 2021, hosted by FM'21, November 19-26, Beijing, CN.
• PC member of FMTEA 2021, hosted by FM'21, November 19-26, Beijing, CN.
• PC member of ABZ 2020. Ulm, Germany, postponed to June 9-11, 2021.
• PC member of Q-SE 2021: 2nd Int. Workshop on Quantum Software Engineering. Virtual, co-located with ICSE 2021, June 1-2, 2021.
• PC member of SBMF 2020: 23rd Brazilian Symposium on Formal Methods. Ouro Preto, Brazil, November 25-27, 2020.
• PC member of RAMICS 2020: 18th International Conference on Relational and Algebraic Methods in Computer Science. Paris, France, April 8-11, 2020 (postponed to 26-29 October).
• PC member of FMiCS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems. Vienna, Austria, September 2-3, 2020.
• General chair of FM'19: 3rd World Congress on Formal Methods, October 7-11, 2019, Porto, Portugal.
• PC member of FM 2018: 22nd International Symposium on Formal Methods. Oxford, UK, July 15-17, 2018.
• PC member of SBMF 2018: 21st Brazilian Symposium on Formal Methods. Salvador-BA, Brazil, November 26-30, 2018.
• PC member of ABZ 2018. Southampton, UK, June 5-8, 2018.
• PC member of SBMF 2017: 20th Brazilian Symposium on Formal Methods. Recife-PE, Brazil, Nov.27-Dec.01, 2017.
• PC member of ICTAC 2017: 14th International Colloquium on Theoretical Aspects of Computing. to take place by 23-27 October 2017, Hanoi, Vietnam.
• PC member of DALI 2017: Workshop DaLi - Dynamic Logic: new trends and applications. Brasilia, Brazil, September 24, 2017.
• PC member of RAMICS 2017: 16th International Conference on Relational and Algebraic Methods in Computer Science. ENS Lyon, France, May 15-19, 2017.
• PC member of SBMF 2016: 19th Brazilian Symposium on Formal Methods. Natal, Brazil, November 21-25, 2016.
• PC member of FM 2016: 21st International Symposium on Formal Methods, Limassol, Cyprus, November 07-11, 2016.
• PC member of ICTAC 2016: 13th International Colloquium on Theoretical Aspects of Computing. 24-31 October 2016, Taipei, Taiwan.
• PC member of LSFA 2016: 11th Workshop on Logical and Semantic Frameworks, with Applications. June 25-26, 2016, Porto, Portugal.
• PC member of ABZ 2016. May 23-27, 2016, Linz, Austria.
• Conference chair of RAMICS 2015: 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga (Bom Jesus), Portugal, Sep 28-Oct 1, 2015.
• PC member of SBMF 2015: 18th Brazilian Symposium on Formal Methods. Belo Horizonte, Brazil, September 21-25, 2015.
• PC member of FM 2015: 20th International Symposium on Formal Methods, 22-26 June 2015, Oslo, Norway.
• PC member of MPC 2015: 12th International Conference on Mathematics of Program Construction, 29 June-1 July 2015, Oxford, UK.
• PC member of SBMF 2014: 17th Brazilian Symposium on Formal Methods. Alagoas, Brazil September 28-October 3, 2014.
• PC member of FM 2014 : 19th International Symposium on Formal Methods, Singapore, May 12-16, 2014.
• PC member of RAMICS 2014: 14th International Conference on Relational and Algebraic Methods in Computer Science, Marienstatt im Westerwald, Germany 27 April - 1 May 2014.
• PC member of SBMF 2013: 16th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 29-October 4, 2013.
• PC member of INFORUM 2013: 5th National Symposium in Informatics. September 5-6, 2013 Évora, Portugal.
• PC member of ICFEM 2012: 14th Int. Conf. on Formal Engineering Methods. Kyoto, Japan, November 12-16, 2012.
• PC member of SBMF 2012: 15th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 23-28, 2012.
• PC member of RAMICS 2012: 13th International Conference on Relational and Algebraic Methods in Computer Science, Cambridge UK, 17-21 September 2012.
• PC member of INFORUM 2012: 4th National Symposium in Informatics. September 6-7, 2012 Lisboa, Portugal.
• PC member of MPC 2012: 11th International Conference on Mathematics of Program Construction, Madrid, Spain, 25-27 June 2012.
• PC member of ABZ 2012, 18-22 June 2012, Pisa, Italy.
• PC member of SBMF 2011: 14th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 26-30, 2011.
• PC member of INFORUM 2011: 3rd National Symposium in Informatics. September 8-9, 2011 Coimbra, Portugal.
• PC member of ICTAC 2011 : 8th International Colloquium on Theoretical Aspects of Computing. 31 August - 2 September 2011, Johannesburg, South Africa.
• PC member of FM 2011 : 17th International Symposium on Formal Methods, Lero, Limerick, Ireland, June 20-24, 2011.
• PC member of SBMF 2010: 13th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil November 8-12, 2010.
• PC member of INFORUM 2010: 2nd National Symposium in Informatics. September 9-10, 2010 Braga, Portugal.
• PC member of ICTAC 2010: 7th International Colloquium on Theoretical Aspects of Computing. September 1-3, 2010 Natal, Rio Grande do Norte, Brazil.
• 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, 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.
  With Pamela Zave in Berlin FME2001
  (thanks to Nico Plat)
   
• 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
• Algebra of Programming and Program Calculation
• Functional Programming

  Publications

• Papers, reports, etc
• Lecture notes

  Research Projects/ Formal Methods Industrial Case Studies

Area	Project	Status
Big data and data-analytics	LEANBIGDATA (FP7-ICT 619606)	Started Feb. 2014
Trustworthy Software Design with Alloy	TRUST (Grant PTDC/EEI-CTP/2904/2014)	Started Aug. 2016
Coalgebraic Modeling and Analysis for Computational Synthetic Biology	KLEE (Grant POCI-01-0145-FEDER-030947)	2018-2020
Distributed Architectures: Variability and Interaction for CPS Systems	DAVINCI (Grant POCI-01-0145-FEDER-029946)	2018-2020
Dynamic logics for cyber-physical system	DALI (Grant PTDC/EEI-CTP/4836/2014)	Starting
Foundations, Applications and Tools for Bidirectional Transformation	FATBIT (Grant FCOMP-01-0124-FEDER-020532)	Finished
Quantitative analysis of interacting systems: foundations and algorithms	QAIS (Grant PTDC/EIA-CCO/122240/2010)	Finished
Foundations for Architectural Design	MONDRIAN (Grant PTDC/EIA-CCO/108302/2008)	Finished
Reinvigorating Mathematics for the Information Society	MATHIS (Grant PTDC/EIA/73252/2006)	Finished
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

On-going:

MAP-i PhD program

Ana Neri. THEME/TITLE: Towards `Just Good Enough' Quantum Programming. START: 2021.

U. San Luis, Argentina

Claudia Monica Necco. THEME/TITLE: Pointfree Program Calculation - Theory and Applications. START: 2007.

Completed:

U. Minho

Hugo Macedo. THEME/TITLE: Matrices as Arrows! a Typed Approach to Linear Algebra. START: 2009.

Paulo F. 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 S. Barbosa. TITLE: Components as Coalgebras. DATE: 2001.

Fernando M. Martins. TITLE: Métodos Formais na Concepção e Desenvolvimento de Sistemas Interactivos. DATE: 1995.

  PhD co-supervision

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 see this page  

  Links to old pages

• CAMILA Project
• Theory and Formal Methods
• Logic and Formal Methods Group
• FM Group
• INESC Braga
• FAST Group