Informação pessoal
Tenho 25 anos e sou aluno do MAP-i (Programa Doutoral), na Universidade do Minho.
Trabalho em investigação na área da verificação dedutiva de programas.
Trabalho em investigação na área da verificação dedutiva de programas.
Interesses científicos
- Métodos Formais:
- Metodologias e ferramentas para modelação, especificação, validação e verificação;
- Verificação e validação de sistemas embebidos e de tempo real;
- Verificação e validação de programas concorrentes e paralelos;
- Métricas para quantificação da qualidade de código;
- Metodologias formais de teste.
- Computação paralela:
- Novos paradigmas, linguagens e bibliotecas para facilitar a programação multi-core com ênfase na produtividade e na engenharia de software;
- Uso de linguagens funcionais para exploração de novas técnicas de programação paralela.
- Programação declarativa funcional:
- Prototipagem rápida e capacidade expressiva;
- Exploração de sistemas de tipos como meio de programação e prova (i.e. Agda)
- Exploração de paralelismo em memória partilhada.
- Fundamentos das ciências de computação.
Tecnologias nas quais possuo experiência:
- Ferramentas e linguagens de modelação, especificação, verificação e coordenação;
- Criação e uso de regras de programação (PMD e Semmle .QL);
- Criação de Domain Specific Languages e interpretadores;
- Particularmente em Haskell e ANTLR.
- Aspect Oriented Programming (AspectJ e AspectC/C++);
- Ferramentas e técnicas de profiling e de optimização;
- Plataformas e linguagens de programação:
Tese de Mestrado
- A Formal Approach for a Subset of the SPARK Programming Language: Semantics and Program Verification
Relatórios e artigos
- A (Very) Short Introduction to SPARK: Language, Toolset, Projects, Formal Methods & Certification, Aceite na EVTSIC 2010 @ INForum
- Program Verication in SPARK and ACSL: A Comparative Case Study, Eduardo Brito, Jorge Sousa Pinto, Aceite na 15th International Conference on Reliable Software Technologies - Ada-Europe 2010
- Enhancing Program Verification for SPARK, Eduardo Brito, Luís Pinto, Jorge Sousa Pinto, Aceite na EDCC 2010
- A Formal Approach for the mSPARK Programming Language, Eduardo Brito, Jorge Sousa Pinto, Poster na EDCC 2010
- Useful features and tools of Behavioral Interface Specification Languages for SPARK, Não publicado (trabalho da universidade).
- Adding self-adapation to scientific applications in the AspectGrid framework, Edgar Sousa, Eduardo Brito, Rui C. Goncalves, João Luís Sobral, Não publicado
- Tool for combining reusable aspects - PSL
Interesses pessoais & hobbies
- Música e instrumentos musicais;
- Artes Marciais e Desportos de Combate;
- Cinema (Ver, realização, guionismo e edição);
- Línguas e culturas orientais, especialmente japonesa;
- Séries(live action e anime);
- Leitura (Ficção, terror, banda desenhada americana, europeia, manga e manhwa);
- Realização de arte digital (Desenho, pintura e fotografia digital);
- Escrita (Ficção e letras de músicas);
- Vídeo-jogos.
Downloads
Contactos
edbrito EM di PONTINHO uminho PONTINHO pt
