ajayeeralla Goto Github PK
Name: Ajay Kumar Eeralla
Type: User
Company: University of Missouri
Bio: I've secured a PhD in CS from Mizzou (Columbia) and. Research interests: security protocol verification, mechanization in Coq, solving unification problems, etc
Location: Columbia