Sergio Benitez

Sergio Benitez Email and Phone Number

Compilers and OS @ Formal @ Formal
Sergio Benitez's Location
San Francisco Bay Area, United States, United States
Sergio Benitez's Contact Details

Sergio Benitez work email

Sergio Benitez personal email

n/a
About Sergio Benitez

I am not currently seeking employment of any sort. Please do not contact me for such matters.If instead you want to talk operating systems, programming languages, formal verification, computer security, or especially the intersection of all four, please do reach out.I research, design, and build distributed systems, operating systems, cryptosystems, and programming languages. I've worked on a range of projects in the past, from designing anomaly detection algorithms at Google, to developing new languages for programming robots at MIT, to working on operating systems that run rockets and spacecraft at SpaceX.

Sergio Benitez's Current Company Details
Formal

Formal

View
Compilers and OS @ Formal
Sergio Benitez Work Experience Details
  • Formal
    Founder
    Formal Nov 2023 - Present
    We're leveraging formal verification and compilers to rebuild the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution.
    View
  • Amplify Partners
    Entrepreneur In Residence
    Amplify Partners Jan 2019 - Sep 2021
    Menlo Park, California, Us
    View
  • Stanford University
    Phd Student
    Stanford University Oct 2014 - Sep 2021
    Stanford, Ca, Us
    View
  • Space Exploration Technologies
    Flight Software, Embedded Platforms
    Space Exploration Technologies Jun 2014 - Oct 2014
    Hawthorne, California, Us
    • Improved core flight software, including bootloaders, OS kernel, system init, drivers, andflight runtime, which run every rocket and spacecraft, reducing boot time by 70%• Led efforts to assemble and configure flight hardware for platform integration testing
    View
  • Apple
    Software Engineering Intern, Mac Os X
    Apple Jun 2012 - Aug 2012
    Cupertino, California, Us
    • Re-architected application search infrastructure resulting in 4x faster query results• Designed, architected, and implemented search interfaces for future software releases
    View
  • Google
    Software Engineering, Gmail Performance
    Google Jun 2011 - Aug 2011
    Mountain View, Ca, Us
    • Designed and implemented an original anomaly detection algorithm using machine learning techniques for Gmail with an average false positive rate less than 0.5• Improved trace analysis software by adding trace and delimited file readers, statistical analysis tools, a rolling gradient calculator, and a kernel trace event counter
    View
  • Mit Entrepreneurship Review
    Founding Technical Lead
    Mit Entrepreneurship Review Mar 2010 - Jan 2011
    Founded, developed, and maintained all technical facets of the publication including web design and programming, UI, UX, database design, and server configuration

Sergio Benitez Skills

Javascript Python Java Php Html User Experience Css Ruby On Rails Photoshop User Interface Wordpress Mysql Drupal Jquery Ruby Objective C Web Development Web Design Mobile Devices

Sergio Benitez Education Details

  • Stanford University
    Stanford University
    Computer Science
  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Computer Science
  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Electrical Engineering

Frequently Asked Questions about Sergio Benitez

What company does Sergio Benitez work for?

Sergio Benitez works for Formal

What is Sergio Benitez's role at the current company?

Sergio Benitez's current role is Compilers and OS @ Formal.

What is Sergio Benitez's email address?

Sergio Benitez's email address is sb****@****mit.edu

What schools did Sergio Benitez attend?

Sergio Benitez attended Stanford University, Massachusetts Institute Of Technology, Massachusetts Institute Of Technology.

What are some of Sergio Benitez's interests?

Sergio Benitez has interest in New Technology, Computer Science, Appealing Yet Efficient User Experience, Playing Saxophone, Electrical Engineering, Music, Online Media.

What skills is Sergio Benitez known for?

Sergio Benitez has skills like Javascript, Python, Java, Php, Html, User Experience, Css, Ruby On Rails, Photoshop, User Interface, Wordpress, Mysql.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.