A group of mathematicians turned engineers, based in Belgium, Europe, with broad interests in applied mathematics. We specialise in applied cryptography, formal verification, and AI tooling. From zero-knowledge proof systems to post-quantum cryptography, from machine-checked proofs in Lean 4 to open-source infrastructure, we work across the full stack of mathematical engineering
| Website | https://badaas.be |
| Employees | 1 (0 on RocketReach) |
| Founded | 2020 |
| Address | Rue de Houdain 17, Mons, Walloon Region 7000, BE |
| Industry | IT Services and IT Consulting |
| Keywords | Cryptography Research, Web3 Research, Privacy Preserving Technology, Blockchain Security, Crypto Security, Secure Networks, Blockchain Technology, Cryptocurrency Security, Staking, Data Privacy, Privacy Solutions, Secure Data, Web3 Development, Internet Security, Network Security, Decentralized Applications, Web3 Infrastructure, Digital Security, Next Generation Internet |
Looking for a particular BaDaaS employee's phone or email?
BaDaaS Questions
BaDaaS is based in Mons, Walloon Region.
G2Crowd Trusted
300K+
Plugin Users
