Summary of activities

The “Modern Refactoring” project is jointly funded by SIU/CAPES (2017/18 & 2019-2021).


The 23rd Brazilian Symposium on Formal Methods (SBMF) will be held virtually 25.-27. November 2020! Together with Gustavo Carvalho I’ll be chairing the conference.

Course material

Joint supervision

Research discussion with PhD students, external examiner for Master theses, participation in ETMF School.

Research meetings

  • Visits to UFCG: Nov’17, Nov’18
  • Various visits to HVL


Rohit Gheyi Volker Stolz
Melina Mongiovi Anya H. Bagge (UiB)
Márcio Ribeiro (UFAL) Fernando Macías
Larissa Braz Anna M. Eilertsen (UiB)
Patrick Stünkel
Angela Barriga Rodriguez
Benjamin Chetioiu (UiB)
Violet Ka I Pun