Esta página pessoal serve para ir relatando o trabalho que vou realizando enquanto investigador.
Aqui poderão encontrar downloads de trabalhos já realizados, novidades em relação aos meus projectos, os meus interesses (científicos e não só), publicações, o meu CV, entre outras coisas.
For the english version of this site click here (outdated).

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.


Justiça (Gi)

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.


Coragem (Yuu)

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:

    Benevolência (Jin)

Tese de Mestrado

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


Educação (Rei)

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.


Honestidade (Makoto)

Downloads

Contactos

edbrito EM di PONTINHO uminho PONTINHO pt

Lealdade (Chuugi)