Rohit S.

Location:

Berkeley, CA
Hometown: Berkeley

Member since:

November 27, 2012

How familiar are you with category theory?

Little

How familiar are you with type theory?

Fair amount

How's your functional programming level?

Intermediate Haskell Programmer.

Introduction

Graduate student in Berkeley CS working on formal methods


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