ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
People (4 results)
David Allsopp

David Allsopp

Tarides

… Principal Software Engineer at Tarides. Active in OCaml as an opam maintainer and OCaml core developer. Interested in all aspects of OCaml and its ecosystem on Microsoft …

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… is a future of verification that is accessible to all programmers, not just to experts. I …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Marco T Morazan

Marco T Morazan

Seton Hall University

… Dr. Marco T. Morazán joined Seton Hall in 1999. He did his undergraduate studies at Rutgers University and his graduate work at the City University of New York. At Seton Hall he teaches at all levels of the Computer Science curriculum …