Search people for 'all'
![Michael B. James](https://2021.splashcon.org/getProfileImage/michaelbjames/abad95ea-c641-4117-9089-1d0e42582922/small-avatar.jpg?1711497940000)
Michael B. James
University of California at San Diego
… to help other engineers and make programming easier for all. …
![Dimi Racordon](https://2021.splashcon.org/getProfileImage/dimiracordon/34c4ca17-6982-4296-b07e-bf677f14c410/small-avatar.jpg?1716055604000)
Dimi Racordon
University of Geneva, Switzerland
… libraries. Most (if not all) of of his work is available on my GitHub profile. …
![Işıl Dillig](https://2021.splashcon.org/getProfileImage/isildillig/2af8547c-aab3-4ac9-9c81-030710f6b51b/small-avatar.jpg?1711454652000)
Işıl Dillig
University of Texas at Austin
… all her degrees (BS, MS, and PhD) from Stanford University. …
![Juri Di Rocco](https://2021.splashcon.org/getProfileImage/juridirocco/a29ab495-ea84-4f82-8de6-d3fb8757b665/small-avatar.jpg?1720596320000)
Juri Di Rocco
University of L'Aquila
… research team with Alfonso Pierantonio and Davide Di Ruscio. I am interested in all …
![Lidia Fuentes](https://2021.splashcon.org/getProfileImage/lidiafuentes/6658ae48-d863-455e-9634-839fdbc3d6c5/small-avatar.jpg?1711514238000)
Lidia Fuentes
Universidad de Málaga, Spain
… Prof. Lidia Fuentes received her MsC degree and a PhD in Computer Science, from the Universidad de Málaga. She has done all her teaching work at the Department Lenguajes y Ciencias de la Computación since 1993, being the first female Full …
![Hasan Yasar](https://2021.splashcon.org/getProfileImage/hasanyasar/7250dfcf-8f45-4d5c-b9ca-e41b2ff104a4/small-avatar.jpg?1711685011000)
Hasan Yasar
Carnegie Mellon University
… as senior security engineer, software engineer, software architect and manager in all …
![Kia Rahmani](https://2021.splashcon.org/getProfileImage/kiarahmani/e1332ddb-3ed7-4e2f-8033-d29da9ae921d/small-avatar.jpg?1711791834000)
Kia Rahmani
Purdue University
… broadly, I am interested in all formal methods for modeling and analysis …
![Talia Ringer](https://2021.splashcon.org/getProfileImage/taliaringer/e2276c90-0c20-4b11-a5c2-fc1b2af4a456/small-avatar.jpg?1711483830000)
Talia Ringer
University of Illinois at Urbana-Champaign
… vision is a future of verification that is accessible to all programmers, not just …
![Mooly Sagiv](https://2021.splashcon.org/getProfileImage/moolysagiv/17a6c1de-acc6-4475-997a-dd6cfccb624c/small-avatar.jpg?1711469273000)
Mooly Sagiv
Tel Aviv University
… automation, given a program and a requirement, automatically prove or disprove that all …
![Michel Steuwer](https://2021.splashcon.org/getProfileImage/michelsteuwer/cd841379-9327-49e2-8b59-8cb47bf592a2/small-avatar.jpg?1714375089000)
Michel Steuwer
University of Edinburgh
… from the University of Münster in Germany.
I am interested in all aspects …
![Christian Wimmer](https://2021.splashcon.org/getProfileImage/christianwimmer/b676fc5e-10b7-4f65-bed4-12404220c2fa/small-avatar.jpg?1711477717000)
Christian Wimmer
Oracle Labs
… /) to a supported Oracle product. He believes that all languages should be equally fast …
![Shriram Krishnamurthi](https://2021.splashcon.org/getProfileImage/shriramkrishnamurthi/87777335-c154-4d5a-b475-2a60d3c7aa16/small-avatar.jpg?1711463097000)
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 …
![Dave Abrahams](https://2021.splashcon.org/getProfileImage/daveabrahams/66832ccf-7872-4e57-9feb-87a325a72360/small-avatar.jpg?1711470504000)
Dave Abrahams
Adobe
… speaker at conferences all over the world. His mission is to fix software …
![Didier Verna](https://2021.splashcon.org/getProfileImage/didierverna/38d2e620-0bb6-4866-8228-63610b04c1a4/small-avatar.jpg?1711467555000)
Didier Verna
EPITA / LRDE
… ”). He is the author of several LaTeX packages and Common Lisp libraries.
All …
![Saman Amarasinghe](https://2021.splashcon.org/getProfileImage/samanamarasinghe/8cc59338-c985-454e-a2fd-c044b8fa376a/small-avatar.jpg?1711465301000)
Saman Amarasinghe
Massachusetts Institute of Technology
… languages and compilers, all of which combine language design and sophisticated …
![Danny Dig](https://2021.splashcon.org/getProfileImage/dannydig/bdcc2781-3408-4ba5-9745-9222f2f9314e/small-avatar.jpg?1711488701000)
Danny Dig
University of Colorado Boulder, USA
… ), and served as a member of 35 program committees for all top conferences in his area …
![Viktor Kunčak](https://2021.splashcon.org/getProfileImage/viktorkuncak/344af6cc-dad8-4c07-91f9-cfb9e54fa6c8/small-avatar.jpg?1711460086000)
Viktor Kunčak
EPFL, Switzerland
… by thousands of students from all over the world. …