Byron C.

Location:

London

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.

Introduction

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


Interests

  • 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