superagi_logo
profile_icon_placeholder

David Espinosa

linkedin_icon
Independent Researcher @ Software Engineer / Computer Scientist
email_icon
Email encrypt_section
call_icon
Phone Number encrypt_section

Education

education_icon_placeholder

Massachusetts Institute of Technology

Bachelor of Science - BS, Mathematics and Computer Science 1984-01-01 - 1988-01-01
education_icon_placeholder

Columbia University Graduate School of Arts and Sciences

Doctor of Philosophy - PhD, Computer Science 1988-01-01 - 1995-01-01

Work Experience

experience_icon_placeholder

Current

experience_icon_placeholder

Moveworks

2020-05-01 - 2021-12-01

Moveworks

experience_icon_placeholder

Quora

2018-11-01 - 2019-09-01

Quora

experience_icon_placeholder

2017-07-01 - 2018-10-01

experience_icon_placeholder

Google

2010-08-01 - 2016-06-01

Google

experience_icon_placeholder

Microsoft

2009-01-01 - 2010-07-01

Microsoft

experience_icon_placeholder

DoCoMo USA Labs

2002-08-01 - 2008-12-01

DoCoMo USA Labs

experience_icon_placeholder

Kestrel Institute

1995-06-01 - 2002-07-01

Kestrel Institute

Skills

Python XML Algorithms Distributed Systems Computer Science Software Development C Git Subversion Hadoop Software Design Software Engineering Embedded Systems Agile Methodologies Linux Java Scalability JavaScript Perl Programming

Summary

I'm excited about software and hardware verification, distributed systems/storage, and collaborative document editing. And I have lots of experience in programming languages, theorem proving, and formal methods.

Browse SuperAGI Directories
agi_contact_icon
People Search
1 2 3 4 5 ... 22732309
agi_company_icon
Company Search
1 2 3 4 5 ... 809223
AI Native CRM for Unified Sales, Support & Marketing Accelerate growth and streamline your entire stack with AI CRM Platform