Resumes
Resumes
Vida Vakilotojar
View pageLocation:
226 Central Ave, Mountain View, CA 94043
Industry:
Computer Software
Work:
Escadapps
Skills:
Formal Verification
Soc
Distributed Systems
Objective C
Ios Development
Software Design
Algorithms
Deep Learning
Artificial Intelligence
Machine Learning
Robotics
C++
C
User Interface Design
Memory Architecture
Soc Interconnect Architecture
Multicore Server Architecture
Cache Coherency
Asynchronous Systems
Architecture
System Architecture
Model Checking
Tensorflow
Smv
Tla+
Functional Verification
Embedded Software
Cuda
Probabilistic Models
Octave
Python
Soc
Distributed Systems
Objective C
Ios Development
Software Design
Algorithms
Deep Learning
Artificial Intelligence
Machine Learning
Robotics
C++
C
User Interface Design
Memory Architecture
Soc Interconnect Architecture
Multicore Server Architecture
Cache Coherency
Asynchronous Systems
Architecture
System Architecture
Model Checking
Tensorflow
Smv
Tla+
Functional Verification
Embedded Software
Cuda
Probabilistic Models
Octave
Python
Languages:
English
Persian
Persian
Vida Vakilotojar Mountain View, CA
View pageWork:
Escadapps LLC
2013 to 2000
Founder
Intel Corp
2008 to 2011
Enterprise Architect
Sonics Inc
2006 to 2007
Sr. Architect
PMC-Sierra Inc
2000 to 2005
Senior Design Verification Engineer
Cadence Design Systems, Berkeley Labs
1997 to 1997
Summer Intern
www.maharan.com
1991 to 1994
Design Engineer, Project Manager, Consultant
Iran System Corp
1991 to 1991
Software Design Engineer
2013 to 2000
Founder
Intel Corp
2008 to 2011
Enterprise Architect
Sonics Inc
2006 to 2007
Sr. Architect
PMC-Sierra Inc
2000 to 2005
Senior Design Verification Engineer
Cadence Design Systems, Berkeley Labs
1997 to 1997
Summer Intern
www.maharan.com
1991 to 1994
Design Engineer, Project Manager, Consultant
Iran System Corp
1991 to 1991
Software Design Engineer
Education:
Stanford University online, Coursera, Udacity
2011 to 2012
Machine Learning, Artificial Intelligence
University of Southern California
1995 to 2000
Ph.D. in Computer Engineering
Amirkabir University of Technology
1992 to 1995
M.S. in Computer Engineering
Sharif University of Technology
1985 to 1990
B.S. in Electrical Engineering
2011 to 2012
Machine Learning, Artificial Intelligence
University of Southern California
1995 to 2000
Ph.D. in Computer Engineering
Amirkabir University of Technology
1992 to 1995
M.S. in Computer Engineering
Sharif University of Technology
1985 to 1990
B.S. in Electrical Engineering
Skills:
Architecture, specification, modeling, and verification of Network Processors, SoC/Multi-Core Server Processor Interconnect, and Cache Hierarchy Architecture. Architecture, modeling, development, and verification of other concurrent systems: Asynchronous Systems, Safety Critical Distributed Systems, MultiUser DataBases. Formal verification tools development and techniques: Symbolic Model Checking, Abstraction, Partial Order Reduction techniques. Complex algorithm and Object Oriented software design: Formal verification, Robotics, 3D Graphics, DataBases.