PCA: Pairwise Components and Automata Group

PCA is formed by researchers and students from the Department of Computer Science and the Center for Advanced Mathematical Sciences at AUB. The research interests of the group are in the areas of formal methods and distributed computing, specifically:

• Methods for combating the state-explosion problem
• Mechanical repair and synthesis of models and concurrent programs
• Semantic models for dynamic systems
• Fault tolerance of distributed algorithms