Modelação e Análise de Sistemas Ciber-físicos com monads
Modelar um sistema representativo de uma estrada (Junção em T), usando a plataforma de verificação formal Uppaal.
Modelar um sistema representativo à aventura da travessia da ponte, usando o Haskell.