
iain proctor
chief technology officer + founder
About
Software Engineer at Uber
united states
miami
internet
go, haskell, node.js, c++, debugging, compilers, php, javascript
Experience

chief technology officer + founder

software engineer
citizens bank

software engineer
Mostly working on Facebook's PHP implementation: compiler work and performance optimization. Some other compiler work after for a privacy specification language. Facebook is notorious for being built on PHP, though by now it has its own custom language, Hack, which has added some modern features. The root of that effort was HPHP, a project begun in 2007 and which I joined in 2008 as the second team member. This project had the goal of improving over Zend PHP's performance, addressing high hardware costs and site slowness. The approach was a static compilation into C++ targeting a new optimized runtime. This approach did well in that it delivered a huge performance improvement within 2 years and with a small team. Of course, now we all know the way to go with these things is a JIT interpreter. That approach was taken with a child project, HHVM, which I did not take part in. As much as I was grateful to get to do high impact programming language work right out of school, I felt I had already given enough of my youth to PHP.

senior software engineer
uber
My work has focused on building the platform and core abstractions that support trip flow.
Education
norfolk academy
carnegie mellon university
computer science
iain proctor's Contact Information
Phone
Find the Right Leads
Find Verified Contact Data
What LeadContact does well
Find verified emails, phone numbers, and decision-makers with 98% accuracy.
Find Leads
Find the right people by company, role, industry, location, and more.
925M+ professional profiles

Find Emails
Access verified email addresses for your target contacts.
657M+ emails

Find Phone Numbers
Get cross-validated phone data from multiple top sources.
239M+ phone numbers

More Accurate. Lower Cost.
Find contact data in 1 tool with 98% accuracy
LeadContact integrates leading enrichment tools to deliver more accurate contact data—without paying for each one.
Great conversations start with the right contact.
It’s time to find yours.

