Friday June 14 2024
Rob Verhoeven has joined the Axini team as a software developer. With his background in formal methods and his passion for correctness of computer programs, Rob is a valuable addition to the team!
I was drawn to Axini because of its academic origins and culture. From my first visit, I was struck by the welcoming atmosphere at the office. I look forward to contributing to such an inspiring environment and doing my best to contribute to the team.
