Martin Kellogg
@kellogg_martin
PhD student at @uwplse, future assistant prof at @NJIT CS. I use verification techniques to solve real problems in software.
ID: 1214731252973989888
https://homes.cs.washington.edu/~kelloggm/ 08-01-2020 02:11:21
19 Tweet
231 Takipçi
313 Takip Edilen
Todd Austin
@toddmaustin
Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Laurie Williams
@lauriewilliams
Distinguished University Professor of Computer Science North Carolina State University
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Jeremy Bradbury
@jeremy_bradbury
Professor (@OntarioTechCS), Researcher applying #AI to Software Engineering & Education (@seer_lab). Passionate about #CSEd. Views are mine👨🏻💻🇨🇦 (he/him)
Zhendong Su
@zhendongsu
Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Aashiq Muhamed
@aashiqmuhamed
Machine Learning PhD at Carnegie Mellon @mldcmu Ex-Applied Scientist @amazon Search & @AWSAI @Stanford & @LTIatCMU MS and @iitroorkee President's Gold Medalist
Amit Seal Ami 🇧🇩
@amit_seal_ami
Ph.D. Candidate @williamandmary | Security | Software Engineering | COVES'22 Fellow @ JCOTS, Virginia | CoVA CCI Dissertation Fellow @[email protected]
Crista Lopes
@cristalopes
Jedi Master @[email protected] @cristalopes.bsky.social
Rajvardhan Oak
@oak_raj
ML @ Microsoft, Research @ UC Davis in Security, Privacy, Fraud, Abuse, Trust and Safety
Derek Dreyer
@herrdreyer
Get used to disappointment.
Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Sazzadur Rahaman
@sazzad_14
Assistant professor at @uarizona CS. Broad interests: System and software security. Views are mine (Nothing serious here, just to post and like memes).
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
Abhinav Jangda
@abhijangda
Sr. Researcher @RiSE_MSR. Computer Science PhD from UMass Amherst.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Akond Rahman
@akondrahman
Born in Chittagong, Bangladesh. Assistant Professor at Auburn University. Father. Son. Brother. Husband. Former intern at IBM Research, IBM, RedHat, and ABB.
Kirshanthan Sundararajah
@kirshanthan
Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Will Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.
Zhiyun Qian
@pkqzy888
Professor @UCRiverside. Research on system and network security.
Jubi Taneja
@jubitaneja
@[email protected]. Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC. ex-intern @mozilla. AI compiler, Superoptimizers, Verification.
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Adriana Porter Felt
@__apf__
I like writing silly Tweets, but that doesn't pay so I also make @googlechrome. mamá, eng director. volunteer @2ndharvest. 🇺🇸🇨🇷 she/her
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.
Saeed Siddik
@saeed_siddik
Grad Student, @asgaard_lab @UAlberta, Canada | @IIT_DhakaUniv, Bangladesh || Software Analysis, Empirical Software Engineering, Software Artifacts
Mariam Guizani, PhD
@mariam_gui
Assistant Professor @queensu 🇨🇦 | PhD @OregonState 🇺🇸 | SE & HCI | OSS | Fulbright Alumna | 🏃♀️Trail Runner | Multilingual | Former Intern @MSFTResearch
Baishakhi Ray
@baishakhir
Associate Professor, Columbia
Eric Pauley
@ericpauley_
NSF Graduate Fellow @WisconsinCS. Cloud/Internet/ML Security&Measurement. Advised by @pdmcdan. Co-founder/former CTO @Sendtric. Instrument-rated Private Pilot.
Keshav Bimbraw
@keshavbimbraw
Ph.D. Candidate, Robotics @WPI | @Google CSRMP 2021B | Prev: @merl_news @BellLabs @Bose @GeorgiaTech @iitdelhi @TIETofficial
Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location
Kazem
@kazemch
Computer science researcher
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Mehrab Bin Morshed
@mehrab_morshed
Ubiquitous Computing Researcher | Senior Research Engineer at @Samsung_RA | CS PhD @ICatGT @GeorgiaTech
Ben Greenman
@ben_greenman
Anders Miltner (@[email protected])
@andersmiltner
He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
Nikhil Muralidhar
@nikhilm_1
Asst. Professor CS Dept. @FollowStevens. Interested in Domain Informed Machine Learning, Transfer Learning & Domain Adaptation. Opinions my own...
WeRateDogs
@dog_rates
Your Only Source For Professional Dog Ratings Instagram and Facebook ➜ WeRateDogs [email protected] | nonprofit: @15outof10 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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
Software Practices Lab ([email protected])
@ubc_spl
We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
Maria Christakis
@mchri5taki5
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
anjali
@fakeagnu
🏳️🌈 she/her PhD student @uwcse
Jordan Samhi
@jordansamhi
Research Scientist at the University of Luxembourg 🎓🇫🇷 Software Engineering and Software Security
SIGPLAN-M
@sigplanm
We form long-term cross-institutional mentoring connections in the programming languages community.
Reshabh K Sharma
@reshabhsharma01
Everything is a compiler! PhD student @uwcse Opinions are my own!
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
陈隆 (Long Chen)
@jason_chen_long
Associate Professor at Institute of Software Chinese Academy of Sciences. Researcher of cryptography and blockchain.
Adharsh Kamath
@adharshkamath
PhD student @IllinoisCDS | Previous: @MSFTResearch @surathkal_nitk | PL, FM, SE, AI4Code, Systems
Sathvik Prasad
@sathviknp
Sangeeta Chowdhary
@schowdhary02
Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
Siyuan Zhang 🇺🇦
@murezsy_
PhD Student @OhioStateCSE @mvapich #MVAPICH #AI+HPC #HPC #MLsys #ComputerVision
recipl
@recipl_
Recipl.es from PL
DK Xu
@dongkuanxu
Asst. Professor @NCState. @SyntropixAI. @GentopiaAI. Fan of @Eagles & AGI.
Valerio Terragni
@valerioterragn1
Senior Lecturer (Ass. Prof.) in Software Engineering at @AucklandUni 🇳🇿 -- PostDoc 🇨🇭 -- PhD 🇭🇰 -- MSc and BSc 🇮🇹
"Online Rent-a-Sage" Bret Devereaux
@bretdevereaux
Ancient & military historian specializing in the Roman economy and military. PhD @UNChistory. More impressive credential is that I have beaten Dark Souls.
Leo Lampropoulos
@leolambro
Assistant Professor at UMD | Programming languages, random testing, and formal verification
Huaien ZHANG
@austinzhang_cs
CS Ph.D. Candidate @HongKongPolyU | System Software and Security
Jason Dou
@jasondou9
Founder. Postdoc in AI @Harvard, PhD in ML @PittTweet/@UPMC, Master from @Cornell, B.S. in CS @PKU1898 & @CarnegieMellon. Love life and entrepreneurship!
Aditya Dubey
@aditya_dubey5
Engineer who loves building stuff , resonates with music, always keen to build great products !
yingying zhu
@zyy72923475
assistant professor of computer science university of Texas Arlington machine learning computer vision medical imaging bioinformatics NLP
Sang Won Lee
@snaglee2401
Assistant Professor @VT_CS Research: HCI, Empathy, Collaboration, Liveness, Live Coding, #NIME. Previously, @eecsatmi,@GeorgiaTech, @Stanford, @SNUnow
Jaron Mink
@jaronmink
Asst. Professor @SCAI_ASU | PI @ the HappyResearchLab.com | PhD from @IllinoisCS | @NSF GRFP Fellow Secure Human-AI Interaction, Human Factors in Sec
Sean McLaughlin
@englishlabdad
Qian Lou
@qianlife22
Assistant professor at UCF; Former Sr. research scientist at Samsung Research; Private/Secure/Efficient Learning Systems