Speaker
Andreea Costea
TU Delft
Research Interests: Programming languages design and implementation, software verification for critical code, program synthesis and automated program repair.
More Information:
Talks at this conference:
| Mon, 9:30 | Assured Automatic Programming |