Cohesive Project (Lab. EI)
Interesting and useful slides for preparing your milestone presentations:
Projects / Groups
Group | Project | Partnership | External supervisor(s) | Tutors | Nr | Student | Photo |
A | Web platform for Alloy enabling share of specification challenges and detection of learning problems | HASLab | A. Cunha | N.M. Macedo | a67847 | Bruno Carvalho | |
A | Web platform for Alloy enabling share of specification challenges and detection of learning problems | HASLab | A. Cunha | N.M. Macedo | a60995 | Ricardo Silva | |
C | Cryptol applied to open source and commercial crypto libraries | Galois | Joe Kiniry | J.N. Oliveira | a73559 | Lisandra Silva | |
C | Cryptol applied to open source and commercial crypto libraries | Galois | Joe Kiniry | J.N. Oliveira | a75273 | João Pereira | |
D | Lightweight Formal Methods for Aerospace | UTRC-Ireland | Luís Couto | J.N. Oliveira | a71841 | André Brandão Pinho | |
D | Lightweight Formal Methods for Aerospace | UTRC-Ireland | Luís Couto | J.N. Oliveira | a70387 | Afonso João Silva | |
D | Lightweight Formal Methods for Aerospace | UTRC-Ireland | Luís Couto | J.N. Oliveira | a73860 | Guilherme V. Guerreiro | |
B | Formal verification of programs based on actors | HASLab | P. Sérgio | A. Cunha | a75428 | Bruno Cancelinha | |
B | Formal verification of programs based on actors | HASLab | P. Sérgio | A. Cunha | a74817 | Marcelo Miranda | |
Milestones
TBA
Evaluation
TBA
Final evaluation by industrial partners TBA
Our Skype-ID:
uminho-di-a1
-- JoseNunoOliveira - 12 Feb 2018