Charles Southerland @proidiot
Like most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness. Austin, TX Joined October 2008-
Tweets2K
-
Followers475
-
Following1K
-
Likes396
Austin Formal Methods will have guest speakers from URSA Secure (ursasecure.com) to discuss bringing the power of formal methods to a broader audience of software engineers. Join us Wed May 27th at Station Austin (a.k.a. Capital Factory): meetup.com/austin-formal-…
@CapMetroATX Sorry, I had some technical difficulties trying to send that as a DM. It looks like all is good now, but I'll share more info in the DMs now that I'm back at my laptop. Thanks for your help!
@CapMetroATX Any chance y'all are having audio issues with the BikeShare phone system? Been on hold for over an hour across a few calls now... There's no hold music or anything, and it looks like someone tried to call me back after one call saying they couldn't hear anything.
Tomorrow night, AFMUG starts the journey into @leanprover! Join us at Station Austin (a.k.a. Capital Factory) for pizza and beer as we look into what mathematicians, computer scientists, and AI startups are all getting excited about. meetu.ps/e/PMtGN/btrm2/i
If your response to a highly competent, but imperfect and resource sensitive, vulnerability hunting tool is to conclude this favours *defence*, you and your networks are ngmi. One does not bug hunt their way to a defendable network. AI does not change that.
@tummycom If the AV is working that night, the video will be streamed on youtube.com/@austintechlive There are great virtual-friendly options out there, but we also want an IRL option in ATX for folks who want to explore these ideas but might not be in grad school.
Is your code secretly a math proof? This month we'll discuss Curry-Howard, the surprising equivalence between writing a program and proving a theorem. Join us for pizza and beer as we see what happens when you add types to a programming language. meetup.com/austin-formal-…
部品一通り載せ終わった ちゃんとUSB-A端子ついてるしどう見てもUSBメモリやな
On Wed Jan 28th, join the Austin Formal Methods User Group at Capital Factory as we use Isabelle to define a tiny programming language with concrete semantics which will unlock the creation of bug-free code! meetup.com/austin-formal-…
🎉 5 YEARS OF TYPE THEORY FORALL 🎉 To celebrate, I sat down with Andrej Bauer. Student of Dana Scott. A mind equally at home in math and CS. Creator of the Proof Assistants Stack Exchange. One of the clearest thinkers in Type Theory. We dive into Constructivism, Dialectica, Effect Handlers, and AI. This one is special. youtube.com/watch?v=GcTFce…
Put Formal Methods into practice! Join us Wed Dec 3rd at Diogenes Makerspace as we build proofs in Edukera and enjoy tamales + cookies meetup.com/austin-formal-…
Is there such a thing as perfect, unbreakable cryptography? Come to the Austin Formal Methods Meetup on October 22nd as we discuss Shannon Security! meetup.com/austin-formal-…
Tomorrow night, Austin Formal Methods User Group will be discussing Paxos! meetu.ps/e/P0zD4/btrm2/i
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! meetup.com/austin-formal-…
Big news! We are launching a new sponsorship program for orgs passionate about Programming Languages & Type Theory. Reach a highly engaged, technical audience! Email [email protected] for details. Please RT to help us reach big companies and deepen our content focus!
This month: Lambda Calculus! Join the Austin Formal Methods User Group at Capital Factory on July 23rd as we begin our journey towards Curry-Howard! meetup.com/austin-formal-…
Had a great week at NASA Formal Methods, already looking forward to next year!
Bring your laptop to Diogenes on Wednesday June 25th! The Austin Formal Methods User Group will begin our journey into the world of seL4 with the Microkit tutorial. More details: meetup.com/austin-formal-…
Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm2/i
Claudio @menghi_claudio
215 Followers 267 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
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.
Zhendong Su @zhendongsu
3K Followers 1K Following 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)
BINSEC Team @ Univers... @BinsecTool
930 Followers 353 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
DE AHORRO A PATRIMONI... @ZeroMarginShort
26 Followers 97 Following GESTION DE CARTERAS DE INVERSION DEJA DE PERDER EL TIEMPO CON EL DINERO EN LA CUENTA NO INVERTIR ES TU PEOR DECISION DE INVERSION
Alice Baker @alice42573
1 Followers 65 Following
Marc Gris @MarcGris2
99 Followers 1K Following Software & Data Engineer - Lover of Strong Types & All things FP - Former professional Musician - and… (humbly aspiring) Philosopher
Evelyn @tummycom
849 Followers 7K Following Open Source, Mountain Time. Give me or the universe anonymous feedback: https://t.co/ZaUAOdtsG9
Digitalicarus @digitalicarus
233 Followers 1K Following
Brian Guerin @00BrianGuerin00
944 Followers 967 Following Publisher for Computer Science books at Cambridge University Press & Assessment, @[email protected] Opinions my own. He/him
Foy Savas @foysavas
1K Followers 2K Following Interests: formal methods, AI as mimicry, lawful crypto. Past: SaaS founder, tech author, big data VC, deep learning visitor @ NYU
Gabriel Corradini �... @GabrielCLDiasX
68 Followers 418 Following | Quantum Vacuum R&D @zpfTechnologies | Electrical Engineering | SED & QED | Power Generation | Propulsion Systems |
John Lewis @johnLewismusicC
2K Followers 6K Following Avnoor Singh Kohli or Also Known as John Lewis is a Singer/Rapper/Dancer/ Producer from Canada, His multi-talented artist who does many music genres.
Brandon Andrews @4KSiFu
3 Followers 34 Following
Sarah chu @sarah190340
70 Followers 1K Following Managing Partner driving growth and innovation in luxury fashion. Passionate about style, strategy, and sustainability.
Yannick Popovitch @pop94378
0 Followers 32 Following
Alice Wilson @Model_2gq4
2 Followers 264 Following
Oodorfeax @Oodorfeax3210
11 Followers 946 Following
r41zor @r41zor
3 Followers 452 Following
決算サプライズ... @Crookoo20078
38 Followers 2K Following 【完全無料】 25年の株式投資プロチーム(運用資産500億円以上)が提供:毎日の市場分析レポート + 優良成長株のピックアップ。プロの情報を無料で。まずはお気軽にお問い合わせください。
Type Theory Forall @ttforall
4K Followers 323 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
Ashley lane @donald_jos70482
4 Followers 13 Following not here to scam anyone or playing games I'm not part of woman's online I'm here for serious relationship with good honestly man that's ready to be with me 🥰
Nielal @Nielal242992
54 Followers 2K Following
Suthoo @Suthoo0BFB
50 Followers 1K Following
Thotirsl @ThotirslMPjJ
66 Followers 3K Following
KimberleySaul @QznBmaV818QS7yl
94 Followers 2K Following
Chris Henson @_chenson__
1K Followers 3K Following CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.
Sleesharet @Sleesharet_NkL
37 Followers 4K Following
Thoasewsl @Thoasewsl0HAbR
81 Followers 2K Following
Sheede @Sheedesh8
20 Followers 601 Following
Okies Boss @OkiesBoss
4 Followers 37 Following
Danny @lovely__danny
218 Followers 3K Following Compilers are cool, along with wasm, rust, zig, and js Building https://t.co/uhEa9t8nTM @[email protected]
Sheedaw @SheedawFLT
84 Followers 4K Following
Nick Gray @nickgraynews
54K Followers 4K Following I started and sold 2 small companies: Museum Hack and FDS Avionics. Now I write, invest in stocks, and meet interesting people // https://t.co/4hnVTJWwfa
Olivia Jones @Joanna1988627
623 Followers 4K Following C-level leaders | GTM and startup/scale-up operators, advisors and investors | SaaS and AI enthusiasts | Future of work disruptors/family offices/healthcare
Reza Sohos @rsohos
98 Followers 258 Following #Math, #Security, #ML Enthusiast. Not a Jedi, Not a Sith, A humble force practitioner. (follow ≠ endorse)
Hera Genera @Smeeknot8_Uu
5 Followers 683 Following
TwinkleSun @TwinkleSun38231
73 Followers 5K Following
Wi__eners @EnersWi54399
40 Followers 4K Following
Mayor David Holt @davidfholt
80K Followers 3K Following Husband | Father | Mayor of Oklahoma City - America’s 21st-largest | Dean @OCULAW | President of @usmayors | 𐓏𐒰𐓓𐒰𐓓𐒷 | #1OKC
LGR @lazygamereviews
119K Followers 269 Following Profile for the LGR YouTube channel. Covering vintage computer hardware, software, and various retro tech oddities. https://t.co/6mZsaTzTCd
Claudio @menghi_claudio
215 Followers 267 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Toby Murray @tobycmurray
1K Followers 640 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Tzu-Han Hsu👩🏻�... @TzuHanH
2K Followers 1K Following Researcher @Harvard, PhD of @TheBorzoo at MSU, interned @MSFTResearch @AWScloud. From Taiwan, into piano, violin, classical/jazz music, and 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
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.)
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.
Zhendong Su @zhendongsu
3K Followers 1K Following 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)
BINSEC Team @ Univers... @BinsecTool
930 Followers 353 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Hernan Ponce De Leon @h_poncedeleon
402 Followers 224 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Corey Quinn @QuinnyPig
103K Followers 1K Following Chief Cloud Economist at Duckbill. Author, Artificial Confidence. Professional skeptic with receipts.
AST Lab ETH Zurich @ast_eth
796 Followers 86 Following Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)
CapMetro @CapMetroATX
24K Followers 3K Following We connect people, jobs & communities in Central Texas. Official #CapMetro account Monitored Mon to Fri 7a-8p, weekends 8a-5p. Customer Service: 512-474-1200
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
Evelyn @tummycom
849 Followers 7K Following Open Source, Mountain Time. Give me or the universe anonymous feedback: https://t.co/ZaUAOdtsG9
Foy Savas @foysavas
1K Followers 2K Following Interests: formal methods, AI as mimicry, lawful crypto. Past: SaaS founder, tech author, big data VC, deep learning visitor @ NYU
Kelsey Houston-Edward... @kelseyahe
8K Followers 505 Following math + writing + videos https://t.co/IvgZ58cTYU
Isaac Newton Institut... @NewtonInstitute
16K Followers 413 Following News from the UK's premier mathematical institute. We bring the world's top scientists together to collaborate in advanced research programmes.
Chris Henson @_chenson__
1K Followers 3K Following CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.
signalsandthreads @signalsthreads
2K Followers 0 Following In-depth conversations about every level of the tech stack, from Jane Street.
Yaron (Ron) Minsky @yminsky
21K Followers 365 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Jeju @JejuFormalLand
79 Followers 189 Following Learning at @FormalLand to make the Web3 💯 secure. 🇬🇱 Formal verification in Rocq.
Kodsnack @KodSnack
1K Followers 32 Following En podcast på svenska av utvecklare, för utvecklare, om utveckling. Vi finns på https://t.co/PxO8zTnIqL
Grain @grain_lang
1K Followers 20 Following Grain is a new programming language that puts academic language features to work. A modern web staple. 🌾 Chat with us on Discord: https://t.co/yaaAyo8R5Q
Danny @lovely__danny
218 Followers 3K Following Compilers are cool, along with wasm, rust, zig, and js Building https://t.co/uhEa9t8nTM @[email protected]
Reza Sohos @rsohos
98 Followers 258 Following #Math, #Security, #ML Enthusiast. Not a Jedi, Not a Sith, A humble force practitioner. (follow ≠ endorse)
Fabrizio Montesi ⬣ ... @famontesi
682 Followers 492 Following Formal Methods at the Scale the World Needs | Lead Maintainer of CSLib (Lean) and Jolie Lang. | #ChoreographicProgramming #FormalMethods #Microservices
Laura Titolo @laura_titolo
168 Followers 205 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Katerina Mitrokotsa @mitrokat
279 Followers 195 Following Professor University of St. Gallen, @HSGStGallen 🇨🇭🏔️ Switzerland (Provable security, Cryptography, Network Security).
Paulius Stankaitis @pastankaitis
33 Followers 149 Following Lecturer at University of Stirling @StirUni. Interested in Formal Methods and safe CPS/AI
Vonlane @vonlane
3K Followers 2K Following Elevated regional bus transportation between Austin, Dallas, Fort Worth, Houston, San Antonio, Nashville, Atlanta, & Memphis.
Michael Yuan @juntao
3K Followers 964 Following Agentic engineer by day, vibe coder by night. Open-source AI & Rust. Maker of the vibe keyboard: https://t.co/rOtvil8e0k
Dominik Tornow @DominikTornow
12K Followers 588 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
KCD Texas @KCDTexas
105 Followers 57 Following Join us again in Austin, TX on May 15, 2026 at the TCEA Convention Center
Brad Garropy @bradgarropy
2K Followers 222 Following 👨🏼💻 saas builder 👨🏼🏫 conference speaker ☁️ frontend @cloudflare 🎙 host of @compressedfm 👋🏼 formerly @stripe / @atlassian / @adobe / @dell
Taylor T Johnson @taylorjohnson
649 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Hussain Ahmad @HussainAhmad_5
499 Followers 389 Following Assistant Professor @UniofAdelaide | Cyber Security | Generative AI
Mohammad Hossein Khos... @Mh_khoshechin
294 Followers 897 Following PhD student @ Max Planck Institute for Software Systems (MPI-SWS) /Interested in Formal Verification / Distributed Systems / Concurrency Theory
Formal Land 🌲 @FormalLand
2K Followers 2K Following Security audits for Web3, with formal verification. We innovate to provide you with the most extensive security solution. Solidity, Rust, ZK.
extism @extism
1K Followers 1K Following The universal plug-in system. Our open source framework supports 16+ languages. Across server, browser, desktop, db, edge, etc. 🫡 oss contributors, @dylibso.
UKRI TAS Verif. Node @tas_verif
134 Followers 27 Following UKRI Trusted Autonomous Systems – Verifiability Node
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Larry Diehl @larrytheliquid
796 Followers 680 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Adithya Murali @adithyamuralism
227 Followers 275 Following PhD student @plfmse @illinoisCS. Incoming faculty member at @WisconsinCS | Previously @ProseMSFT @Meta @HyderabadBits
Chad M. Crowell @ChadMCrowell
2K Followers 731 Following Husband and dad 👨👩👧👦❤️ | CNCF Ambassador | #kubernetes contributor | Founder & Coach @kubeskills
AIhub @aihuborg
2K Followers 46 Following Non-profit dedicated to connecting the AI community to the world. Supported by AAAI, IEEE RAS, ICML, RoboCup, IJCAI/AIJ, EurAI, and ACM SIGAI.
gapfruit @gapfruit
39 Followers 0 Following The Next Generation of Operating Systems with Capability-Based Security
Sid Hussmann @SidHussmann
85 Followers 69 Following interested in building trustworthy systems. CTO and co-founder of @gapfruit
Kent @kentm_t
23 Followers 26 Following systems engineer on seL4 at https://t.co/kAQcoQa17x, previously at trustworthy systems. interested in systems things.
Mark Ermolov @_markel___
12K Followers 131 Following I research security of Intel platforms. I don't work for Intel
ACM Queue @ACMQueue
12K Followers 144 Following Online magazine of the Association for Computing Machinery



















