logo


  • Home
  • Research group
  • FORMALS (2017-2022)


Research group

Tin Perkov

Zvonimir Šikić

Predrag Vuković

Tajana Ban Kirigin

Marcel Maretić

Luka Mikec

Mandi Orlić Bachler

Aleksandar Hatzivelkos

Tin Adlešić

Stipe Marić

Teo Šestak

Sanda Bujačić Babić

Benedikt Perak

Formal systems and modeling
HRZZ-IP-2024-05-3882


Sveučilište u Zaqrebu
Sveučilište u Zaqrebu

FORMALS UIP-05-2017-9219
UFZG - 2017 Marko Gregurić