User Tools

Site Tools


start

A few words about me

I'm currently (2013/2014) a research associate (postdoc) in Cambridge, UK.

I work in the University of Cambridge Computer Laboratory (CL). I'm a member of the OCaml Labs group.

Previously, I was at LIP6. My previous page is here. I thought I had to start a new website, so This new web site is fresh (and as such is very incomplete) and hopefully, I'll often update it with nice stuff.

I'm mainly interested in programming and the means to make it fun, enjoyable and effective. I'm interested in the languages, which allow us to express the things we want a computer to interpret, their design (e.g., syntax, expressiveness, sometimes their environment is part of their design) and their properties (e.g., type systems, guaranties). I'm interested in the tools that make programming easier, more accessible and more enjoyable (e.g., development environment, transformation tools, meta programming) and the tools that make programming safer, less expensive, less time consuming, more effective. I'm interested in the design patterns that we can extract (design patterns in general, not just those of object-oriented programming). I'm interested in program compilation (i.e., the process of transforming/translating a program implemented using a language to a semantically-equivalent program implemented using another language). Overall I'm mainly interested in things that do have a future in practice (by opposition to things that are only enjoyable as brain teasers) and that can be explained to a fairly wide public (not being currently explainable to a fairly wide public doesn't mean that they'll never be, and there's often hope for such things, however the human brain has likely not evolved much for more than a hundred thousand years so it's not by waiting for human brain evolution that we'll make any progress on that matter). However I find a small dose of brain teasers from time to time quite enjoyable.

Contact Information

Email
Office
Office Phone
Mail
Dr Philippe WANG
University of Cambridge, Computer Laboratory
William Gates Building
15 J J Thomson Avenue
Cambridge, Cambs CB3 0FD
United Kingdom

Latest Blog Posts

List of Talks and Papers

References

HAL

Talks

Papers

Local Pages

On-going projects

  • opam-doc a document generator for OCaml
  • MPP a meta preprocessor
  • OMD a “saner” Markdown parser (with an HTML and a Markdown back-ends) in OCaml
  • glical an iCalendar data parser in OCaml

Miscellaneous Bookmarks

University of Cambridge

OCaml Labs

Small Machines

Markdown

Back to Misc

start.txt · Last modified: 2014/03/28 19:00 by phil