Mehrnoosh Askarpour

PhD Fellow

Politecnico di Milano

Department of Electronics, Information, and Bioengineering(DEIB)

I am a phD candidate at Politecnico di Milano since November 2014 under supervision of Prof. Dino Mandrioli.

I work on a joint project with ITIA - CNR to provide software solutions for operator safety in collaborative robot environments.

I got my bachelor degree in computer Science from University of Tehran, faculty of science, in 2009 and my master degree from Politecnic of Milan in 2013. As a master thesis I proposed two algorithms to implement a decentralized Load-balancer applicable among multiple cloud architectures.

My current research interests are: Application of Formal Methods in Robotics, On-the-fly Model checking and run-time verification of safety critical systems.