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)