|Institution||LASIGE & University of the Azores|
|Key Words / Areas of Interest||Programming languages, IoT networks, concurrency, HPC|
|Expertise Sought||– Hardware experts seeking safe programming of IoT devices;
– Critical MPI programs/libraries whose protocols need to be formalized and verified.
Francisco Martins is an Assistant Professor at Department of Informatics, Faculty of Sciences and Technology, University of Azores. Until 2017, he was Assistant Professor at Department of Informatics, Faculty of Sciences, University of Lisbon. His teaching career began at Department of Mathematics, University of Azores in 1997. He was an I. T. manager at Banco Comercial dos Açores since 1990.
He received a Ph.D. in Computer Science from University of Lisbon in 2006, a M.Sc. (by research) in Computer Science in 2000 and a B.Sc. in Mathematics and Informatics in 1995 both from University of Azores. His research interests include programming languages and type systems. Since 2008 he has been devoted to programming embedded systems and on using program analysis to help programmers writing correct code for such devices. In the near past his interest in HPC programming includes the static verification that MPI programs comply with a prescribed protocol.