My research is focused on developing logical systems and tools tailored to deal with concurrent systems. I’m 33 years old, married with my longtime companion (10 years together), and an assistant professor at the Universidade Federal Fluminense – UFF, Brazil.