Rohit S.


Berkeley, CA
Hometown: Berkeley

Member since:

November 27, 2012

How familiar are you with category theory?


How familiar are you with type theory?

Fair amount

How's your functional programming level?

Intermediate Haskell Programmer.


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