The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity. — E. W. Dijkstra
ACLab is one of seven main research groups under the Department of Computer Science of the University of the Philippines Diliman. ACLab currently has 7 regular members, headed by Henry N. Adorna, Professor of Computer Science.
ACLab has a diverse range of research interests, but all anchored on a theoretical computer science perspective. Current active research areas include formal models (such as finite automata, formal language-based models, petri nets, and process calculi), natural computing (in particular membrane computing and quantum algorithms), algorithmics for hard problems, bioinformatics, and data analysis and visualization.
A huge part of ACLab's culture is the continuous development of new ideas and concepts to contribute to the growing body of knowledge in computer science. This has led to a number of publications in refereed local and international journals, as well as presentations in various conferences and symposia here and abroad. In addition to this, building a network/community of research via collaborative work with parties outside ACLab has also been a desideratum in furthering and developing the lab's research agenda.
The laboratory also recognizes its role as part of the University of the Philippines in inculcating and imparting vital knowledge to students, both in the undergraduate and graduate level. This is done by handling classes on several theoretical computer science courses, and by mentoring researchers who would later carry on the spirit of honor and excelllence as espoused by the laboratory and the University, be it in the industry or in academia.