Georgiana Caltais - Dutch Formal Methods Day 2024

Tue 16 Apr 2024 Utrecht, Netherlands

Registered user since Thu 4 Jan 2024

Name:Georgiana Caltais

Country:Netherlands

Affiliation:University of Twente

Personal website: https://people.utwente.nl/g.g.c.caltais

Research interests:Concurrency Theory, Causal Models, Software Defined Networks

Contributions

2024

Dutch Formal Methods Day

Explainability in systems: from AI to FM and back

Show activities from other conferences

Dutch Formal Methods Day 2024-profile
View general profile