PhD in Electrical and Computer Engineering, University of Porto, 2005.
Main interests and research areas:
Industrial Automation and Informatics
Distributed, Embedded, and Real-Time Systems.
Professor at the University of Porto's Engineering Faculty, Department of Electrical and Computer Engineering
Researcher at INESC-TEC, Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Open source Projects:
Main author and maintainer of the matiec compiler for the IEC 61131-3 programming languages. (http://bitbucket.org/mjsousa/matiec)
Selected Research Projects:
Researcher for DALÍ – Dynamic logics for cyber physical systems: towards contract based design, (PTDC/EEI-CTP/4836/2014), from Jul 2016 to Jun 2019
Consultant to several international companies working with the matiec compiler.
Researcher for SAFER – Safety Verification of Robotic Software, (PTDC/EEI-CTP/4675/2014), from 2015 to 2018
Coordinator HIPA - High Integrity Process Automation, (EXPL/EEI-AUT/2538/2013), from April 2014 to June 2015.
Local Coordinator for MEDIS - A Methodology for the Formation of Highly Qualified Engineers at Masters Level in the Design and Development of Advanced Industrial Informatics Systems (544490-TEMPUS-1-2013-1-ES-TEMPUS-JPCR), from Dec 2013 to Nov 2016 (ongoing)
Researcher for Serv-CPS: Server-based Real-Time Ethernet Communication Architecture for Cyber-Physical Systems (PTDC/EEA-AUT/122362/2010) from Feb 2012 to April 2015
Recent Lecturing Activities:
Industrial Informatics (Master Program), course re-organization, lectures, lab classes
Real-Time Embedded Systems (PhD program), lectures
Industrial Computing Architectures, lab classes
Embedded Systems, course organization, lectures and lab classes (shared)
Systems and Automation, lectures, lab classes
Automation, lab classes
Concurrent and Reliable Software (PhD program), lectures(shared)
Critical Systems (PhD program), lectures (shared)
Critical Systems (Masters program), lectures (shared)
"Programming with the IEC 61131-3 Languages and the MatPLC", Mario de Sousa, Adriano de Carvalho, in “The Industrial Information Technology Handbook”, CRC Press, FL., 2005, ISBN 0-8493-1985-4.
“IEC 61499”, Valeriy Vyatkin, Alois Zoitl, Mário de Sousa, in “Industrial Eloectronics Handbook, Part 3 – Industrial Communication Systems”, Bogdan M. Wilamowski (Editor), J. David Irwin (Editor), CRC Press, February 28, 2011 (2 edition), ISBN-13: 978-1439802816
“Modbus”, Mário de Sousa, Paulo Portugal, in “Industrial Eloectronics Handbook, Part 3 – Industrial Communication Systems”, Bogdan M. Wilamowski (Editor), J. David Irwin (Editor), CRC Press, February 28, 2011 (2 edition), ISBN-13: 978-1439802816
“Fault-Tolerant IEC 61499 Applications”, Mário de Sousa, in “Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499”, Thomas Strasser, Alois Zoitl (editors), CRC Press, Dec 2015, ISBN 9781482259056