- I am a developer and research engineer at ACS Research Group and IT4Innovations.
- I am interested in AI Safety, HPC, and formal verification.
- I have PhD in Computer Science.
- I work mostly in Rust and Python; sometimes in TypeScript. In past C, C++, Haskell.
- I love digital painting and playing the cello.
- HyperQueue - user-friendly and scalable job scheduler for supercomputers
- Nelsie - slide making software
- Rain - framework for large distributed pipelines
- Interlab - toolkit for multi-agent interactions
- RSDS - Dask server reimplemented in Rust
- Nedoc - non-evaluating documentation generator for Python
- Haydi - Python framework for generating discrete structures)
- Aislinn - dynamic verifier for MPI programs
- Estee - simulator for task-based workflow schedulers
- ORCO - Python package for defining, executing, and persisting computations
- Replay-cache - replay cache for LangChain
- RMahjong - Riichi Mahjong
- LabLab - A simple image anotation tool
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent