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

… Hi, I’m currently an Imperial College London PhD student in the Circuits and Systems Group, under the supervision of Professor George Constantinides. My research looks at all aspects of numerical hardware design and how we can create fast …

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

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

… /) to a supported Oracle product. He believes that all languages should be equally fast …

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