rvt
- Status
- Active user
- Joined
- by invitation from martin_tian
- Karma
- 51
- Stories Submitted
- 7, most commonly tagged programming
- Comments Posted
- 4
- Homepage
- https://rijnard.com
- GitHub
- https://github.com/rvantonder
- About
-
Hi, I'm Rijnard. Currently working in the overlap of Formal Verification and LLMs. I'm also a Certified Sommelier. I hold a PhD from Carnegie Mellon University where I worked on automated program transformation and automated bug fixing.