kiniry @kiniry
Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected] galois.com Portland, OR Joined February 2008-
Tweets4K
-
Followers1K
-
Following1K
-
Likes3K
kiniry retweeted
Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote! youtube.com/watch?v=Du8BbJ…
0
1
4
756
1
View Details
The 2025 @ieeesecdev Cybersecurity Award for Practice nominations are now OPEN! The award recognizes transformative cybersecurity achievements. Nominations are due by May 30. For more information and submission instructions, visit secdev.ieee.org/2025/awards/ #IEEESecDev
@galois @tosanjayr Also included are architectural specifications in SysMLv2 and AADL (in another repository), a full property-based (concurrent) testbench, and more. Let us know if you have any questions or comments!
@galois @tosanjayr ...which are then used to automatically generate heterogenous formally verified implementations in C and Verilog. Manually written implementations were also written in C and Verilog, and verified against Cryptol specs and proven equivalent to generated ones.
@CHold still waiting for you to join us at a @ripcityremix game. I presume these are your seats next to me… ;)
@JukeboxtheGhost Looking forward to the gig tonight! See you before the show. Can’t wait to meet you.
.@trailblazers your subtitling software is decidedly worse than last season. It was laughably bad tonight. Your need to train it for non-western names as well.
My friend @RSNikhil wrote this for me: We have a colleague named Kiniry Who is rather tall, and wiry. He was somewhat abnormal; liked his methods to be formal, his passion for which was quite fiery.
FireSim is a cool platform that others should know more about!
The program for the First FireSim and Chipyard User/Developer Workshop (@ASPLOSConf 2023), is now available! We have an exciting lineup of 10 speakers, including a keynote from Joe Kiniry (@kiniry) from @galois on using FireSim in DARPA FETT! Full program: fires.im/workshop-2023/
@firesimproject @ASPLOSConf @galois Looking forward to it!
@itblumenfeld The Monkeys. And boy, do I have stories about hanging out with the Moxy guys.
@alpha_convert @TaliaRinger Me too. And not just because we were actually in an email thread together...
"A Brief History of Free, Open Source Software and Its Communities" by @jgbarah (@ComputerSociety vol. 54, no. 2, 2021) should be required reading for all CS students and professionals, especially those born after the early 90s. Great stuff. ieeexplore.ieee.org/document/93535…
@itblumenfeld @raffi @narwhal_project Nope. Will have a look.
I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon. Follow me at @[email protected]
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Matthew Green @matthew_d_green
155K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Tammy Patrick @aztammyp
5K Followers 2K Following You can find this #ElectionGeek increasingly on all the other platforms: @aztammyp
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Peter O'Hearn @PeterOHearn12
2K Followers 137 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Ben Adida @benadida
8K Followers 3K Following Building a voting system everyone can trust @voting_works. Past: Prod/Eng/Sec @Clever, @Square, @Mozilla, ..., Harvard, MIT. Mastodon: @[email protected]
Deirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.com on 🦋
Julien Vanegue @jvanegue
6K Followers 988 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Galois @galois
6K Followers 652 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Jacques Carette @jjcarett2
2K Followers 939 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Colm MacCárthaigh @colmmacc
38K Followers 2K Following VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
David Wong @cryptodavidw
18K Followers 3K Following security @zksecurityXYZ & advisor @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
Barb Byrum @BarbByrum
23K Followers 8K Following Ingham County Clerk 🗳️ | Former Michigan State Representative 🇺🇸 | Former hardware store owner 🛠️ | Proud advocate for equality 🌈
John Wickerson @wicko3
1K Followers 775 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Thomas H. Ptacek @tqbf
35K Followers 618 Following Don't look at me sideways. Don't even look me straight on. bsky:@sockpuppet.org
Harri "scofield" Hurs... @HarriHursti
7K Followers 487 Following A lifelong hacker & security researcher. Inventor with engineering heart believing that impossible is just a state of mind. Lets chat on Minnect.
Kammi Foote @kammi_foote
675 Followers 542 Following Public Servant. I share election news and landscape photography. Personal account.
FormalFoundry.ai @FormalFoundry
315 Followers 132 Following We merge AI with formal methods. Using logic, math & proof assistants, we formalize domain knowledge for trusted, automated reasoning in critical systems.
Aadi Rajesh is figuri... @TheAadiAadi
245 Followers 4K Following Found something I wrote interesting?DM! :) Intersection of intelligence, uncertainty, risk, truth, leverage, kindness and people🤖 @UBC
Ankit Kumar @_ankitku
133 Followers 151 Following PhD Candidate at Northeastern University, interested in Formal Methods, Decision Procedures, Distributed Systems and Programming Languages
Bogdan Stanciu @bog_dan
976 Followers 4K Following design and product for startups. opinions my own. retweets are not endorsements.
Sasha @ashas_niktoris
0 Followers 20 Following
Srikanth @vshbit
4 Followers 301 Following
mjkalasky2 @mjkalasky2
455 Followers 7K Following My other youtube channel: Matthew Kalasky2: https://t.co/TZq0D9DRTg
███████... @hybr1z
1K Followers 5K Following tweets here represent an alternate reality where all words are just 4 bytes and lack any cultural meaning/context
Britney @Britney22337676
36 Followers 4K Following
Stoosmear @Stoosmearg1B
32 Followers 723 Following
Juan Pablo Yamamoto @si_compila
99 Followers 117 Following 💻 scientist & mathematician / I ⌨️ code and ✍ proofs / Sharing the knowledge 📚
Type Theory Forall @ttforall
4K Followers 325 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
Jade Martin @Jade34528538
344 Followers 4K Following project analyst,Life is short, this sentence should remind everyone, energy lovers, like to pay attention to energy issues.
Steve Goguen @sgoguen
633 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
Dan Plyukhin @dplyukhin
256 Followers 344 Following
Research Directions @CUP_RDirections
818 Followers 830 Following It all starts with a question... Research Directions is a new series of question led, open access journals published by @CambridgeUP #ResearchDirections
Tanya @Tanya6446044036
13 Followers 830 Following
Internet Exchange @future_email
3K Followers 2K Following The Internet Exchange is a weekly publication by Mallory Knodel.
Thasiez @thasiez20335
22 Followers 1K Following
Slendas @Slendas126189
46 Followers 2K Following
Tethough @tethough92286
31 Followers 2K Following
Teighs @Teighs137298
9 Followers 912 Following
Deatheau @deatheau55792
52 Followers 2K Following
Angelo Gargantini @angelogargantin
273 Followers 211 Following Professor of Informatics @UniBergamo. Working on formal methods and software testing, technologies for visual diseases https://t.co/ZLBn2bpIsL
Helen @helenm7589
17 Followers 886 Following
Jean nirwan Doyzz @nirwan_doyzz
745 Followers 7K Following Account Manager, Nature fanatic/ lover of Beauty
FireSim @firesimproject
1K Followers 252 Following Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation project in EECS @UCBerkeley. RISC-V Clusters in the Cloud.
Sagar Karandikar @KarandikarSagar
470 Followers 828 Following Assistant Professor of Electrical Engineering and Computer Sciences @UCBerkeley.
ɹɐʎɯɐʞ @0x01K
281 Followers 4K Following Into making things... unless bored, then I'd be braking things.
Alex Bradbury @asbradbury
5K Followers 3K Following Find me on Mastodon/Bsky. ~~Compilers @Igalia. @llvmweekly author. Previously: @lowRISC CTO and co-founder, researcher at UCambridge~~
Christine @Sahabat_grt
178 Followers 1K Following Collector, single, loves the outdoors, looking forward to all the good things in life🌈🌈I am fine like wine and mello like a cello.
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 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
E-Vote-ID Conference @EVoteID
203 Followers 363 Following The eleventh edition of the leading international event for e-voting experts taking place in Tallinn, 6-9 October 2026
Borzoo Bonakdarpour @TheBorzoo
506 Followers 234 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
jlvandehey @jlvandehey
201 Followers 118 Following Cofounder of Disco (acquired by Culture Amp). Contributing author for Entrepreneur Media
Giovi Leve @AlexIssac19
32 Followers 197 Following I think there is beauty in everything. What 'normal' people perceive as ugly, I can usually see something of beauty in it
stewdodge @stewdodge
37 Followers 114 Following
Zhijie Xu @Pi_41968
0 Followers 18 Following
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Sequent @Sequent_Tech
40 Followers 18 Following Open-source, end-to-end verifiable online voting platform for public and private sector elections
Alessandro Bruni @hoheinzollern
197 Followers 252 Following Associate Professor in Computer Security at the IT-University of Copenhagen
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Matthew Green @matthew_d_green
155K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
José Manuel Calderó... @josecalderon
2K Followers 864 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
9K Followers 637 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | Safety Engineer (☢️ ✈️)| TIME100 AI | MIT 35u35 | Formal Methods PhD | x-ToB, Zipline, OpenAI, MSFTResearch
Nikhil Swamy @lambdaNik
785 Followers 203 Following
Tim Sweeney @TimSweeneyEpic
328K Followers 1K Following Epic Games founder and CEO. Doesn’t know when Attack on Titan is returning to the Fortnite item shop.
Molly White @molly0xFFF
122K Followers 2K Following bsky: @https://t.co/jJXL8GfoBs crypto & tech industry researcher & critic at https://t.co/hb1tT2Q3bJ & @web3isgreat support my work: https://t.co/FPG3uvikH0
William Gibson @GreatDismal
254K Followers 322 Following Author of Neuromancer, The Peripheral, Agency… I’m also @greatdismal.bsky.social
Arvind Narayanan @random_walker
127K Followers 546 Following Princeton CS prof and Director @PrincetonCITP. Coauthor of "AI Snake Oil" and "AI as Normal Technology". https://t.co/ZwebetjZ4n Views mine.
Edward Z. Yang @ezyang
17K Followers 2K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Tammy Patrick @aztammyp
5K Followers 2K Following You can find this #ElectionGeek increasingly on all the other platforms: @aztammyp
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Peter O'Hearn @PeterOHearn12
2K Followers 137 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
StarFive Technology @StarFiveTech
1K Followers 120 Following StarFive is a high-tech company with independent intellectual property rights, providing world-leading RISC-V based products including IP, SoC and SBC.
Sagar Karandikar @KarandikarSagar
470 Followers 828 Following Assistant Professor of Electrical Engineering and Computer Sciences @UCBerkeley.
NCAA March Madness @MarchMadnessMBB
1.7M Followers 976 Following The official NCAA March Madness destination for all things Division I NCAA Men's Basketball. #MarchMadness
Victor Suarez Rovere @suarezvictor
2K Followers 830 Following Software, Electronics, DSP. Ready for consulting work. [email protected] / @[email protected]
PipelineC (fosstodon.... @pipelinec_hdl
836 Followers 125 Following https://t.co/iJcPcgcbrj PipelineC hardware description language
Tillitis @TillitisAB
180 Followers 34 Following We are the creator of TKey, an open source hardware and open source software USB security key. Mastodon: @[email protected]
Midjourney @midjourney
459K Followers 0 Following A community supported research lab - exploring new mediums of thought and amplifying the imaginative powers of the human species.
Borzoo Bonakdarpour @TheBorzoo
506 Followers 234 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
jlvandehey @jlvandehey
201 Followers 118 Following Cofounder of Disco (acquired by Culture Amp). Contributing author for Entrepreneur Media
Nikolaj Bjorner @BjornerNikolaj
1K Followers 313 Following
Zack Prager @zackprager
415 Followers 754 Following Gonzo AI Developer: https://t.co/5pUyZOeZcc, https://t.co/p22W3GP5Ts, https://t.co/jme1a3nGmX, Lecturer. Poker Player. Parent. #ucla #upenn #decentralizedJournalism
Jesus M Gonzalez-Bara... @jgbarah
3K Followers 553 Following I'm me, my circumstances, and my Internet connection. In Mastodon as @[email protected] También tuiteo en español como @jgbarah2
Jordi Puiggali @JPSCY
144 Followers 123 Following CTO and co-founder of @secrets_vault_. Working on #technology, #cryptography and #blockchain
Frans Skarman (thezoq... @TheZoq2
356 Followers 194 Following Developing https://t.co/99MmKTqjKF and other fun stuff in Rust. PhD student at Linköping University he/him. @[email protected]
Charles Belle @CharlesBelle
453 Followers 262 Following Dad. Husband. Law Professor working in Web3 (NFT, governance, & public data). Craft Coffee, Cookies, & Denim @BLS4SG 🇺🇦
SECUSO Research @SECUSOResearch
1K Followers 1K Following This account is no longer maintained. Please follow us on Mastodon, Bluesky, or LinkedIn for any updates!
Democracy Docket @DemocracyDocket
363K Followers 256 Following Leading digital news platform covering voting rights, elections, and the courts — from an unapologetically pro-democracy standpoint. Founded by @marceelias
Schmidt Futures @SchmidtFutures
13K Followers 92 Following Supporting projects at the intersection of talent and technology.
iVote @iVoteFund
22K Followers 1K Following iVote is dedicated to the powerful notion that every eligible citizen should be able to vote. What if everyone voted? #votingrights
Graphika @Graphika_NYC
9K Followers 2K Following We create the world’s most detailed maps of social media landscapes and use our technology to analyze information flows online.
DFRLab - @dfrlab.bsky... @DFRLab
52K Followers 775 Following @AtlanticCouncil's Digital Forensic Research Lab. Cultivating a global network of digital forensic analysts (#DigitalSherlocks) to combat disinformation.
Center for an Informe... @uwcip
6K Followers 497 Following University of Washington research center. Resisting strategic misinformation, promoting an informed society, and strengthening democratic discourse.
Stanford Internet Obs... @stanfordio
14K Followers 83 Following The Stanford Internet Observatory is a cross-disciplinary program studying the abuse of the Internet and providing thoughtful policy and technical solutions.
Election Integrity Pa... @EI_Partnership
7K Followers 13 Following A coalition of research entities focused on detecting and mitigating attempts to prevent or deter people from voting or to delegitimize election results.
Henry Blanchette @rybl4
104 Followers 723 Following Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.
Ethan Lew @EthanJLew
1 Followers 4 Following
Valentin Robert ❤�... @Ptival
204 Followers 346 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
endlesspaper.app @endlesspaper
6K Followers 10 Following The App that lets you create #endless paintings Created by @circuit_tree
Vaskange @Vaskange
88K Followers 124 Following I create an infinite world! ✍️ Visit it on https://t.co/CrG3fxKywj 🪐 Kickstarter campaign lauched🚀 https://t.co/47zwKkPSL0
The Elections Group @TheElectionsGrp
1K Followers 532 Following
Ian Sweet @completelysound
429 Followers 338 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Audra @audmcname
22 Followers 17 Following Making comics about science (not super active on twitter-- check site or insta @audmcname)
Kathryn S McKinley @ksmckinley
670 Followers 266 Following Researcher, Google. Mom @ 3 good boys. Wife of Artist.
Daniel I. Weiner @DanWeiner329
3K Followers 1K Following Director, Elections and Government Program, @BrennanCenter at NYU Law • Fmr. @FEC • Minnesotan/Marylander • Husband • Dad • Opinions mine • 🇺🇸🏳️🌈 ✡️
ECMFA 2025 @ECMFA_Conf
314 Followers 170 Following 21st European Conference on Modelling Foundations and Applications, part of STAF 2025 (@STAFconferences), June 10-11, 2025, #ecmfa25
DevX Initiative 🦀 @DevXInitiative
622 Followers 396 Following The DevX Initiative empowers individuals who want to flourish in @rustlang. It contributes through research, workshops, and sponsorship. 🦀
web3 is going just gr... @web3isgreat
118K Followers 1 Following tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly0xfff
Type Theory Forall @ttforall
4K Followers 325 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
Gabriel Parmer (also ... @__gparmer
602 Followers 664 Following Systems researcher and builder. Composite hacker. Mastodon: @[email protected] OS videos: https://t.co/PDbiDFaN2y…
JEARP @JEARPjournal
633 Followers 696 Following The Journal of Election Administration Research & Practice. A collaboration between Auburn and the Election Center, bridging the gap between theory and practice
Priya Garg @priyaisms
316 Followers 255 Following building software to support more resilient elections @USDResponse. tweets cover spectrum of serious thoughts and dumb jokes. she/her. likes ≠ endorsements.You might like
Kammi Foote
@kammi_foote
675 Followers
Magenta Sage Strategi...
@MagentaSageLLC
230 Followers
Matt Weil
@mattiweil
1K Followers
Brian Hancock
@BrianHancock1
350 Followers