Nelma Moreira
Dep. de
Ciência de Computadores da
Fac. de Ciências
&
Lab. de Inteligência Artificial e
Ciência de Computadores
Universidade do Porto
| Address: | DCC-FC&LIACC,UP R. do Campo Alegre, 1021/1055 4169-007 Porto Portugal |
|---|---|
| Gab: | 1.20 |
| Tel: | +351 220402920 |
| Email: | nam (at) ncc - up - pt |
| www: | http://www.ncc.up.pt/~nam
|
| GPG Public key |
Ensino/Teaching
- 2008-2009
Publicações/Publications
Publicações didácticas
Research interests
Automata Theory and formal languages (more info)
Theorem Provers and Formal Verification of Software (more info)
Semi-structured documents
Symbolic constraint programming
Research projects
| FAdo | tools for formal languages manipulation |
|---|---|
| Yappy | a parser generator for Python
|
| Apoo | an environment for a first course in assembly language programming |
| ASA | automata, semigroups, and applications |
| RESCUE | reliable and safe code execution for embedded systems |
| KaCoq | Formalizing Kleene Algebras in Coq |
| MTCIO | memories of labour |
Past projects
| 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 |
| GANESH | an environment for learning computer science |
|
|
