About me 🧚‍♀️

• 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.

Selected projects where I am main author/co-author

• 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