This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
I will be graduating in early 2022, and on the market for jobs.
On the Paradox of Certified Training Nikola Jovanović*, Mislav Balunović*, Maximilian Baader, Martin Vechev
In my current work, I study the worst-case behavior of Deep Learning systems from an adversarial perspective, to understand and mitigate long-term th…
Neural networks are increasingly being deployed in contexts where safety is a critical concern.
Previously, I worked on software security, reliability of machine learning and making robots easier to program at ABB Corporate Research.
too many people to name, however the list of recent formal advisors is
Journal of the American Medical Informatics Association. 2013.