
Software engineering intern at Robert Bosch
San Francisco Bay Area

Software engineering intern at Robert Bosch
San Francisco Bay Area
Worked on large software projects in various languages (LISP, Java, C) ranging from automated reasoning to natural language processing to audio processing. Experience with building dynamic web applications, hardware and firmware development for robots and embedded applications.
I'm looking for a challenging job in software engineering in particular in applications that involve making use of artificial intelligence to improve user experience (examples: better/different search engines, intelligent game characters, medical devices, medical robots, autonomous vehicles, intelligent driver assist devices).
Software engineer with experience with large software projects and multiple programming languages (LISP, C/C++, Java, Python, Perl, Bash scripting, etc.).
Automated reasoning, theorem proving, commonsense reasoning, knowledge representation, planning and robotics.
Electronic circuit design, troubleshooting, and development.
Machine learning and data mining applications.
(Privately Held; Automotive industry)
October 2009 — Present (2 months)
Applications of data mining and machine learning on health care data to better assist elderly people.
(Educational Institution; Higher Education industry)
2005 — 2008 (3 years )
Intro to Robotics (Fall 2008)
Data Structures (Spring 2006)
Computation and Formal Systems (Fall 2005)
Computer Models and Limitations (Spring 2005)
(Privately Held; Automotive industry)
January 2007 — August 2007 (8 months)
Used machine learning techniques to speed-up domain adaptation for dialog systems.
(Educational Institution; 1001-5000 employees; Higher Education industry)
May 2003 — August 2003 (4 months)
Worked with the Alterne project team
(Educational Institution; Research industry)
February 2003 — May 2003 (4 months)
Lectured Lisp classes as part of the Articial Intelligence introductory course (Spring 2003);
Assisted an Artificial Intelligence seminar on the topic of Theorem Provers using Otter as practical example (Spring 2003).
(Privately Held; 11-50 employees; Computer & Network Security industry)
2001 — 2003 (2 years )
Ph.D. , Computer Science , 2005 — 2009
MS , Computer Science , 2003 — 2005
BS , Electronic Engineering , 1997 — 2002
Teaching, Artificial intelligence, Knowledge representation, Planning, Robotics, Alternative energy, Photography, Cars
AAAI