… Hi, I’m a PhD student at the University of Copenhagen interested in all things type systems, functional programming, and compilers …

… a handful of open source software libraries. Most (if not all) of my work is available …

… all her degrees (BS, MS, and PhD) from Stanford University. …

… as a professional contrarian who delights in poking holes in the work of others, all while …

… programming language techniques to meet challenges from all areas of computer science. …

… (model checking), fuzzing, model based testing, and runtime verification across all …

… in Computer Science and Mathematics (double major) and an MS in Computer Science, all …

… automation, given a program and a requirement, automatically prove or disprove that all …

… is a solver-aided language that powers verification and synthesis tools for all …

… 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 …

… 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 …

… ”). He is the author of several LaTeX packages and Common Lisp libraries.

All …

… speaker at conferences all over the world. His mission is to fix software …

… Labs](http://labs.oracle.com/) to a supported Oracle product. He believes that all …

… languages and compilers, all of which combine language design and sophisticated …

… challenges at SC, ISC, and ASC. In 2015 and 2018, the team led by him swept all three …