Publicado em: 22/03/2010

Professor alemão visita o INF

O professor Florian Kammueller, pesquisador da Universidade Técnica de Berlin, está visitando o Instituto de Informática até o dia 26 de março. As areas de interesse em pesquisa do professor Florian são:

Formalization, Modelling, Language Development
Security and Privacy
Distributed Objects
Application of Mechanical Verification techniques
Aspect-oriented Languages
Quality assurance