Professor, Department of Computer Science, University of the Philippines Diliman
Dr. Henry N. Adorna is a Professor at the Department of Computer Science, University of the Philippines Diliman, and Head of the Logic and Computability Laboratory, with research spanning theoretical computer science, automata, and natural and quantum computing.