Texto de Apresentação:
A investigação em Teoria e Formal Métodos no Departamento de Informática tem uma longa tradição do ponto de vista científico, traduzida em ligações relevantes à industria nacional e um forte envolvimento nas actividades lectivas do departamento, tanto ao nível de graduação como de pósgraduação. O grupo LMF é formado actualmente por 12 membros e 15 estudantes de doutoramento. Nos últimos anos, a investigação nesta área envolveu vários estudantes não licenciados (com bolsas BIC da FCT) e novos investigadores (com bolsas BI da FCT). Vários dos ex-bolseiros estão actualmente a realizar o seu doutoramento externamente, sob a co-orientação de membros do grupo. Entre as actividades regulares nesta área inclui-se um seminário científico que se constitui como uma oportunidade estimulante para todo o grupo se reunir, incluindo estudantes pósgraduados e finalistas.