Andrei Marian Dan -

Registered user since Mon 13 Feb 2017

Name:Andrei Marian Dan

Bio:

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.

Country:Switzerland

Affiliation:Hitachi ABB Power Grids Research

Personal website:https://andreidan.net/

Contributions

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