TAP – Trustworthy Automated Programming

TAP – Trustworthy Automated Programming [~Juillet 2024-Juin 2028] The challenge is to achieve safety and cybersecurity in software without having to author voluminous formal specifications. Recent developments on automated code generation from large language models...

SPACE-SNN

Principal investigators: Benoit R. COTTEREAU (CNRS research director at IPAL and CerCo laboratories, see: https://ipal.cnrs.fr/benoit-cottereau-personal-page/) for France. Gim Hee Lee (associate professor at the National University of Singapore, NUS) and Angela Wang...