Activities per year
Personal profile
Research Interests
- Formal Verification of AI
- Trustworthy ML
- Convex Optimisation
Research Focus
Developing provably robust neural networks using network over-approximations to guarantee safety against adversarial attacks.
Prizes
-
The Brian Conlon Financial Mathematics Prize Sponsored by First Derivatives
Melis, M. (Recipient), 16 Jun 2025
Prize: Prize (including medals and awards)
-
The Thomas Wray Prize for Excellence in Mathematics
Melis, M. (Recipient), 16 Jun 2025
Prize: Prize (including medals and awards)
Activities
- 1 Public lecture/debate/seminar
-
Too Much Autonomy!
Sharma, V. (Keynote speaker), Wickremasinghe, G. (Presenter), Sandjaja, F. R. (Presenter), Melis, M. (Presenter), Megarry, M. (Presenter) & Reid, C. (Presenter)
13 Feb 2026Activity: Talk or presentation types › Public lecture/debate/seminar