Here are our speakers for C◦mp◦se :: Conference 2015.
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 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 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 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 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.
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 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 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 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.