FormalFoundry
@formalfoundry
Uniting AI and Formal Methods to Attain Safety in Trustworthy Solutions
ID: 1668408298188488704
http://formalfoundry.ai 13-06-2023 00:05:03
7 Tweet
19 Takipçi
5 Takip Edilen
Alex Smart
@a_smart
I'm the CEO of MuKn. I want to make blockchains useable for everyone & create great work environments for everyone. I believe these goals are deeply connected.
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
Lucc
@securitystack
Software Security @OWASP supporter
Jim Manico from Manicode Security
@manicode
Defense AppSec Educator. #React udemy.com/course/the-com…
joomy
@joomy
researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Soroush Pour
@soroushjp
CEO & Co-founder @HarmonyIntel, defensive AI to protect humanity's future. Building startups my whole career @ItsJustVow, @Plaid, @Wealthlift & elsewhere.
Zoe Braiterman
@zbraiterman
Web3 / Technology / Data / Security, Innovation Intelligence Strategist (Machine and Human), @owasp @infosecgirls @GlobalWIC Advisor @snyksec Ambassador
Formal Land 🌲
@formalland
Security research by formal verification. Ethereum, Sui, AlephZero, Tezos Solidity, Rust, OCaml, zero-knowledge
Athletic Sciences
@fitnescientist
Wellness / sportsmanship / leadership 🙏
Web3 Enabler
@web3enabler
Enabling Blockchain Transactions in the Salesforce Ecosystem.
AI for Good 🇺🇳 #AIforGood
@aiforgood
The @UN's 🇺🇳 leading platform to scale #AI for global impact. Organized by @ITU in partnership w/ 40 UN agencies and 🇨🇭 #AIforGood
MLSecOps
@mlsecops
Discover expert resources and AI security best practices. Join us as we drive forward the field of Machine Learning Security Operations, aka MLSecOps.
Jennifer Bautista NUYA #DEIBAesthete
@nuyajennifer
Co- creating the human collective experience
Chris Hanlon
@chrishanlonca
Security Engineer Google Security Hall of Game Presenter & Workshop host at #BSidesLV and #DEFCON
Neha Roy 🌟
@royn_eha
Let's talk #Web3 #Blockchain #WomenInWeb3
Alex "The Hoch" Hochberger, MBA
@the_hoch
@Web3Enabler / @GoodThoughts #MiamiTech OG '04 Prev: @RecoveryUnplugd @debtcom @DukeFuqua (MBA) @MIT (6-3) Volunteer: @royalchessmen, @jewishscouts
Andy Braiterman
@andy_braiterman
MuKn
@mutualknowledge
Sell faster. Close faster. Settle faster. BtoB SaaS company offering solutions to make business smoother - Salesforce partner