David Miguel Sanan Baena

An expert in the field of computer software engineering, he received his Ph.D. in Information Science from the University of Málaga. He is currently an Assistant Professor at the Singapore Institute of Technology. Previously, he held positions as a researcher at the University of Málaga, the Singapore University of Technology and Design, and Trinity College Dublin. He is dedicated to the security of embedded systems, secure microkernels, and their applications in IoT devices and autonomous systems, as well as hardware verification, software analysis, and verification. His work also focuses on the development of projects related to computer software engineering. He conducted related research at Nanyang Technological University, where he received recognition from the National Satellite of Excellence in Trustworthy Software Systems.