Ravi Mangal @lambdaexplorer

Asst Prof in Computer Science at Colorado State University. Formal Methods. Trustworthy AI. Fort Collins, CO Joined November 2017

Tweets

4
Followers

46
Following

485
Likes

48

No recent Tweets. New Tweets will appear here.

Josef Gattermayer | A... @jgattermayer

9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU

🧬Jessica @Cooouwa958310

4 Followers 553 Following Success, it is not the position where you are standing, but which direction you are going.

ながもとしずな @nagamotosh81692

60 Followers 3K Following

Yannic Noller (@yanni... @yannicnoller

555 Followers 650 Following CS Professor at @ruhrunibochum See you on BlueSky: https://t.co/HEXCP9tkuT

Sarethoth @Sarethotht3W7E

40 Followers 4K Following

ElsaCowper @146J1s1uY2sPON

75 Followers 7K Following

Reigh @Reigh7YiUso

76 Followers 7K Following

EnidKeppel @kC0padaGL44D1a

57 Followers 7K Following

BessLouise @VWW057MA7gc27w

70 Followers 6K Following

McDeaute @MDeaute77654

100 Followers 7K Following

Pakesos @pakesos31946

28 Followers 1K Following

Shushooth @shushooth59450

17 Followers 2K Following Creating fun moments !

Steete @Steete135463

20 Followers 3K Following “Working from the heart with passion is an art!”

Lombard @teysmoo91595

14 Followers 2K Following Intelligence comes from hard work, and genius comes from accumulation.

Smayleson @Smayleson127886

32 Followers 3K Following Creating fun moments !

Assistant Professor of Philosophy & Computer Science @Northeastern. Machine learning & scientific knowledge; ethics of automated decision-making.

Kathleen Creel @KathleenACreel

3K Followers 4K Following Assistant Professor of Philosophy & Computer Science @Northeastern. Machine learning & scientific knowledge; ethics of automated decision-making.

My opinions only here.
👨‍🔬 RS @DeepMind, @Midjourney 1y 🧑‍🎓 DPhil @AIMS_oxford @UniofOxford 4.5y 🧙‍♂️ RE DeepMind 1y 📺 SWE @Google 3y 🎓 TUM
👤 @nwspk

Andreas Kirsch 🇺�... @BlackHC

14K Followers 6K Following My opinions only here. 👨‍🔬 RS @DeepMind, @Midjourney 1y 🧑‍🎓 DPhil @AIMS_oxford @UniofOxford 4.5y 🧙‍♂️ RE DeepMind 1y 📺 SWE @Google 3y 🎓 TUM 👤 @nwspk

Roberto Giacobazzi�... @rgiacobazzi

846 Followers 654 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics

Juliette amelia @Julietteamelia2

24 Followers 634 Following Je suis simple qu'une femme vraie , respectueuse ouverte a toutes discusions ☺

A partnership between @LR_Foundation and the @UniofYork advancing safety assurance of AI, autonomous and robotics systems across the globe.

Centre for Assuring A... @CfAA_York

841 Followers 917 Following A partnership between @LR_Foundation and the @UniofYork advancing safety assurance of AI, autonomous and robotics systems across the globe.

Jules Jacobs @JulesJacobs5

1K Followers 3K Following @[email protected]

Researcher in applied category theory, at Hertfordshire University, UK. Maths and occasional random creative projects.

Nathaniel Virgo @NathanielVirgo

2K Followers 552 Following Researcher in applied category theory, at Hertfordshire University, UK. Maths and occasional random creative projects.

Assistant Professor at Texas A&M. prev Postdoc @MIT 24', Ph.D. @TelAvivUni 21', RS intern @DeepMind 21'. My views are 30% my own and 70% my parents'.

Tomer Galanti @GalantiTomer

1K Followers 2K Following Assistant Professor at Texas A&M. prev Postdoc @MIT 24', Ph.D. @TelAvivUni 21', RS intern @DeepMind 21'. My views are 30% my own and 70% my parents'.

mukul goyal @mukulindore007

17 Followers 347 Following

Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS. 🦋 https://t.co/YOgGScmGBk

Alex Lew @alexanderklew

879 Followers 840 Following Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS. 🦋 https://t.co/YOgGScmGBk

Attack Helicopter @nonmalegender

3 Followers 39 Following Attack Helicopter is my gender

Ohad Kammar @aleph_kappa

499 Followers 362 Following

QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020,
alongside with many workshops

QONFEST2020 @qonfest2020

183 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops

Brendan Dolan-Gavitt @moyix

30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv

🐦‍⬛ @glaebhoerl

572 Followers 659 Following nonblack nonraven

mip @mipcodes

114 Followers 540 Following

Molham Aref @molhamaref

978 Followers 3K Following CEO at @RelationalAI

Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

Ankush Desai @ankushpd

2K Followers 777 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.

Andrew K. Hirsch @andrewkhirsch

575 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.

Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)

