Kraj: Poland
Lokalizacja: Białystok, PL
Na Useme od 23 grudnia 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.
Wyślij zapytanie ofertowe