• BrunoLopes

Bruno Lopes

<bvieira AT inf DOT puc-rio DOT br>

D.Sc. Candidate in Informatics at Pontifícia Universidade Católica do Rio de Janeiro (DI/PUC-Rio), master thesis in signal reconstruction using techniques of geostatistics and graduated in Computer Science with final work in program decomposition using dependence graphs both last at Universidade Federal de Alagoas (IC/UFAL).

Member of Laboratório de Tecnologia em Métodos Formais (TecMF) and staff of Laboratório de Computação Científica e Análise Numérica (LaCCAN/CPMAT/UFAL).

Curriculum Vitae

Researcher ID

Interests

• Abduction
• Dynamic Logic
• Formal Methods
• Logics
• Petri Nets
• Theorem proofing
• Wireless Sensor Networks

Note: alphabetically sorted.

Teaching

• Lógica 2012.1

• Linguagens Formais e Autômatos 2011.1 - 2011.2

Publications & Software

Articles and Inproceedings

Master Thesis

Tableaux Prover

MoinMoin BibTeX2 Parser

Groups

• Moderator of LaTeX User Group

• The Linux Counter

Websites I use to visit

Technical

• arXiv

• ISI Knowledge

• Detexify2 - LaTeX symbol classifier

• Portal de Periódicos da CAPES

• The R Project

Entertainment

• Dilbert by Scott Adams

• Malvados by André Dahmer

• Ph.D. Comics by Jorge Cham

• TinEye Reverse Image Search

"Never express yourself more clearly than you are able to think." (Niels Bohr)