Larry Diehl's Location
New York, NY, US
Larry Diehl's Work
- Chief Executive Officer @ Colimit
- Director of Programming Languages @ Symbiont
- Postdoctoral Researcher @ University of Iowa
- Graduate Research Assistant @ Portland State University
- Software Engineer @ Engine Yard
- Software Engineer @ IZEA
- Bear Den Designs @ Software Engineer
Larry Diehl's Education
- Portland State University
Doctor of Philosophy - PhD (Computer Science)
2012 - 2017 - University of Central Florida
Bachelor of Science - BS (Information System Technology)
2005 - 2009
Larry Diehl's Skills
- Formal Methods
- Type Theory
- Haskell
- Theorem Proving
- Agda
- Generic Programming
- Programming Languages
Larry Diehl's Summary
Larry Diehl, based in New York, NY, US, is currently a Chief Executive Officer at Colimit, bringing experience from previous roles at Symbiont, University of Iowa, Portland State University and Engine Yard. Larry Diehl holds a 2012 - 2017 Doctor of Philosophy - PhD in Computer Science @ Portland State University. With a robust skill set that includes Formal Methods, Type Theory, Haskell, Theorem Proving, Agda and more, Larry Diehl contributes valuable insights to the industry. Larry Diehl has 2 emails and 1 mobile phone number on RocketReach.
5 free lookups per month.
No credit card required.
If you need more lookups,
subscriptions start at $48 USD/month.
Not the Larry Diehl you were looking for?
Find contact details for 700 million professionals.
Others Named Larry Diehl
-
55
-
21
-
25
-
ViewLarry Diehl
Quality Assurance Manager at Vard Electro Canada
Vancouver, British Columbia, Canada1 -
12
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups / month.
Search
Search over 700
million verified professionals across 35 million companies.
Get Contact Info
Get contact details including emails and phone numbers
(business & personal).
G2Crowd Trusted
300K+
Plugin Users
