Professor 

Logic and Computability Laboratory

Department of Computer Science

University of the Philippines Diliman

B.Sc. in Mathematics, FEATI University

M.Sc. in Mathematics, University of the Philippines Diliman

Ph.D. in Mathematics, University of the Philippines Diliman

Research Interests

• Discrete Mathematics

• Automata and Formal Language Theory and its applications

• Algorithmics for Hard Problems

• Natural Computing (Membrane & Quantum Computing)

• Computational and Systems Biology