Chandrakana Nandi
@chandrakananan
Director of US R&D, Certora Inc.
Affiliate faculty, Allen School, UW, Seattle
ID: 1272911538110660608
http://cnandi.com/ 16-06-2020 15:19:33
151 Tweet
597 Followers
212 Following
Bor-Yuh Evan Chang
@bechang
Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Vinod Grover
@vinodg
Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Colin Gordon of Mastodon
@csgordon
CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Manu Sridharan
@rakingleaves
Professor @UCR_CSE doing research in programming languages and software engineering. discuss.systems/@manusridharan BSky: @manu.sridharan.net
Andrew Miller
@socrates1024
product larp @ teleport.best 🛡️ oauth3 core dev 🛡️ dstack integrations 🛡️ warpcast.com/socrates1024
Neha
@neharungta
Applied Science Director, AWS @[email protected]
Arie Gurfinkel
@ariegurfinkel
Swarat Chaudhuri
@swarat
Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky
Kira Goldner
@kiragoldner
@kiragoldner.bsky.social Assistant Professor @BU_CDS EconCS | Theory of CS | @MD4SG co-founder Prev @Columbia @uwcse @oberlin. Views are mine alone.
Aws Albarghouthi 🍉 أوس
@awsto
computer scientist, professor, palestinian
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
Max Willsey
@mwillsey
asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
Michael Greenberg
@mgrnbrg
Carly Revier
@carlidew
Alexandra Silva
@alexandra8silva
Computer scientist, loves traveling and food tasting!
Tom 7
@tom7
lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Umang Mathur
@mathur_umang
Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Philip Zucker
@sandmouth
Computer Friend, Not a Bird
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Fabian Muehlboeck
@fmbck
Computer Science Lecturer at the Australian National University, interested in Programming Language Design
Deian Stefan
@deiandelmars
Security & PL at UCSD, co-founder @cubistdev
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Ben Greenman
@ben_greenman
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
Eli Rosenthal
@ezrosent
I work at Google, views are my own | hobby projects at github.com/ezrosent | he/him
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Nikolaj Bjorner
@bjornernikolaj
Marisa "Long Middle Name Looks Cool" Kirisame
@marisaverymoe
github.com/MarisaKirisame
¬¬Mike (Deyuan) He
@1shl10
3rd-year PhD @PrincetonCS PL Group; PL/Systems; Prev @AWSCloud @Intel @Taichi_Lang @uwplse
SIGPLAN-M
@sigplanm
We form long-term cross-institutional mentoring connections in the programming languages community.
Amir Shaikhha
@ashaikhha
Associate Professor (Reader) at Edinburgh, Former PhD Student at EPFL and Lecturer at Oxford, Interested in Databases, Programming Languages, and Compilers
CloudEllie
@cloudellie1
Building community + securing Web3 at @code4rena. Aspiring shitposter / actually earnest.
Margaret Li
@margs_li
👩💻 PhD student @UWCSE / @UWNLP & @MetaAI. Formerly RE @FacebookAI Research, @Penn CS | 🏂💃🧋🥯 certified bi-coastal bb IAH/PEK/PHL/NYC/SFO/SEA
Krishna Nandivada
@nvkrishna77
Faculty at IIT Madras
Derek
@dhsorens
mathematician and theoretical computer scientists, formally verifying smart contracts
Abhik Roychoudhury
@abhikroychoudh1
Professor of Computer Science at National University of Singapore
Julian Sutherland @EthDenver
@juleksu
PhD @imperialcollege. Head of formal verification @nethermindeth
Secure Staking Alliance
@stakingsecurity
A cross-industry collaboration to develop open standards for designing, building, and running secure validator infrastructure
Elizabeth Dinella
@eadinella
CS prof @brynmawrcollege. I like dev tools and machine learning.
Sophia Drossopoulou
@drossopoulou
Computer Scientist, Prof. at Imperial College
Johannes Späth
@johspaeth
Nikhil Swamy
@lambdanik
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Saul Shanabrook
@sshanabrook
Starting PL PhD at UW in 2025. Python OS scientific computing world @ Quansight and Lineapy open for consulting
Audrey Seo
@audreyleeseo
Artist, designer, programmer. current 2nd year phd student in the PLSE lab @uwplse. union steward for UAW 4121. Wellesley College ‘2020
LB
@loblonn
Vishal Canumalla
@vcanumalla
phd at stanford, prev at uw cse
Yura
@yuradmt
aligned. modular. intersubjective.
Anastasia Isychev
@izycheva
postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
Shelly Grossman
@shellygr15
CTO @CertoraInc - Making trustworthy Smart Contracts a reality!
vollmerm
@ma_vollmer
lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Di Wu
@diwu1990
Assistant Professor @ UCF | PhD @ UW-Madison | BS/MS @ Fudan. I research computer architecture. Views are my own.
Yongwei Yuan
@yuanyongwei
Ph.D. student in Programming Language, Purdue yongweiy.github.io
Théo Winterhalter
@winterhalter_t
Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Ian Sweet
@completelysound
Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Eric Hayden Campbell
@ericthewry
Cornell PhD Candidate in PL/Verification/Networking -- Also Dancer, Casual Musician, Linguistics Enthusiast (he/him)
Tobias Grosser
@tobias_grosser
Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. mastodon.social/@grosser
Tyler Sorensen
@tyler_ucsc
Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems