About

Educational Background

• Ph.D. in Computer Science (2008-2013)

  • UT - University of Twente, The Netherlands

  • Thesis: Abstract Graph Transformation - Theory and Practice

    • Supervisor: prof.dr.ir. Arend Rensink

    • Topics: Graph Transformation, Graph Abstraction, Graph-based Modelling, GROOVE, Model Checking

• M.Sc. in Computer Science (2004-2006)

  • UFES - Federal University of Espírito Santo, Brazil

  • Thesis: Optimization of Reliability Metrics in Power Delivery Networks (In Portuguese)

    • Supervisors: dr. Berilhes Garcia & dr. Sérgio Freitas

    • Topics: Nonlinear Integer Programming, Power Distribution Protection, Power Distribution Reliability

• B.Sc. in Computer Engineering (1999-2003)

  • UFES - Federal University of Espírito Santo, Brazil

  • Final Project: IROBOT - A Mobile Robot Controlled by Infra-Red Signals (In Portuguese)

    • Supervisor: dr. Hans-Jörg Schneebeli

    • Topics: Robotics, Embedded Systems, Wireless Communication Protocols

Employment History

• UFES/CT/DI - Federal University of Espírito Santo, Brazil

  • Assistant Professor of Computer Science (Mar. 2016 - Present)

• IFES/CIN - Technical Institute of Espírito Santo, Brazil

  • Assistant Professor of Computer Science (Sep. 2014 - Feb. 2016)

• UFES/CEUNES/DCEL - Federal University of Espírito Santo, Brazil

  • Assistant Professor of Computer Science (Apr. 2013 - Aug. 2014)

• UT - University of Twente, The Netherlands

  • Ph.D. Candidate (Aug. 2008 - Jan. 2013)

• UFES/CT/DI - Federal University of Espírito Santo, Brazil

  • Research Assistant (Aug. 2005 - Jul 2008)

  • Teaching Assistant (Nov. 2004 - Jul. 2005)