align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

Cornelius

Location:

München

Member since:

August 5, 2013

What's your familiarity with Functional Programming?

Isabelle/HOL, Haskell, SML, C (omgwtf), Scala

Which languages / technologies are most interesting for you?

No answer yet

Would you be interested to speak on one of the meetups?

ͼ (that's a yes)

Introduction

Network security and verification in a theorem prover. Executable math and corny-style proofs. Why is the RAM gone? @popitter_net


Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy