Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.

Mom, foodie, traveller, computer scientist

Sr. Distinguished Engineer @nvidia

Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)

https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems

assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/

actually just on Mastodon: https://discuss.systems/@adrian

Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust

Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/

Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/

cutler.pl

Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms

Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.

Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.

CS professor at UT Austin, does research in programming languages & formal methods.

incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/). building new languages and compilers to make hardware design fast, fun, and correct

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net

You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

Pidgin algebraist, baseball influencer https://slim.computer

(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in

Working on Probabilistic Programming Languages https://web.cs.ucla.edu/~poorvagarg/

🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/