If you made any changes in Pure these will be visible here soon.

Personal profile

Curriculum

Interdisciplinary research within Information Security, Formal Verification and AI areas.

Keywords

  • Information Security, Robust Machine Learning, Formal Verification