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

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

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

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

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

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

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

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

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

All …

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

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

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

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