addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Members

  • Pramod B.

    • Joined April 2, 2017
  • Ray G.

    • Joined May 6, 2015
  • M F.

    • Joined April 12, 2015
  • Sergei W.

    • Joined October 15, 2013
    • "A theoretical physicist turned software engineer. Mathematics is one of my passions." 

  • Spencer O.

    • Joined August 20, 2014
    • "." 

  • Viktor K.

    • Joined August 31, 2016
  • Ian T.

    • Joined March 15, 2017
  • Ian-Woo K.

    • Joined December 10, 2015
  • Haroon K.

    • Joined November 5, 2015
  • Adrian K.

    • Joined August 30, 2012
    • "Functional, yet mutable." 

  • Stephen P.

    • Joined March 25, 2015
  • Shachaf

    Co-Organizer
  • Valeria De P.

    Co-Organizer
    • "I did categorical models of linear logic (Dialectica categories) for my phd thesis. I work in the intersection between category theory, type theory and logic." 

  • Rohit S.

    • Joined November 27, 2012
    • "Graduate student in Berkeley CS working on formal methods" 

  • Zhengping Y.

    • Joined January 30, 2017
  • Joseph C.

    • Joined September 14, 2012
    • "I am a mathematician and software engineer." 

  • Jack F.

    • Joined February 22, 2014
    • "Recently got interested in the Oregon Programming Languages Summer School lectures http://www.cs.uoregon.edu/research/summerschool/summer13/ and the HoTT Book http:/..." 

  • Noel Y.

    • Joined January 9, 2013
    • "Interested in learning Category Theory." 

  • Peter S.

    • Joined March 24, 2016
  • Mohith M.

    • Joined May 22, 2016
    • "Interested in math, primarily category theory. Software engineer." 

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