An Adequate While-Language for Stochastic Hybrid Computation

Renato Neves

Postdoc Researcher

Renato Neves is a Auxiliar Professor at University of Minho and a researcher at INESC TEC. His main focus are on (quantitative) syntax and semantics of programming languages, typically in the setting of cyber-physical and quantum computing.