Anahita Baninajjar (Preferred)
Anahita Baninajjar
PhD student, Lund University
Joined
May 2023
Names
Emails
****@eit.lth.se (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Lund University (lu.se)
2022 – Present
MS student
University of Tehran, University of Tehran (ut.ac.ir)
2017 – 2020
Undergrad student
Amirkabir University of Technology (aut.ac.ir)
2012 – 2017
Advisors, Relations & Conflicts
Expertise
formal verification
, neural network verification
2022 – Present
deep learning
, adversarial robustness
, scalable verification
2022 – Present
linear programming
, neural network safety
, robustness guarantees
2022 – Present
privacy
, membership inference
, fairness
2022 – Present
formal methods
, SMT solving
, abstract interpretation
2022 – Present
trustworthy AI
, explainable AI
, medical AI
, personalized health
2022 – Present