Resumes
Resumes

Principal Architect
View pageLocation:
Austin, TX
Industry:
Computer Hardware
Work:
Real Intent
Principal Architect
Ibm Jul 2001 - Jan 2017
Research and Development of Formal Verification Tools and Methodologies
Principal Architect
Ibm Jul 2001 - Jan 2017
Research and Development of Formal Verification Tools and Methodologies
Education:
The University of Texas at Austin 2005 - 2008
Doctorates, Doctor of Philosophy, Computer Engineering Indian Institute of Technology, Kharagpur 1995 - 1999
Bachelors, Bachelor of Technology, Electrical Engineering
Doctorates, Doctor of Philosophy, Computer Engineering Indian Institute of Technology, Kharagpur 1995 - 1999
Bachelors, Bachelor of Technology, Electrical Engineering
Skills:
Debugging
C
Perl
Algorithms
Software Development
Unix
Verilog
Computer Architecture
Formal Verification
Cloud Computing
Asic
Solution Architecture
Linux
Software Engineering
Shell Scripting
Embedded Systems
Tcl
Distributed Systems
C
Perl
Algorithms
Software Development
Unix
Verilog
Computer Architecture
Formal Verification
Cloud Computing
Asic
Solution Architecture
Linux
Software Engineering
Shell Scripting
Embedded Systems
Tcl
Distributed Systems
Languages:
English
Hindi
Hindi

Hari Mony
View pageLocation:
Austin und Umgebung, Texas
Industry:
Computer-Hardware