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 |  |
| 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 |  |
| 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 |  |
Milestones
TBA
Evaluation
TBA
Final evaluation by industrial partners TBA
Our Skype-ID: uminho-di-a1
-- JoseNunoOliveira - 12 Feb 2018