From: Poland
Location: Białystok, PL
On Useme since 23 December 2023
I used C++ and Haskell much, but now I use Rust primarily. I also did some computed-checked proofs in Coq. I'm especially interested in prediction models (genomics) and artificial life simulations.
Send job invitation