Cristiano Bertolini

Postdocoral Research Rellow

Cristiano Bertolini
  • Institute: UNU-IIST
  • Office: Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
  • E-mail:
  • Phone: +853 8504 0448
  • Nationality: Brazil

Profile

Research Interests
  • Empirical software engineering
  • Formal methods and languages
  • Model checking
  • Software testing
Education
  • Ph.D., Computer Science, Federal University of Pernambuco
  • B.Sc. & M.Sc., Computer Science, Pontifícia Universidade Católica do Rio Grande do Sul
Biographical Statement

Cristiano Bertolini received his B.Sc. in Computer Science in 2001, M.Sc in Computer Science from Pontifícia Universidade Católica do Rio Grande do Sul in 2004 and Ph.D. in Computer Science from Federal University of Pernambuco in 2010. He joined the UNU International Institute for Software Technology (UNU-IIST) in July 2010, where he is currently a postdoctoral research fellow.