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



stopsoftwarepatents.eu petition banner