IPAL Projects

Descartes WP4: Human AI collaboration

The IPAL laboratory plays a significant role in the DesCartes program, an initiative led by CNRS@CREATE, the first international subsidiary of CNRS based in Singapore. Launched at the end of 2021, this ambitious 5-year project aims to develop innovative hybrid AI for...

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...