Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
Recovering Lawyer. President, @chkbal.bsky.social. Host of the "George Conway Explains It All to Sarah Longwell" podcast on @thebulwark.com.
In-depth, independent reporting to better understand the world, now on Bluesky. News tips? Share them here: http://nyti.ms/2FVHq9v
MSNBC anchor/co-host of The Weekend: Primetime, Sat/Sun 6-9pm. Fmrly WashPost syndicated op-ed columnist. Currently on parental leave.
Econ, politics, immigration, tax, etc. + occasional theater nerdery.
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
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.
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden.
Research Group: http://mpi-softsec.github.io
Security researcher with an interest in formal methods.
Building fuzzers @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
The ACM Special Interest Group on Programming Languages.
Assistant Prof. at UC San Diego. Helping people write better software.
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
(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
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
