Computer Science Researcher interested in Software and Systems Security, Formal Methods, Machine Learning and Cyber-Physical Systems.
See dblp, Google Scholar.