Assistant Professor | University of the Philippines Diliman | Philippines
Dr. Alfonso B. Labao, Ph.D., is a tenured Assistant Professor in the Department of Computer Science at the University of the Philippines Diliman, specializing in the mathematical foundations of computer science, including recursion theory, logic, automata theory, and formal verification. He earned his doctorate and master’s degrees in Computer Science from the University of the Philippines Diliman, complemented by a master’s degree in Economics from the same institution and a bachelor’s degree in Management of Applied Chemistry from Ateneo de Manila University. His professional experience spans teaching core theory and systems courses such as discrete mathematics, algorithms, and programming languages, while also contributing as a machine learning engineer and researcher in projects focused on artificial intelligence applications for environmental and social impact. As co-creator of the Logic and Computability Laboratory, he has advanced theoretical research on computability and descriptive complexity, alongside practical studies on cryptographic systems, formal verification, and network survivability. His scholarly contributions include highly cited works on deep learning methods for ecological applications, secure cryptographic protocols, and signal processing, with publications in journals such as IEEE Transactions on Neural Networks and Learning Systems, Ecological Informatics, Conservation Biology, and Cryptography, as well as presentations at international mathematics and computing conferences. Recognized for his excellence in research and teaching, he has received awards such as the Teaching Research Award, International Publication Awards, a Professorial Chair, and was honored as class valedictorian of the National Graduate School of Engineering. He also serves as a reviewer for leading journals including IEEE Transactions on Neural Networks and Learning Systems and the International Journal of Foundations of Computer Science, underscoring his leadership in both theoretical and applied domains. Deeply grounded in mathematics, his work bridges logic, computation, and applied machine learning, making significant contributions to advancing theory and practice in computer science. 156 Citations, 17 Documents, 6 h-index.
Profiles: Google Scholar | Scopus Profile | ORCID Profile
Featured Publications
1. Labao A.*, Adorna H.N., Effective descriptive complexity of some compact sets. SciEnggJ, 2025, 18(2): 258-263.
2. Ortiz S.L.S., Enriquez J.G.R., Adorna H.N., Labao A.*, Formalizing resource ownership semantics of spinlocks with the Coq proof assistant. Workshop on Computation: Theory and Practice (WCTP), 2025, Proceedings.
3. Labao A.*, Adorna H.N., A CCA-PKE secure-cryptosystem resilient to randomness reset and secret-key leakage. Cryptography, 2022, 6(1): 2. Citations: 5.
4. Labao A.*, Adorna H.N., Cryptographic rational secret sharing schemes over general networks. Cryptography, 2022, 6(4): 50. Citations: 2..
5. Labao A.*, Adorna H.N., Communication complexities of leakage-secure PKE cryptosystems and generic transformations. Philippine Journal of Science, 2023, 152(1).