Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Sr. Distinguished Engineer @nvidia
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
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/
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
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Programming Languages Researcher and Consultant
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
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.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Associate prof, MIT EECS/CSAIL 💻🔬🦥🧀🏋️♀️🎼🐈🎻🏳️🌈 he/him/his
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
actually just on Mastodon: https://discuss.systems/@adrian
CS professor at UT Austin, does research in programming languages & formal methods.
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.
🏳️🌈
she/her
PhD student @ uw cse
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
