Armaiti Ardeshiricham

PhD student, Department of Computer Science and Engineering
University of California San Diego

CV | google scholar | bitbucket

I am a PhD student working with Professor Ryan Kastner in the Computer Science and Engineering department at the University of California San Diego.
I got my Bachelor's degree in Electrical Engineering from Sharif University of Technology in Tehran, Iran, majoring in Digital Systems.

My research interests include hardware security and formal methods. I'm interested in building tools which enable designing secure hardware units and verifying security properties in an automated manner.
I combine automated reasoning and program synthesis techniques to bring security analysis to the hardware design and verification process.