Mirtha Lina Fernández Venero - Biblioteca Virtual da FAPESP
Possui graduação em Ciência da Computação pela Universidad de Oriente, Cuba (1994), mestrado em Computação Aplicada pela Universidad Central "Marta Abreu" de las Villas, Cuba (1996), doutorado em Software pela Universitat Politècnica de Catalunya, Espanha (2007) e pós-doutorado em Computação pela Universidade de São Paulo, Brasil (2014). Atualmente é professora adjunta da Universidade Federal do ABC. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: desenvolvimento de sistemas, teoria da computação, métodos formais, simulação e verificação, linguagens de programação e compiladores, tecnologias e jogos para a educação, gênero e tecnologia. (Fonte: Currículo Lattes)
Ambientes interativos inteligentes (Intelligent Interactive Environments - IIE) são sistemas multi-agentes com inteligência, interatividade e a noção de localização, Portanto, estes sistemas são convenientes para modelar e solucionar problemas que requerem técnicas da computação distribuída e móvel, do design de interação e da inteligência artificial. Recentemente, uma plataforma foi p...
Especificação formal, verificação e avaliação empírica de protocolos da interação construídos usando a plataforma JAM session, BP.PD
Ciência da Computação Ciências Exatas e da Terra Computação distribuída Computação móvel Inteligência artificial Metodologia e Técnicas da Computação