Name:Jose Nuno Oliveira

Bio:

I am professor of Computer Science at the Informatics Department of University of Minho and researcher at HASLab/ INESC TEC. I am also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association. I serve on the editorial board of Springer journal Formal Aspects of Computing.

My research interests are focused on formal methods, algebra of programming (program calculation) and functional programming. I’ve published recently on relation algebra and its application to programming. Currently, I am developing a linear algebra of programming which I want to apply to the verification of complex software systems, including quantum programming.

Country:Portugal

Affiliation:University of Minho; INESC TEC

Research interests:Functional programming, formal methods