Hila Peleg is not her... @HilaCodes

2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)

I design and analyse programs that analyse programs. Professor in Theoretical Computer Science (Logic), TU Kaiserslautern, Germany.

Anthony Widjaja Lin @anthonywlin

188 Followers 171 Following I design and analyse programs that analyse programs. Professor in Theoretical Computer Science (Logic), TU Kaiserslautern, Germany.

Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design.
https://t.co/Oq28Vv4UP8

Tobias Grosser @Tobias_Grosser

2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8

eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ

bsky.app/profile/zee.... @zeeshanlakhani

2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ

The Oxford Control and Verification (OxCAV) group is part of the Department of Computer Science at the University of Oxford led by Prof. Alessandro Abate.

OxCAV @Ox_CAV

239 Followers 359 Following The Oxford Control and Verification (OxCAV) group is part of the Department of Computer Science at the University of Oxford led by Prof. Alessandro Abate.

whtstar2 doesn't live... @whtstar2

513 Followers 359 Following This is the story of a little Ship that took a little trip. (Eng/Heb, she/her)

Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.

Somesh Jha @jhasomesh

4K Followers 862 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.

Manish @manish_algomuse

888 Followers 5K Following Assistant Professor 👨🏼‍💻 @iitrpr | @cseiitrpr

Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub
Passionate thaumatoneirodule, entry-level hypnerotomachist

Mark Hopkins @antiselfdual

1K Followers 2K Following Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub Passionate thaumatoneirodule, entry-level hypnerotomachist

Sage @mx00s

897 Followers 6K Following entropy fighter | she/they

Dirk Beyer @beyer_dirk

765 Followers 535 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)

Eran Yahav @yahave

2K Followers 3K Following Professor @TechnionLive & CTO @Tabnine

Kyle Chan @kyleichan

36K Followers 1K Following Princeton postdoctoral researcher. China, tech, industrial policy, US-China competition, manufacturing, geopolitics — Newsletter: https://t.co/hqYC3okzn9

xjdr @_xjdr

25K Followers 626 Following ptx enjoyer

nostalgebraist @nostalgebraist

3K Followers 449 Following

↬🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀→∞
↬🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁→∞
↬🔄🔄🔄🔄🦋🔄🔄🔄🔄👁️🔄→∞
↬🔂🔂🔂🦋🔂🔂🔂🔂🔂🔂🔂→∞
↬🔀🔀🦋🔀🔀🔀🔀🔀🔀🔀🔀→∞

j⧉nus @repligate

59K Followers 2K Following ↬🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀→∞ ↬🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁→∞ ↬🔄🔄🔄🔄🦋🔄🔄🔄🔄👁️🔄→∞ ↬🔂🔂🔂🦋🔂🔂🔂🔂🔂🔂🔂→∞ ↬🔀🔀🦋🔀🔀🔀🔀🔀🔀🔀🔀→∞

Jack Morris @jxmnop

46K Followers 998 Following research @cornell // language models, information theory, science of AI

Krishnendu Ray @Raykris1

7K Followers 1K Following I teach, read and write about food and society

steven t. piantadosi @spiantado

10K Followers 3K Following computational cognitive science he/him

PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023.

https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3

Patrick Shafto @patrickshafto

3K Followers 908 Following PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3

Jacob Andreas @jacobandreas

20K Followers 951 Following Teaching computers to read. Assoc. prof @MITEECS / @MIT_CSAIL / @NLP_MIT (he/him). https://t.co/5kCnXHjtlY https://t.co/2A3qF5vdJw

Research Engineering Lead at @StanfordCRFM. Previously co-founder at Semantic Machines ⟶ MSFT. Lead developer of Levanter and Marin @dlwh@sigmoid.social

David Hall @dlwh

3K Followers 1K Following Research Engineering Lead at @StanfordCRFM. Previously co-founder at Semantic Machines ⟶ MSFT. Lead developer of Levanter and Marin @[email protected]

@helloVERSES is a cognitive computing company building next-generation intelligent software systems inspired by Nature.

Follow as we share early research.

VERSES Research @VERSESAI

2K Followers 56 Following @helloVERSES is a cognitive computing company building next-generation intelligent software systems inspired by Nature. Follow as we share early research.

Borzoo Bonakdarpour @TheBorzoo

501 Followers 236 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.

Waiting on a robot body. All opinions are universal and held by both employers and family. Now a dedicated grok hate account.

Accepting ML/NLP PhD students.

Naomi Saphra @nsaphra

