Resumes
Resumes
Vice President And Research Staff Member
View pageLocation:
15 Polk Ct, North Potomac, MD 20878
Industry:
Financial Services
Work:
A Major Financial Services Company
Vice President and Research Staff Member
Ibm Apr 2008 - Aug 2014
Senior Scientist, Ibm Power Systems Microprocessor Development
Ibm Aug 1997 - Aug 2004
Research Staff Member
Computational Logic Jan 1988 - May 1996
Computing Research Scientist
Vice President and Research Staff Member
Ibm Apr 2008 - Aug 2014
Senior Scientist, Ibm Power Systems Microprocessor Development
Ibm Aug 1997 - Aug 2004
Research Staff Member
Computational Logic Jan 1988 - May 1996
Computing Research Scientist
Education:
The University of Texas at Austin
Bachelors, Bachelor of Science, Chemistry The University of Texas at Austin
Bachelors, Bachelor of Arts, Computer Science The University of Texas at Austin
Master of Science, Masters, Computer Science
Bachelors, Bachelor of Science, Chemistry The University of Texas at Austin
Bachelors, Bachelor of Arts, Computer Science The University of Texas at Austin
Master of Science, Masters, Computer Science
Skills:
C
Tcl/Tk
Lisp
Powerpc
Power Management
Rtos
Formal Verification
Formal Methods
Acl2
Full System Simulation
Embedded Systems
Logic Simulation
Functional Verification
Simics
Logic Design
Fpga Prototyping
Linux Kernel
Fault Simulation
Python
Technical Leadership
Vhdl
C++
Perl
Unix
Distributed Systems
Operating Systems
Servers
Computer Architecture
Hardware Architecture
Board Development
Prolog
Java
Jini
Vba
Windows System Programming
Simulations
Microprocessors
Firmware
Eda
Hardware
Debugging
System Architecture
Device Drivers
Algorithms
Tcl
Tcl/Tk
Lisp
Powerpc
Power Management
Rtos
Formal Verification
Formal Methods
Acl2
Full System Simulation
Embedded Systems
Logic Simulation
Functional Verification
Simics
Logic Design
Fpga Prototyping
Linux Kernel
Fault Simulation
Python
Technical Leadership
Vhdl
C++
Perl
Unix
Distributed Systems
Operating Systems
Servers
Computer Architecture
Hardware Architecture
Board Development
Prolog
Java
Jini
Vba
Windows System Programming
Simulations
Microprocessors
Firmware
Eda
Hardware
Debugging
System Architecture
Device Drivers
Algorithms
Tcl
Languages:
French
Research Professional
View pageLocation:
Austin, Texas Area
Industry:
Research