Darin Morrison

hacker // trader // researcher // engineer

I engineer lemmas, hack proofs, and teach theorems to computers.

I use mathematics to design beautiful and reliable software.

I speak λ-calculus and dream in type theory.

Darin Morrison

hacker // trader // researcher // engineer

- Add This Page to Your Favorites
  
  Love Your Page
  
  Great Photo
  
  Well-Written
  
  You’re Cool
  
  Creative!
  
  I’m a Fan
- Sign up to compliment, or Log In.
  
  Facebook Twitter
  
  or
  
  Your email address
- Add this page to:
  
  Add this page to a custom collection
- Forward Page
- Embed Page
Email Me

Email message (max 1000 characters)

Sign up to send an email, or Log In.

Facebook Twitter

or

Your email address

I engineer lemmas, hack proofs, and teach theorems to computers.

I use mathematics to design beautiful and reliable software.

I speak λ-calculus and dream in type theory.

Portland, OR

- Follow
  - Follow @darinmorrison
  - Connect

Github
Google+
LinkedIn
Twitter

Darin Morrison

Veronica Belmont - about.me user since 2010

1create & customize
2Connect & Share
3Benefits

“First, customize your page. It’s easy and fun to design!”

Your Name

Hi! I’m currently living in (City), where I work at (Work Place) doing (Job Title). When I’m not working I like to (Hobby), (Interest) and (Passion). Connect with me!

Next: Connect & Share

“Next, connect services and send people to your page.”

Next: Benefits

“That’s it! Let about.me do all of the work for you.”

Showcase a 360 degree view of who you are

Help people find and follow you on your social networks

Be found for new opportunities

Get Started

Sign up to claim your name!

It’s free and only takes minutes to set up your page. Learn more

Facebook Twitter

or

First name

Last name

Your email address
Log In

Hide

Would you like your own about.me page? Sign up now