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

Byron C.



Member since:

August 12, 2010

How would you describe your knowledge and skills level of F#?

I have not strayed too far from the Caml subset of F#. In recent days I've been making heavy use of F#'s notation for matrices. I have been using functional programming languages for a long time, so I'm familiar with the F# style of programming

Could you tell us a bit more about how you're currently using F#, or would like to use F# in the future?

I build automatic tools that analyze/prove properties of complex systems (e.g. programs, biological models, etc). Recent example tools include SLAM and Terminator.

What type of users group formats do you prefer? For example, 'deep-dive' tutorials and presentations, beer-and-pizza get-togethers, puzzle-solving and Coding Dojo sessions, etc?

whiskey get-togethers.


Principal Researcher at Microsoft Research Cambridge, as well as Professor of Computer Science at Queen Mary, University of London. Functional programmer since 1994 (Haskell, SML, Caml, Intel's FL, and now F#). Long time booster of F#.

Member of 1 other Meetup


  • Not yet added

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