
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
ID: 1174787533630300162
https://users.soe.ucsc.edu/~tsorensen/ 19-09-2019 20:49:16
524 Tweet
1,1K Takipçi
880 Takip Edilen

Shrutarshi Basu 🇺🇳
@basus
Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.
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.
Matthew Yglesias
@mattyglesias
Slow Boring, cohosting politix.fm, Bloomberg columnist
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Bryan Johnson
@bryan_johnson
Conquering death will be humanity’s greatest achievement.
billions of packets
@justinesherry
Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Ezra Klein
@ezraklein
Columnist, @NYTOpinion Author, "Why We're Polarized" Host of "The Ezra Klein Show" podcast
Thee Anthony Fantano
@theneedledrop
The Internet's busiest music nerd. Sexyy Red scholar. linktr.ee/theneedledrop / BOOKING & BIZ: [email protected]
Dr. Matias Valdenegro Toro
@mvaldenegro
Tenured Asst Prof at the @univgroningen, Uncertainty in ML, Robotics, Chilean, Photographer, Feminist, Snoopy lover, Dr #latinXinAI
Andrej Karpathy
@karpathy
Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets 🧠🤖💥
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Michael McLoughlin
@mbmcloughlin
Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
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.
Kate Gregory
@gregcons
I advise, develop, mentor, write, and speak. C++ mostly. One of the Carbon leads. Limited avail; you can ask. gregcons.com/SpeakerKit.aspx She/her.
Giulia Guidi
@giuliaguidi
@CornellCIS Assistant Professor | @LBNLcs Affiliate Faculty | @UCBerkeley PhD | Distributed & Parallel Computing (HPC) | Dogs, Skis, Pottery | she/her
Vivek Galatage
@vivekgalatage
building browsers • cs teacher on weekends • ❤️ os, compilers, langs • chromium, webkit contributor • founding engineer @browsercompany • views personal
Tianyin Xu
@tianyin_xu
Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Andrew K. Hirsch
@andrewkhirsch
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Naums Mogers
@naummo
Software Engineer at @Google (compilers for TPUs), PhD (@InfAtEd). Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Kirshanthan Sundararajah
@kirshanthan
Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Ram
@ramakrishnan13s
Assistant Professor in CSE @ucsc. @UMich PhD. Previously @Citizenlab @Cloudflare. He/Him. Opinions my own.
Shaukat Ali
@shukat_ali
Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory. Tweets about academia and food!
Sankha Narayan Guria
@ngsankha
Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
priya joseph
@ayirpelle
geek, entrepreneur, 'I strictly color outside the lines!', opinions r my own indeed. @ayirpelle , universal handle at this time
Flywings
@flywingss
.NET Developer 🚀 | CGI & VFX adept🌋 | Discipline and Consistency | Continuously learning | Gamer | LOVE PLAYING WITH C#
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Vaibhav Upadhyay
@vaibhavxlr
SWE @PhonePe
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Kenneth Marino
@kenneth_marino
Incoming Prof at University of Utah Computing Fall 2025. Research Scientist at DeepMind, Machine Learning/Computer Vision researcher
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Sharad Agarwal
@shad1126
PhD Candidate @uclcs @uclisec @ucl | Fighting Scams @StopScamsUK | Created csphdfellowships.org | Prev @BristolCyberSec @CMSexperiment @CERN @CERNopenlab
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
TechNative
@technative
Articles, webcasts & interviews on disruptive trends in your industry.
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Nikolaj Bjorner
@bjornernikolaj

Mateusz Kielan
@devsh_gfx_prog
Benevolent Dictator of Nabla a Vulkan Framework and HLSL library: github.com/Devsh-Graphics…
Crocodile Cam⚡️🇨🇻
@crocodilecam
Animal conservationist// if you like learning about animals this is the page for you// ΩΨΦ //father of 17 //
Latif Siddiq Sunny
@lsiddiqsunny
PhD Candidate @ND_CSE, CS Undergrad @buetacbd, Incoming Intern @meta, Ex-intern @Cummins, Research Interest: Software Security & Applied Machine Learning.
imreallyimportant
@imreallyimprtnt
Twitch streamer talking politics M-F twitch.tv/imreallyimport… | TikTok for live debates tiktok.com/@imreallyimprt… | Email: [email protected]
InteractivePolls
@iapolls2022
🗳️ Polling and Prediction Markets Aggregator 📊 Live, unbiased election forecasts: polymarket.com/elections
out of context 30 Rock
@30rockposts

Dean Withers
@itsdeaann
modern american patriot | i stream daily on tiktok and youtube👇🏼
Criminalsimpsons
@criminalsimpson
the gangsta who’s dissin’ your flygirl.
Dong Chen
@jameschennerd
Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Jay Alammar
@jayalammar
Writer jalammar.github.io. O'Reilly Author LLM-book.com. LLM Builder @Cohere. Visualizing AI one concept at a time.
Maria José Solano
@mariasolanoos
Sometimes I say smart stuff.
Peipei Zhou
@peipeizhou_eecs
Tenure-track Assistant Professor at Brown University. Ph.D. CS @UCLA (2019), M.S. ECE @UCLA (2014), B.S. ECE Southeast University, Nanjing (2012)
Sharven Wong
@sharvenw
Assistant Professor in Software Engineering. Once a visiting scholar at Southern University of Science and Technology (Shenzhen).
Jonathan Ullman
@thejonullman
Associate Professor of Computer Science @KhouryCollege @Northeastern. Probably an imposter.
Shadman Soudho
@soudho_shadman
Hey ,I am Soudho.Currently ,I am persuing my bachelor in CS from @BracU.Learning about @RL and @CV||Undergraduate Teaching Assistant @BRAC
Jerry Yin
@jerryyin777
B.A. @UMNComputerSci | Contributor of LLM Yi & SenseNova5o|ex-Intern @ 01.ai @ THUNLP @ SenseTime | MLSys & LLM | CUDA & Triton
Adrian Herrera
@0xadr1an
Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Varun Chandrasekaran
@varunchandrase3
Opinions are my own. Professing @ECEILLINOIS. Alumnus: @MSFTResearch @WisconsinCS, @nyuniversity. Interested in *most* things S&P. he/him
Ahan Gupta
@ahangupta13
Computer science PhD student @UIUC. Ex Google DeepMind & Citadel.
Alex Pan
@aypan_17
CS PhD @UCBerkeley working on LLM safety and interpretability
Sanya Srivastava
@sanya_sriv
CS Ph.D. student @DukeU | CSE MS @UCSC
Shinie Aggarwal
@shinie_aggarwal
Computer Science and Engineering | Computer Vision | Deep Learning | Satellite imagery | Leetcode
Sarah Fakhoury @ ICSE25
@fakhourysm
Senior Researcher @ Microsoft Research. Trustworthy AI4Code, Developer-AI interaction. Views are mine. 🇱🇧
andutu
@anduturacila
breaking assumptions. SWE at Amazon.
anjin_sama
@sillychap101
GPU-lover
Bill Njoroge
@bnjorogedev
distributed systems, cloud infra , databases + nba. opinions=mine. 🇰🇪
Yuzhou Fang
@y3s0n
Ph.D. student @CSatUSC. Software Engieering/Formal Methods/Programming Languages Opinions are my own.
Nimisha Karnatak
@karnataknimisha
PhD in Computer Science @UniofOxford || Student researcher @GoogleDeepMind || Former Research Fellow @MSFTResearch|| Area of Research: Human-AI Interaction
opdroid1234
@opdroid1234
Slow thinker. Slow walker. Slow Talker