Andrei Marian Dan

Registered user since Mon 13 Feb 2017

Name:Andrei Marian Dan

I am a scientist in Internet of Things Systems & Software at Hitachi ABB Power Grids Research Switzerland. Previously, I worked on software security, reliability of machine learning and making robots easier to program at ABB Corporate Research. I received my PhD in Computer Science from ETH Zurich in 2018.

Affiliation:Hitachi ABB Power Grids Research
Personal website:


VMCAI 2018 Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
SPLASH 2016 Author of Modeling and Analysis of Remote Memory Access Programming within the OOPSLA-track
SPLASH 2014 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track