Research Engineer at Toyota
Greater Los Angeles Area
Research Engineer at Toyota
Greater Los Angeles Area
Research Engineer focused on verification and validation of powertrain control software, initiating, planning and managing research projects with various companies and universities from concept to tool development
Static analysis, program/code transformation, static/dynamic analysis based automated test generator tool development, software reengineering, generalized compilers, formal verification, model based software testing,
Mechatronics, Embedded control, hardware-in-the-loop simulation,software-in-the-loop simulation
C, OCaml, Parlanse, Perl, Matlab/Simulink
(Public Company; Automotive industry)
January 2006 — Present (4 years )
(Automotive industry)
2002 — 2005 (3 years )
(Non-Profit; 1001-5000 employees; Research industry)
June 2004 — August 2004 (3 months)
(Government Agency; Computer Hardware industry)
August 2001 — August 2002 (1 year 1 month)
M.Sc. , Electrical and Systems Engineering , 2002 — 2004
B.Sc , Electrical and Electronics Engineering , 1995 — 1999
B.Sc. , Electrical and Electronics Enginering , 1995 — 1999