Hormoz Zarnani from San Jose, CA, age 41

Hormoz Zarnani Phones & Addresses

San Jose, CA
6102 Jereme Trl, Dallas, TX 75252
4104 Midnight Cir, Plano, TX 75093 • (972)5992618
Pittsburgh, PA
Austin, TX
McAllen, TX

Resumes

Software Engineer

view source

Location:

San Francisco, CA

Industry:

Wireless

Work:

Cisco Systems since Jun 2009
Software Engineer
Carnegie Mellon University Sep 2006 - May 2009
Graduate Assistant
Intel Corporation Mar 2006 - Aug 2006
Design Automation Intern
Applied Materials Sep 2004 - Apr 2005
Software Engineering Intern
ExxonMobil May 2003 - Aug 2003
Software Engineering Intern

Education:

Carnegie Mellon University 2006 - 2009
Masters, Computer Science The University of Texas at Austin 2003 - 2005
B.S., Computer Science

Skills:

Software Engineering
C
Formal Verification
Algorithms
Perl
C++
Programming
Linux
Bash
Program Analysis
Lisp
Ocaml
Emacs
Ml

Interests:

Networking
Program Verification
Model Checking
Theorem Proving
Formal Verification
Software Engineering

Languages:

English
Persian

Hormoz Zarnani

view source

Googleplus

Hormoz Zarnani

Lived:

San Jose, CA
Tehran, Iran
Fort Collins, CO
Edinburgh, TX
McAllen, TX
Austin, TX
Pittsburgh, PA
Plano, TX
Dallas, TX

Work:

Cisco Systems, Inc - Software Engineer
Cisco Systems, Inc.
Intel Corporation
Applied Materials

Education:

Carnegie Mellon University, University of Texas at Austin, Alborz Highschool