SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
People (7 results)
small-avatar

Ana María Díaz Castillo

Teach for All

… …

Marcel Moosbrugger

Marcel Moosbrugger

TU Wien

… are all around us and influence our daily lives. Using formal methods can not only …

Işıl Dillig

Işıl Dillig

University of Texas at Austin

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

Pavel Panchekha

Pavel Panchekha

University of Utah

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

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

Michel Steuwer

Michel Steuwer

University of Edinburgh

… from the University of Münster in Germany.

I am interested in all aspects …

Christian Wimmer

Christian Wimmer

Oracle Labs

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