Our project on AI-based code verification had been granted funding from WASP. I am hiring two doctoral students to join this exciting adventure!