José Nuno Oliveira, professor at the Department of Informatics and researcher at ALGORITMI Research Centre of the School of Engineering of the University of Minho was honoured at the Festschrift Symposium, held on the 26th September.
Known for innovative and creative teaching methods, José Oliveira has been playing a significant role in promoting Formal Methods in Software Engineering in Portugal. His efforts to place UMinho at the forefront of this scientific area are also to be highlighted. He was responsible for creating a group constituted by a team of highly skilled faculty members in research and education on formal methods applied to software development.
"To discuss a weird intuition or the proof of a theorem, to wander through literature, music or history, to share a problem or a concern, José is always there, as an enthusiastic scientist, an attentive listener and a genuine friend" is the message conveyed in the symposium presentation leaflet.
Known for innovative and creative teaching methods, José Oliveira has been playing a significant role in promoting Formal Methods in Software Engineering in Portugal. His efforts to place UMinho at the forefront of this scientific area are also to be highlighted. He was responsible for creating a group constituted by a team of highly skilled faculty members in research and education on formal methods applied to software development.
"To discuss a weird intuition or the proof of a theorem, to wander through literature, music or history, to share a problem or a concern, José is always there, as an enthusiastic scientist, an attentive listener and a genuine friend" is the message conveyed in the symposium presentation leaflet.