Outras coisas...

Software:

FAdo Tools for Formal Languages manipulation.
GUItar Graphical editor for Formal Languages Models
Apoo Um ambiente para o ensino de programção em Assembly
Yappy Python parser generator.
TM Turing machine simulator.
CGM A CFG graphical manipulator

Descriptional Complexity DataBase (DesCo)

Projectos investigação anteriores:

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

Publicações

Orientações

Outras coisas

Comités de Programa em que participo, no presente ano:

Tabelas de frequências na Língua Portuguesa

Recursos $\LaTeX$

Chave pública GPG

A minha página no Flickr

Contacto:

Rogério Reis
rogerio.reis(at)fc.up.pt
Departamento de Ciência de Computadores da
Faculdade de Ciências da Universidade do Porto
R. do Campo Alegre, 1021/1055
4169-007 Porto
+351 220402927

Última modificação: 19/02/2025