Filipe Freitas is a Professor Adjunto at the Engineering School of the Polytechnic Institute of Lisbon (ISEL). He is the coordinator of the curricular unit Software Laboratory and has supervised several final year graduation projects. He has a Ph.D in Computer Science from University Nova of Lisbon. He was a researcher at INESC-ID Lisbon in the Distributed System Group and Information Systems Group, and he also was a member of NOVA-LINQS in the Systems Group. He finished his Ph.D. in 2019 with the thesis “Characterizing and Enforcing Consistency of Online Services”, with publications in high-rated conferences from CORE ranking. He also has MSc from University of Lisbon (IST), with the dissertation “Worm Containment in Peer-to-Peer Overlays”. His main research interests are related to distributed systems, namely, the consistency of online services and the most recent techniques to enforce and test consistency in cloud infrastructures. He is also currently looking at problems related to FaaS platforms, especially how to verify if a function is correct and how to avoid deployment errors.
Filipe Freitas is a Professor Adjunto at the Engineering School of the Polytechnic Institute of Lisbon (ISEL). He is the coordinator of the curricular unit Software Laboratory and has supervised several final year graduation projects. He has a Ph.D in Computer Science from University Nova of Lisbon. He was a researcher at INESC-ID Lisbon in the Distributed System Group and Information Systems Group, and he also was a member of NOVA-LINQS in the Systems Group. He finished his Ph.D. in 2019 with the thesis “Characterizing and Enforcing Consistency of Online Services”, with publications in high-rated conferences from CORE ranking. He also has MSc from University of Lisbon (IST), with the dissertation “Worm Containment in Peer-to-Peer Overlays”. His main research interests are related to distributed systems, namely, the consistency of online services and the most recent techniques to enforce and test consistency in cloud infrastructures. He is also currently looking at problems related to FaaS platforms, especially how to verify if a function is correct and how to avoid deployment errors.