Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . She specialises in automatic demonstration and proof assistants. … This field of computer science research focuses on designing efficient tools to thwart all potential bugs in … SQL (Structured Query Language), the most widely used data management language. "SQL takes a user's queries and …Published on: