"When you want to build a ship, then do not drum the men together in order to procure wood, to give instructions or to distribute the work, but teach them longing for the wide endless sea." - A. de Saint-Exupery
This is the official web site of the Algorithms and Complexity Laboratory (ACLab) of 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 conducts research on a diverse range of topics, all anchored on a theoretical computer science perspective. Current active research areas include formal models, natural computing, algorithmics for hard problems, bioinformatics, and data analysis and visualization.
Recent News and Announcements
10 November 2015
Details of a lecture by Richard Bryann Chua:
Title: Formal Verification of E-Voting Protocol
Abstract: E-voting has already been used in some countries. While some countries have successes with e-voting, some countries have failures with it and have opted to discontinue e-voting. Despite the efficiency that e-voting offers, there are still issues on the trust for e-voting, particularly on vote privacy and assurance that votes are recorded and counted correctly. In this lecture, we will discuss about the formal verification and analysis properties of e-voting systems on whether do they offer security, reliability and trustworthiness.
Date: 12 November 2015
Time: 16:00h to 17:00h, GMT+8
Venue: Room 317
This lecture is open to the public.