Current work

My current research interests include the compilation of high-level specifications to recursive functions. I am also interested in static analysis techniques for functional and object oriented programs written in Scala. I have for instance investigated techniques to precisely and efficiently analyze memory side-effects in the presence of callbacks. I have also looked at static reasoning techniques for highly-dynamic languages such as PHP.

Biography

I received my Master in Computer Science with a specialization in Foundations of Software from EPFL in september 2011. I am now enrolled in the Doctoral Program at EPFL under the supervision of Viktor Kuncak.

I am also the CTO of IMMOMIG Ltd, which provides web-based solutions to real estate agencies. I also regularly contribute to the PHP Programming Language and maintain PHP extensions such as SPL or Weakref.

Further information

You can find out about my open source work at http://github.com/colder.

My personal website can be reached at http://croustillant.ch.