Lásaro Jonas Camargos

Lasaro is Research Engineer at Informal Systems, working on the formal specification and verification os distributed protocols. Before that, he was a consultant for Hedvig Inc / Commvault Systems and a software development engineer for Microsoft Corp. He holds a PhD in Computer Science from the University of Lugano, Switzerland, and the State University of Campinas, Brazil. He was computer science professor at the Federal University of Uberlândia for more than a decade, and still advises students of their graduate school on the topics of fault tolerant distributed systems, specially focusing on agreement and coordination problems and replication.

Na indústria, Lásaro atua como Research Engineer na Informal Systems, com foco na especificação formal e verificação de protocolos distribuídos. Antes disso, atuou consultor para a Hedvig Inc./ Commvault Systems e como Software Development Engineer na Microsoft Corp. No âmbito acadêmico, Lásaro recebeu seu doutorado pela UNICAMP e pela Università della Svizzera Italiana, Suíça. Foi Professor da Faculdade de Computação da Universidade Federal de Uberlândia por mais de uma década e ainda colabora com o Programa de Pós-Graduação desta faculdade, orientando na área de projeto e construção de sistemas distribuídos de larga escala, com foco maior em problemas de acordo.