10K Followers 1K Following Waiting on a robot body. All opinions are universal and held by both employers and family. Now a dedicated grok hate account. Accepting ML/NLP PhD students.

Ben Rubinstein @bipr

2K Followers 802 Following ML & Privacy Prof @cis_unimelb. Deputy Dean (Research) @engunimelb. Prev @MSFTResearch, @Berkeley_EECS. He/him. 🇦🇺

Associate professor at U of T. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.

Sasho Nikolov (thesas... @thesasho

4K Followers 430 Following Associate professor at U of T. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.

Nalini Joshi @monsoon0

15K Followers 701 Following mathematician, wife, mother, Professor, addicted to math

Tom Gur @TomGur

5K Followers 295 Following Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.

Let’s skip witty banter & talk deep Qs.
Books: https://t.co/hpZgEm55Ma https://t.co/iFs9C3IuOM
Chief Scientist @_futarchy Advisor @MetaDAOProject @butterygg

Robin Hanson @robinhanson

113K Followers 726 Following Let’s skip witty banter & talk deep Qs. Books: https://t.co/hpZgEm55Ma https://t.co/iFs9C3IuOM Chief Scientist @_futarchy Advisor @MetaDAOProject @butterygg

roon @tszzl

256K Followers 10K Following fellow creators the creator seeks

Let's make AI doctors!
Views my own;
CEO @ https://t.co/wvoKT50fKX;
AI Researcher @ Berkeley;
If I block you it's like I'm moving to another convo at a party; nbd.

Andrew Critch (🤖�... @AndrewCritchPhD

5K Followers 291 Following Let's make AI doctors! Views my own; CEO @ https://t.co/wvoKT50fKX; AI Researcher @ Berkeley; If I block you it's like I'm moving to another convo at a party; nbd.

Stanford Professor of Linguistics and, by courtesy, of Computer Science. Member of technical staff @stanfordnlp and @StanfordAILab. Co-founder @ Bigspin AI.

Christopher Potts @ChrisGPotts

14K Followers 648 Following Stanford Professor of Linguistics and, by courtesy, of Computer Science. Member of technical staff @stanfordnlp and @StanfordAILab. Co-founder @ Bigspin AI.

Assistant Professor at NUS. Scaling cooperation for an increasingly automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊

xuan (ɕɥɛn / sh-ye... @xuanalogue

9K Followers 1K Following Assistant Professor at NUS. Scaling cooperation for an increasingly automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊

Physician + prof @UCBerkeley. Co-founder, @NightingaleOS, @Dandelion_AI4H. Machine learning, health, emergencies, espresso.

Ziad Obermeyer @oziadias

7K Followers 732 Following Physician + prof @UCBerkeley. Co-founder, @NightingaleOS, @Dandelion_AI4H. Machine learning, health, emergencies, espresso.

Cosmologist, pilot, author, connoisseur of cosmic catastrophes. She/her. Dr. Personal account; not representing employer or anyone else.

Katie Mack @AstroKatie

372K Followers 3K Following Cosmologist, pilot, author, connoisseur of cosmic catastrophes. She/her. Dr. Personal account; not representing employer or anyone else.

Drew Linsley @DrewLinsley

866 Followers 1K Following Computational neuroscience @ brown. Also AI, CV, Bio, Seattle sports, lit, and dogs.

physics of language models @ Meta (FAIR, not GenAI, not TBD)
🎓：Tsinghua Physics — MIT CSAIL — Princeton/IAS
🏅：IOI x 2 — ACM-ICPC — USACO — Codejam — math MCM

Zeyuan Allen-Zhu, Sc.... @ZeyuanAllenZhu

21K Followers 466 Following physics of language models @ Meta (FAIR, not GenAI, not TBD) 🎓：Tsinghua Physics — MIT CSAIL — Princeton/IAS 🏅：IOI x 2 — ACM-ICPC — USACO — Codejam — math MCM

Institute Professor @MIT, @MITEcon. Co-Director of @MITShapingWork. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.

Daron Acemoglu @DAcemogluMIT

348K Followers 320 Following Institute Professor @MIT, @MITEcon. Co-Director of @MITShapingWork. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.

ML Safety Daily @topofmlsafety

2K Followers 2 Following ML safety papers as they are released. Course: https://t.co/l0e0Y2i3AU Newsletter: https://t.co/8Y1kh2D7K6 Main Twitter: https://t.co/AXoYPryldd

Peli Grietzer @peligrietzer

18K Followers 595 Following Mathematized philosophy of literature

ML Researcher @AnthropicAI. Previously OpenAI & DeepMind.
Optimizing for a post-AGI future where humanity flourishes. Opinions aren't my employer's.

Jan Leike @janleike

116K Followers 332 Following ML Researcher @AnthropicAI. Previously OpenAI & DeepMind. Optimizing for a post-AGI future where humanity flourishes. Opinions aren't my employer's.

AI Researcher: From theory to practice (and back)
Postdoc @MetaAI with @ylecun
PhD @RiceUniversity with @rbaraniuk
Masters @ENS_Ulm @Paris_Sorbonne

Randall Balestriero @randall_balestr

4K Followers 223 Following AI Researcher: From theory to practice (and back) Postdoc @MetaAI with @ylecun PhD @RiceUniversity with @rbaraniuk Masters @ENS_Ulm @Paris_Sorbonne

I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.

Sara Hooker @sarahookr

50K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.

Chris Heunen @chrisheunen

480 Followers 95 Following computer scientist, mathematician, father, karateka, pianist

Brown NLP @Brown_NLP

3K Followers 145 Following Language Understanding and Representation Lab at Brown University. PI: Ellie Pavlick.

Cognitive scientist, psychologist, philosopher, author of Scientist in the Crib, Philosophical Baby, The Gardener & The Carpenter, WSJ Mind And Matter columnist

Alison Gopnik @AlisonGopnik

19K Followers 35 Following Cognitive scientist, psychologist, philosopher, author of Scientist in the Crib, Philosophical Baby, The Gardener & The Carpenter, WSJ Mind And Matter columnist

Pieter Abbeel @pabbeel

90K Followers 451 Following Berkeley & Amazon

Michael C. Frank @mcxfrank

14K Followers 1K Following Cognitive scientist at Stanford. Open science advocate. @stanfordsymsys director. Bluegrass picker, slow runner, dad.

Jason Wei @_jasonwei

99K Followers 641 Following ai researcher @meta superintelligence labs, past: openai, google 🧠

Kathleen Creel @KathleenACreel

3K Followers 4K Following Assistant Professor of Philosophy & Computer Science @Northeastern. Machine learning & scientific knowledge; ethics of automated decision-making.

Micah Goldblum @micahgoldblum

8K Followers 770 Following 🤖Prof at Columbia University 🏙️. All things machine learning.🤖

We're graduate students, postdocs, faculty and scientists at the cutting edge of artificial intelligence research.

Berkeley AI Research @berkeley_ai

228K Followers 379 Following We're graduate students, postdocs, faculty and scientists at the cutting edge of artificial intelligence research.

Prof at @GatsbyUCL and @SWC_Neuro, trying to figure out how we learn.
Bluesky: @SaxeLab
Mastodon: @SaxeLab@sigmoid.social

Andrew Saxe @SaxeLab

5K Followers 381 Following Prof at @GatsbyUCL and @SWC_Neuro, trying to figure out how we learn. Bluesky: @SaxeLab Mastodon: @[email protected]

Professor of natural and artificial intelligence @Stanford. Alignment at @GoogleDeepMind. (@StanfordNLP @StanfordAILab etc)

noahdgoodman @noahdgoodman

5K Followers 166 Following Professor of natural and artificial intelligence @Stanford. Alignment at @GoogleDeepMind. (@StanfordNLP @StanfordAILab etc)

Professor of Psychology at @UWMadison. Cognitive Scientist. Father of 2. Language; Categorization; Evolution; Perception; Reasoning. I also fly planes.

Gary Lupyan @glupyan

4K Followers 535 Following Professor of Psychology at @UWMadison. Cognitive Scientist. Father of 2. Language; Categorization; Evolution; Perception; Reasoning. I also fly planes.

AGI research @DeepMind. Ex cofounder & CTO @vicariousai (acqd by Alphabet) and @Numenta. Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics

Dileep George @dileeplearning

12K Followers 1K Following AGI research @DeepMind. Ex cofounder & CTO @vicariousai (acqd by Alphabet) and @Numenta. Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics

• Center for AI Safety Director
• xAI and Scale AI advisor
• GELU/MMLU/MATH/HLE
• PhD in AI
• Analyzing AI models, companies, policies, and geopolitics

Dan Hendrycks @DanHendrycks

42K Followers 111 Following • Center for AI Safety Director • xAI and Scale AI advisor • GELU/MMLU/MATH/HLE • PhD in AI • Analyzing AI models, companies, policies, and geopolitics

Andreas Kirsch 🇺�... @BlackHC

AIs aren't people, they're tools we should use wisely.

Head of interpretability research at @AiEleuther, but tweets are my own views, not Eleuther's.

Nora Belrose @norabelrose

11K Followers 120 Following AIs aren't people, they're tools we should use wisely. Head of interpretability research at @AiEleuther, but tweets are my own views, not Eleuther's.