rvt

Status Active user Joined 6 years ago 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.