C◦mp◦se :: Conference 2015 Speakers

Here are our speakers for C◦mp◦se :: Conference 2015.


Stephanie Weirich

[TECHNICAL KEYNOTE] Fundamentals of dependent type theory

Stephanie Weirich is an professor at University of Pennsylvania whose research focuses on dependently typed functional programming. Her work includes extensive contributions to the Glasgow Haskell Compiler's type system and a plethora of research papers advancing the state of the art in type theory.


Anthony Cowley

[Invited Talk] Robots on Haskell

Anthony Cowley is a robotics researcher and PhD candidate at the GRASP Lab at the University of Pennsylvania. He has worked on video games for music education and entertainment and was a research associate at GRASP before returning to student life in 2010. His interests include real-time computer vision, embedded systems, multi-agent coordination, and programming language driven verification of robotic systems.


Maxime Ransan

[Invited Talk] OCaml at Bloomberg

Maxime Ransan leads the R&D Derivative Infrastructure team at Bloomberg. The derivative group is responsible for providing advanced analytics for complex financial instruments. They most recently developed a new tool called DLIB <Go> which includes a custom scripting language (BLAN) for structuring and analyzing derivatives. The team is using a wide variety of programming languages for production work, including OCaml.

Don Syme

[Invited Talk] The F# Approach to Relaxation

Don Syme is an Australian computer scientist, an F# community contributor and a Principal Researcher at Microsoft Research, Cambridge, U.K. He is the designer and architect of the F# programming language.

Earlier, Don created generics in the .NET Common Language Runtime, including the initial design of generics for the C# programming language, along with others including Andrew Kennedy and later Anders Hejlsberg. He holds a Ph.D. from the University of Cambridge and is a member of the WG2.8 working group on functional programming. He is a co-author on the book Expert F#.


David Christiansen

Type providers and error reflection in Idris

David Christiansen is a contributor to Idris. He designed and implemented type providers and error reflection as well as many of the interactive features. He is currently a PhD student at the IT University of Copenhagen and an intern with Galois, Inc, in Portland, Oregon.

 

 


Spiros Eliopoulos

elm-d3: Front-end Development without Frameworks

Spiros Eliopoulos is the founder of Inhabited Type LLC, a cloud management company. He is the author of the elm-d3 library which provides Elm bindings to the D3 JavaScript library. Previously, he was a research engineer at Cornell University, serving as Lead Engineer on the Frenetic controller platform for Software-Defined Networks. Before that, he was the founding CEO of Tracelytics, a SaaS-based Application Performance Management company built on top of the X-Trace distributed tracing framework. He resides in Brooklyn, via Rhode Island.


Samin Ishtiaq

Proving things about Biology

Samin Ishtiaq is Principal RSDE in the Programming Principles and Tools group at Microsoft Research Cambridge. He currently works on the SLAyer (Separation Logic-based memory safety for C programs), TERMINATOR (program termination) and BMA (analysis of gene regulatory networks) projects.

Samin joined MSR in April 2008. Before that, during 2000-2008, he worked in CPU modeling and verification at ARM, helping to tape-out the Cortex A8, Cortex M3 and SC300 processors, and the AMBA bus protocol checker. Samin has an MEng from Imperial and a PhD in dependent type theory from Queen Mary.


Lindsey Kuper

LVars: lattice-based data structures for deterministic parallel and distributed programming

Lindsey Kuper is a programming languages researcher, recidivist Hacker School resident and co-founder and organizer of !!Con. She completed her Ph.D. in computer science at Indiana University in 2014 and now lives in California with her husband and their two cats.

 

 


Chris Martens

Modules and Abstraction

Chris Martens is a Ph.D. student at Carnegie Mellon University. She builds and studies programming languages for experimental game design. Her broad research interests include type theory, logic programming, and interactive fiction.


Sebastien Mondet

Managing Bioinformatics Pipelines Within OCaml

Sebastien Mondet is a computer scientist in the Hammer Lab at Mount Sinai. His previous experience includes working for a DNA sequencing facility, a PhD and postdoc in distributed multimedia systems, and avionics software engineering. His pursuit of better software engineering practices has lead him towards languages like OCaml whose type systems provide rich static analysis capabilities.