Research Projects
No current supported project
Past Research Projects
AVIACC Analysis and Verification of Critical Concurrent Programs
CANTE Descriptional and Computational Complexity of Formal Languages
CSI Cryptographic Security of Individual Systems
ASA Automata, Semigroups and Applications
RESCUE Reliable and Safe Code Execution for Embedded Systems
MTCIO Memórias do Trabalho
ELML Education and Language in Memories of Labour
AGILMAT Automatic Generation of Interactive Drills for Mathematics Learning
EDIC A Courseware for Assincronous Teaching of Unix Command Line Interpreter
CORE Formal systems and Computational Complexity
GANESH An Environment for Learning Computer Science