- Basics of js_of_ocaml: the compiler, the syntax extension, the standard library, the browser API, and Lwt.
- Hack #2: Create 3D visualizations using the WebGL module. I'll demonstrate a toy protein visualizer based on geometric information provided in the standard PDB file format.
I am Sebastien Mondet (“Seb”). I work in the Biology Department of New York University as a Computer Scientist. Before that, I was a postdoc (Oslo, Norway) and a PhD student (Toulouse, France) in distributed multimedia systems. I also worked as an avionics software engineer for an Airbus subcontractor.
I believe that trusting the human brain is a terrible idea. Hence, the fact that most programmers think they can handle C++, Python, or dynamic typing is the main reason why computers and software are in general such a disaster, especially regarding safety or security.
Instead, my goal is to apply formal methods to make software more reliable. I program everything in OCaml; by very far the best practical implementation of an advanced, strong, and static type system, with a cool ecosystem built by people who care about the code. I also keep a close eye on what will be the next step in real-world software engineering (Coq?).
When, I am not working/hacking, I am most often playing or writing music. Currently I play bass in Lucrative Jacket and acoustic guitar in Plasmonic Wood.