I work on computational systems that model and analyze complex phenomena, with a focus on correctness, performance, and security.
- Scientific Computing
- Cryptography (incl. Post-Quantum)
- Physics-based Simulation
- Systems Programming
- Designing computational models for real-world systems
- Exploring cryptographic primitives and security assumptions
- Bridging mathematics, physics, and software implementation
- Biological Engineering student at UNAL
- Strong interest in mathematics and system design