Byron Cook


F#unctional Londoners Meetup Group 20100204
London, United Kingdom EC2Y 5EA


LondonUnited Kingdom EC2Y 5EA

Member since:

August 12, 2010


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#.

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.

Sign in to post a Greeting.


    • Not yet added

    People in this
    Meetup are also in:

    Log in

    Not registered with us yet?

    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