Swarat Chaudhuri
@swarat
Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. #ICLR2024 Program Chair.
ID:45724845
http://www.cs.utexas.edu/~swarat 09-06-2009 01:10:07
1,4K Tweets
2,5K Followers
557 Following
Loris D'Antoni
@lorisdanto
Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Shriram Krishnamurthi ๐ค ๐ดโโ ๏ธ ๐จ๐ฝโ๐ซ ๐ดโโ๏ธ ๐
@ShriramKMurthi
๐ฆฃ: @[email protected] โขโขโข @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketTalia Ringer ๐ฃ ๐๏ธ
@TaliaRinger
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/ืืื, ND, bi. ืื ืืืืืืฉBrendan Dolan-Gavitt
@moyix
Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn 'an orc smiling into the camera' โ CLIPIlya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationSatnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook}Andrew Myers
@AndrewCMyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Mayur Naik
@AI4Code
Professor and Graduate Chair @CIS_Penn. I work on neurosymbolic AI @ScallopAI and topics at the intersection of deep learning and symbolic reasoning.Kristopher Micinski
@krismicinski
@[email protected]. Tweets do not represent anyone's views, especially mine.Aws Albarghouthi ๐ ุฃูุณ
@awsTO
computer scientist, professor, palestinianNikolaj Bjorner
@BjornerNikolaj
Nate Foster (@[email protected])
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Suguman Bansal
@sugumanbansal
Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSciKC Sivaramakrishnan
@kc_srk
CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Alex Dimakis
@AlexGDimakis
UT Austin Professor. Researcher in Machine Learning and Information Theory. National AI Institute on the Foundations of Machine Learning (IFML) Co-director.Neha
@neharungta
Applied Science Director, AWS @[email protected]Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy ยท Core Developer, @racketlang ยท Member, @TC39 ยท Handler, @NaptownUltimate ยท @[email protected]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)Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMindShurtough
@ShurtoughouhuZ
Jamestown British Rep
@britishjamesrep
Customer ServiceCustomer Support โ๏ธ
@SupportSu81264
The official account of Customer Support we love to hear from you flight stories.Andrew Peter Manager
@managerAndr
United Airlines
@1Unitedair1ines
oidestio
@oidestio
On Twitter to learn about AI research and some related topicsโฝ(โขแดโข)โผ
@unrankedmage
Pasquale Minervini ๐ looking for postdocs!
@PMinervini
Researcher in ML/NLP at the University of Edinburgh (faculty @InfAtEd @EdinburghNLP), @ELLISforEurope, @UCL_NLP, PI for @Clarify2020, https://t.co/WydvfU8ugz he/theyLucas ๐ดโโ ๏ธ
@edchucation
building the foundation // @cerebral_valley // prev @dao_hq (exited), @metalab (@harvard research) & https://t.co/9Bt8leVR6ltechy
@cooltechbro_AI
Cool TechBro๐จThudes
@ThudesLlKjPu
Leia Glickson
@GlicksonLe64456
Amey Varhade
@ameyvarhade
@IITGuwahati @ibm_inPrime Intellect
@PrimeIntellect
Find compute. Train models. Co-own intelligence. https://t.co/3NC0duKF4a.NellyRoosevelt
@1p3dVBs2TevJ8b
Taylor Emge
@EmgeTay
Sharon Y. Li
@SharonYixuanLi
Assistant Professor @WisconsinCS. Formerly postdoc @StanfordAILab, Ph.D. @Cornell. Making AI safe and reliable for the open world.Tony
@Tony3254544328
Student in AI. Interested in reinforcement learning, robotics, LLMs, etc.Sarah Heitschmidt
@SarahHeits53972
Teagloysm
@TeagloysmSo6
Vit Zemanek
@vit_zemanek
Just thinking aloud.James Mooney
@JamesMo46534505
UMN CS PhD Student. Opinions my own.Leonie Lamber
@LamberLeoni
sagnikc
@sagnikcw
reality is distortionZhiyong Wang
@Zhiyong16403503
Visiting Ph.D. student at Cornell University. Ph.D. candidate at CUHK. Working on bandits and reinforcement learning theory.Bette Serles
@BetteSerle91929
NicolaNehemiah
@jy88N863SeCe7
Saurabh Srivastava
@_saurabh
Research in reasoning for better program synthesis (PhD, Postdoc, YC)David Vivancos - e/acc
@VivancosDavid
@iclr_conf 2024 | Teaching Machines | Advising Human CEOs | Building Neurotechs | Opening AI Events | My books: The End of Knowledge & Automate or Be AutomatedBrooke Hartup
@BrookeHartu
Brooke | 23 | Lets Chat๐๐Venkata Kesav Venna
@venna_kesav
Just A Regular Human...yesa
@yonezyb
28ๅฒ๏ผ็ท๏ผๆฅๅธธๅๅตๅๅฟSabrina Weglage
@WeglSabr
SimonaHenley
@392f6bL8TB0Sh22
Rakibul๎จ
@raakibul_
CS Student || ML, Data Science and NLP || I like being alone too much.... || https://t.co/jn48vp1iDoLingming Zhang
@LingmingZhang
Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4CodeXuhui Zhang
@XuhuiZhangXHZ
Kirsten Peasnall
@kirs_peasna
Lana Launiere
@LanLaunie
Alex Morey
@1AMorey
First Amendment Attorney | VP of Campus Advocacy @ FIRE | Former @PeaceCorps ๐ @NewhouseSU ๐บ @WisconsinLaw โ๏ธ | Opinions: Mine.Zhaoyang Wang
@wangwan83764204
CS PhD student at Uni of Birmingham in the United Kingdom. Research interests: Automated Machine Learning (BayesianOp), and Reinforcement Learning๐ณ๏ธโ๐Ronnie Sitzler
@RonnSitzl
Anais Linsey
@ALinsey33653
Saketh
@sakekasi_edu
Yukiko Fewell
@YukiFewe
Ricky Hester
@hester_ric45060
TL
@_TL__
lolAli Shokri
@ashokri_tweets
Charles Zhang
@xiaojidan2011