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.

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/

CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.

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