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

Projectos investigação anteriores:

• AVATAR Average-case Complexity of Automata based Computation
• 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

• DCFS25
• CIAA25

Tabelas de frequências na Língua Portuguesa

Recursos $\LaTeX$

Chave pública GPG

A minha página no Flickr