Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year

Caterina Urban joined the group as a CR in February 2019, and is opening new research directions towards static analysis for data-science software. She was invited to talk about her work in this area at SAS 2019 (Static Analysis Symposium) [13].