Armin Vakil

My full name is Seyed Armin Vakil Ghahani, but I prefer Armin Vakil :)
I am a PhD student at Electrical Engineering And Computer Science Department at Universtiy of Michigan. I am working under the supervision of Prof. Kapritsos.
My research interests are formal verification, and distributed systems. Essentially, I try to facilitate applying formal verification to distributed systems and address its challenges.