logo


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


Research group

Tin Perkov

Mladen Vuković

Zvonimir Šikić

Predrag Vuković

Tajana Ban Kirigin

Marko Horvat

Marcel Maretić

Sebastijan Horvat

Luka Mikec

Mandi Orlić Bachler

Aleksandar Hatzivelkos

Tin Adlešić

Stipe Marić

Teo Šestak

Sanda Bujačić Babić

Benedikt Perak

Helena Marciuš

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ć