Research & development as a service
After 20+ years in academic and industrial research, I went independent in 2024. I now take on R&D projects as a contractor and secure Web3 grants with partners...
Contact me, if you need a custom tool to test, fuzz, simulate or verify your protocol. Also, if you need someone to understand the math behind your system or the research that was done in your field. If you need a formal specification and formal verification that works in practice, I am happy to help. Finally, if you need a sharp eye on your code, I have experience with security audits and Web3 contests.
My main approach is to solve hard customer’s problems by applying smart tools and developing custom tooling for solving those problems. I am not interested in doing work merely for marketing or to check a box. However, if you need support in sharing research findings — whether through writing papers or presenting at conferences — I am always happy to contribute.
Need a DSL or a simulator similar to Quint? Or you need a custom tool to solve constraints similar to Apalache? Perhaps, you need a custom fuzz suite? I can help you with that. You are releasing in two weeks and need more than one-man show? We can assemble a team of people who can actually work together without arguing.
All keywords in one place:
- Status: open for incoming requests
- Experience: 20+ years in research & development, Web3 since 2019 (CV as a proof)
- Platforms: Ethereum, Stellar, Cosmos
- Actively used programming languages: Rust, TypeScript/JavaScript, Python
- Past experience: Golang, Scala, Java, OCaml, C++
- Special skills: SMT/SAT, fuzzing, TLA+, Quint, Apalache, model checking, distributed consensus, math proofs, research papers, trained research scientist
- Professional training: Applied mathematician/Systems programmer & PhD (MSU), Privatdozent in CS ≈ Associate Prof. (TU Wien)