Nadia Polikarpova @polikarn
Associate prof @ucsd_cse. Building tools for program verification and synthesis. cseweb.ucsd.edu/~npolikarpova/ San Diego, CA Joined January 2015-
Tweets1K
-
Followers3K
-
Following287
-
Likes3K
@bimalrajgyawali @KonsKallas Really excited to welcome you to UCSD!
0
0
4
744
0
View Details
We are recruiting participants for a user study on AI coding assistants . The study will be remote and take ~60 minutes. Participants will be compensated with a $30 amazon gift card. Please fill out the interest form if you'd like to participate! forms.gle/niXQHv7F2YU96E…
@LambdaLinguist @ucsd_cse true! there's nothing from 2022, but that wasn't a music video, so it doesn't count :) thanks a ton, love the selection!
@LambdaLinguist @ucsd_cse BTW, you gotta send me that "thank you" slide from your defense talk, I'll replace my whole homepage with it😊
@LambdaLinguist @ucsd_cse Aww, thank you! I think I was mainly just distracting you from doing the user-centric work you always wanted to do and were so good at!😆
Give Alexey Navalny's body to his mother
The year was 2024. Microsoft Excel, equipped with a fancy AI assistant for generating formulas from natural language, still could not open two workbooks with the same name at the same time.
Там же адреса штабов (они есть и во многих странах за пределами России). В первый раз в истории есть шанс успешно провести честный сбор подписей на федеральном уровне, это само по себе будет очень круто, вне зависимости от того, что на это скажет ЦИК. Давайте поднажмем, друзья!
Осталось всего три дня, чтобы поставить подпись в поддержку Бориса Надеждина, *единственного анти-военного кандидата* на предстоящих президенских выборах. Вот здесь nadezhdin2024.ru/addresses можно посмотреть, в каких регионах пока не собрали необходимые 2500 подписей.
And here's my favorite part of the race 😊
@lorisdanto @ucsd_cse Finally I can tell the whole world how psyched we are about this!!!! Looking forward to building the program synthesis powerhouse that this department is meant to be😃Welcome Loris!!!
@lorisdanto srsly dude, you should move here
@lorisdanto meanwhile in San Diego: just got the first batch of cherry tomatoes from my rooftop garden 😃
Nadia Polikarpova retweeted
PhD students interested in an exciting summer #internship opportunity at @MSFTResearch working on scripting #ArtificialIntelligence with an incredible team please apply to this position: linkedin.com/posts/ben-zorn… #ProgrammingLanguages #LargeLanguageModels #MachineLearning
Nadia Polikarpova retweeted
PhD students interested in an exciting summer #internship opportunity at @MSFTResearch working on task automation for data-centric tasks using #ArtificialIntelligence with an incredible team please apply to this position: linkedin.com/posts/ben-zorn… #Spreadsheets
@georgemporter @UCSDJacobs @skateprofessor @niemasd @adalbertgerald thanks! proud to be in this excellent company :)
Nadia Polikarpova retweeted
We are always looking for new mentors to help guide aspiring and current programming languages researchers. Please sign up if you'd like to help: docs.google.com/forms/d/e/1FAI…
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Ilya Sergey @ilyasergey
8K Followers 979 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Graham Hutton @haskellhutt
9K Followers 699 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Nikolaj Bjorner @BjornerNikolaj
1K Followers 312 Following
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Aws Albarghouthi @awsTO
2K Followers 1K Following
José Manuel Calderó... @josecalderon
2K Followers 865 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Lizaveta Babior @lizavetababior
3 Followers 40 Following
Lulu BeauBeau @Yenerka59810987
18 Followers 3K Following living my best life, just missing a cute boy to annoy
dilek hakkani-tur @dilekhakkanitur
679 Followers 220 Following Professor of Computer Science @UofIllinois, @convai_uiuc, @uiuc_nlp, @IllinoisCDS
Sukrit Mangla @SukritMangla
2 Followers 121 Following
Random User @RandomU09089341
3 Followers 152 Following
john @john63591720821
268 Followers 1K Following
Godfrey Mitchell @Godfrey7678
109 Followers 4K Following Life is a journey of growth, love, and discovery — make every moment count.
Bibek Dhakal @bbk_dkl
14 Followers 279 Following Learning and Pushing boundaries in intelligent systems and code. Views my own. Machine Learning | AI | Software Engineering
Tee Kay (TK) @0xtejasvi
158 Followers 445 Following Smart-Contracts,PM,GTM,Risk-Quant,Content, Reply-guy,Janitor @Luminosity_SVM prev. @catoffgaming , @touchgrass_pod
taku @taku56799137
16 Followers 221 Following
Brian @RhetoricNoob
348 Followers 2K Following A.I. Strategist / Strategic A.I. Interrogator / Interrogative A.I. Ethicist / A.I. Ethics Innovator and Visionary / Quantumtative Lit and Applied Theology
Michael Kirsten @mi_kirsten
2 Followers 24 Following PostDoc CS researcher @LMU_Muenchen 🇩🇪. Follow me on https://t.co/7URNaTD4Fl to find out more 😃. (he/him)
Rajiv Singh @therajiv
4K Followers 5K Following sde 3 @maersk | gsoc | gsod | lfx | icpc regionalist | just sharing whats on my mind this is my life the wins the mess the mindset the data opinions mine alone
Junmin Jang @Jangjunmin34033
0 Followers 16 Following
Ricky Rolon @Rick7466Ricky
153 Followers 484 Following
Zhicheng Huang @HuangOfAKind
80 Followers 267 Following PhD student @DesignLabUCSD, prev HCI @BrownUniversity and 〽️ichigan
hellwolf @hellwolf2025
116 Followers 223 Following Co-founder of @Superfluid_HQ. Building and using @yolc_dev for Ethereum and Superfluid. Love to hang around in the Haskell community, too.
sus @susanhsrestha
16 Followers 115 Following
Teng Jiang @TengSJiang
172 Followers 491 Following PhD in CS @ UCLA. OS | Systems in general. Previously @ Columbia University. Wannabe chill guy but busy-spinning. Trying to focus but preempted too often.
Aditya Bantwal @adityabantwal
221 Followers 3K Following MSc Algo cheminformatics @CITEC_Bielefeld@unibielefeld. Interested in graph theory, formal logic, and algorithmic cheminformatics.
Matthew G Hall @Ha99504G
24 Followers 367 Following
Alekhya @Lavanya06467716
131 Followers 4K Following Working for Aver Conferences as a Program Manager for the upcoming "4th Tech Summit on AI & Robotics, September 28–30,2026 | Paris, France + Virtual
Evangelos Lamprou @vagozino
48 Followers 737 Following
Jamestfguo @FeeT66388055
1 Followers 39 Following
Xyz Ang @uzddox9_iiL
7 Followers 480 Following
Richard Kelley @richardkelley
1K Followers 4K Following Roboticist. Clinical assistant professor of computer science at @CatholicUniv.
Giorgos Kappes @GiorgosKappes
6 Followers 186 Following Postdoc Researcher @ CSL, University of Ioannina | Co-founder @ Polytropo Systems | Cloud Systems Builder
Pocket @PocketPriors
1K Followers 3K Following
scaramouche @ratperson98154
81 Followers 7K Following
Aalok Thakkar @AalokDThakkar
1K Followers 655 Following Assistant Professor of Computer Science at @AshokaUniv. Views and comments are mine and do not reflect the stance of my institution.
Dongyu Gao @dy24775307
12 Followers 493 Following
Jay Lee @ZetaJayLee
32 Followers 118 Following Programming programming languages • Incoming CS PhD @ UC Berkeley • CSE MS & ECE BS @ Seoul National University
Burny - Effective Cur... @burny_tech
19K Followers 10K Following On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. https://t.co/mMchI2d4pg Upskilling @StanfordOnline
FSTTCS 2026 @fsttcs
106 Followers 65 Following The 46th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @iitdelhi. Tweets by @AalokDThakkar and @akhileshbalaji_.
Wen Cui @Wen__Cui
14 Followers 1K Following
Bishnu Bhusal @_bhusalb
129 Followers 641 Following
[email protected] | (sp... @k0nn0v
500 Followers 563 Following Independent security and formal methods researcher. Formal specifications in TLA+/Quint/Lean. Model checking, fuzzing, and AI-assisted testing.
usif @usifelsheikh
6 Followers 83 Following
Luca Negrini @lucaneg7
19 Followers 113 Following PhD in Computer Science | Static Analysis Specialist | Assistant Professor @ Ca' Foscari Univeristy of Venice
Gil Rapaport @GilRapaport1
10 Followers 517 Following
Luke Ong @ong_luke
29 Followers 153 Following
Viola Liu @ViolaLi49171873
1 Followers 65 Following
ivangavran @ivan00gavran
77 Followers 275 Following
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 979 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Nikolaj Bjorner @BjornerNikolaj
1K Followers 312 Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Aws Albarghouthi @awsTO
2K Followers 1K Following
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
Yaron (Ron) Minsky @yminsky
22K Followers 367 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Christo Grozev @christogrozev
546K Followers 1K Following Investigative journalist (Spiegel, The Insider, ex-Bellingcat). Hobby coder, hobby movie-maker. Blocks for #whatabout https://t.co/3kUwYLHXoL
Lakshya A Agrawal @LakshyAAAgrawal
5K Followers 4K Following PhD @ UC Berkeley | @gepa_ai Creator | Created https://t.co/YxPZsXZJeS | AI4Code Research Fellow @MSFTResearch | Hobby Saxophonist
Тамара Эйде... @tamaraeidelman
83K Followers 49 Following историк, педагог, писатель, переводчик, радиоведущий и блогер. Заслуженный учитель Российской Федерации, иностранный агент Нет войне! 💙💛
Maria Pevchikh @pevchikh
300K Followers 830 Following Head of Investigations Chairwoman of the Board ANTI-CORRUPTION FOUNDATION https://t.co/kmT6yy1eX4
Rati Gelashvili @rgelash
38K Followers 689 Following Concurrency 🥷 prev blockchain research @aptoslabs, @novi. even prior eng team lead @neuralmagic, PhD @mit.
Maria Christakis @mchri5taki5
674 Followers 317 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Шульман @eschulmann
185K Followers 17 Following Российский политолог. Специалист по проблемам законотворчества.
Максим Кац @max_katz
355K Followers 350 Following Телеграм канал: https://t.co/XNcER1iYHF, личный: https://t.co/hvMd8ve9Zr разбан: https://t.co/6cQ5DfnPyh
Maddy Bowers @mattlbowers
394 Followers 617 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
NKrakoski @NatalieKrakoski
5 Followers 55 Following
Audrey Randall @AudreyRandall0
96 Followers 298 Following Triathlete, computer scientist (security/Internet measurement), PhD, maker of parody music videos and lover of Colorado mountains.
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
John Wickerson @wicko3
1K Followers 775 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Михаил Кась... @MKasyanov
78K Followers 417 Following Председатель Партии народной свободы, ПАРНАС. Председатель Правительства России в 2000-2004 годах
Ryan Kastner @rck289
120 Followers 191 Following Profess, research, teach, lather, rinse, repeat. Professor: @ucsd_cse @UCSDJacobs Co-founder: @cycuity Photo credit: AdaK
Blair D. Sullivan @BlairDSullivan
302 Followers 52 Following Professor, Kahlert School of Computing, University of Utah
Anders Miltner (@amil... @AndersMiltner
471 Followers 444 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
Sam Madden @samrmadden
3K Followers 435 Following Professor, MIT EECS and Chief Scientist, Cambridge Mobile Telematics
Dev @Dev14e
1K Followers 863 Following no time for facts, vibes only. washed up, has been grad student
Richard Eisenberg @RaeHaskCaml
3K Followers 144 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
UC San Diego @UCSanDiego
55K Followers 3K Following The official Twitter account for the University of California San Diego. Our most cherished tradition is challenging tradition.
Leo Lampropoulos @LeoLambro
1K Followers 614 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Judy Fan @judyefan
6K Followers 1K Following Cognitive scientist seeking to reverse engineer the human cognitive toolkit. Asst Prof of Psychology @Stanford.
Josh Pollock @joshmpollock
901 Followers 639 Following CS PhD Student @MIT_CSAIL @mitvis. Using PL, HCI, and Vis to build better systems. https://t.co/xulVbZqIsS 🐟
Tobias Gerstenberg @tobigerstenberg
4K Followers 817 Following Tea drinking assistant professor in cognitive psychology @Stanford. Please find me on 🦋: https://t.co/BxTuulnNkw
Lidia Perovskaya @lperovskaya
1K Followers 529 Following Competitive programming enthusiast. ITMO alumni, ex Yandex, ex VK, VR fan
Robert Rand @certifiablyrand
337 Followers 214 Following Quantum PL prof at UChicago. Trying to stick to academic content. (This place is dangerous. Please be generous and kind.)
Borzoo Bonakdarpour @TheBorzoo
506 Followers 234 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
Chandrakana Nandi @ChandrakanaNaN
664 Followers 208 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Bodhisattwa Majumder @mbodhisattwa
3K Followers 877 Following I lead AI x Discovery @allen_ai. 🧬 Agents + Search. @AdobeResearch Fellow. Prev Google, MSR, Meta. PhD @ucsd_cse.
Alexander Masalskikh @rusalmas
81 Followers 459 Following
Jubi Taneja @jubitaneja
2K Followers 2K Following Working @gimletlabs | Prev @MSFTResearch. Ph.D. @UtahSoC | ML compilers, Formal Verification, AI for Compilers
Andreea Costea @andre_costea
130 Followers 177 Following formal verification, languages, and OCaml enthusiast @TUDelft, former @NUSComputing
James @siderealed
920 Followers 231 Following
R. Lisa Huang @rlisahuang
167 Followers 115 Following PL+HCI @ucsd_cse | @Wellesley '20 | She/her/她 | PhD Student by day, pianist/flutist by night. Building programming tools for tomorrow.
Sophia Drossopoulou @drossopoulou
479 Followers 56 Following Computer Scientist, Prof. at Imperial College
Nikhil Swamy @lambdaNik
784 Followers 203 Following
You might like
PLDI
@PLDI
5K Followers
Isil Dillig
@IsilDillig
4K Followers
Loris D'Antoni
@lorisdanto
9K Followers
Nate Foster
@natefoster
6K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Ilya Sergey
@ilyasergey
8K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Peter O'Hearn
@PeterOHearn12
2K Followers
Zachary Tatlock
@ztatlock
1K Followers
Ben Zorn (he/him) htt...
@benzorn
2K Followers
Jonathan Aldrich
@JAldrichPL
5K Followers
ICFP Conference
@icfp_conference
4K Followers
Kristopher Micinski -...
@krismicinski
7K Followers
Andrew Myers
@AndrewCMyers
5K Followers
Alexandra Silva
@alexandra8silva
2K Followers