Marco Roveri
Associate Professor @Università di Trento
Trento, IT
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Apr 2020 — Present
Associate Professor @Università di Trento
View department →
Trento, IT
I\'m a tenure track associate professor in the area of Formal Methods, Artificial Intelligence Planning, and Formal Requirements Engineering.
SKILLS
Formal MethodsArtificial IntelligenceProgrammingAlgorithmsEmbedded SystemsComputer ScienceSimulationsSoftware EngineeringModel CheckingCMatlabC++PythonPerlSoftware DesignLatexFortranDistributed SystemsLinux
ABOUT MARCO ROVERI
Development of novel algorithms for the verification of embedded…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.