Anahita Baninajjar

PhD student, Lund University

  • Joined May 2023

Names

Anahita Baninajjar (Preferred)

Emails

****@eit.lth.se (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

PhD Advisor
2022 – Present
 
PhD Advisor
2022 – Present
 

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