Related Projects
| Carnegie Mellon University | 2005-present |
RADAR-TM (Reflective Agents with Distributed Adaptive Reasoning-Task Management). Collaborated with a group to design an intelligent prioritizing action list that dynamically reorders tasks along changing time and activity contexts. The reordering behavior is learned from experts' usage of the RADAR action list.
| Carnegie Mellon University | School Year 2004-2005 |
ATGen-Arch (Architectural Test Generator: Architecture Specification Subsystem). Collaborated with a group to architect a subsystem to specify microprocessor properties relevant to architectural test generators. The project involved the selection of a microprocessor architecture description language (ADL) best suited for generating tests, the design of an efficient internal data model for storing microprocessor architectural properties, and the creation of an application programming interface (API) for querying those properties.
| Carnegie Mellon University | Spring 2005 |
High-performance Fault-tolerant Distributed Banking System. Collaborated with a group to formally design and implement an efficient and actively replicated distributed banking system.
| Columbia University | Summer 2003 |
A Goal-directed Search for Hard Bin-packing Problem Instances (Term Paper). Presented an initial investigation of the hard instances of the bin-packing problem leveraging on previous work on the Satisfiability (SAT) problem.
| Columbia University | Fall 2000 |
XML Browser for the PalmOS. Created an XML Browser for the PalmOS patterned after the Microsoft Internet Explorer 5.5 XML Tree View.
| Columbia University | Fall 1998 |
Distributed Data Filtering System. Collaborated with a group to design and construct a framework for distributed data filtering in Java.
| University of the Philippines | School Year 1996 - 1997 |
Connect: Java Data Conferencing. Managed a group to plan and build Connect, an Internet data conferencing solution to distance learning.