Giulia Costantini, an Italian computer scientist and lecturer at Hogeschool Rotterdam. She holds a M.Sc. in CS from Ca' Foscari University of Venice in 2010, and finished her Ph.D. in CS at University of Eindhoven in 2013. Her research has been focused on a particular technique of static analysis of computer programs, named abstract interpretation. Such technique heavily relies on mathematical concepts and its purpose is to prove the correctness of programs in advance of execution. In 2010 while affiliated with Ca' Foscari University of Venice, she was involved in the design of the open-source programming language Casanova [1] [2] for developing Real-time strategy games, introduced at the Advances in Computer Games 13 conference in Tilburg, 2011 [3].
Giulia Costantini [4]

Selected Publications

• Giuseppe Maggiore, Giulia Costantini, Agostino Cortesi (2009). Game Programming as a Non-Threatening Introduction to Functional Languages. IEE IV 2009, pdf
• Giulia Costantini, Pietro Ferrara, Agostino Cortesi (2011). Static Analysis of String Values. ICFEM 2011, pdf
• Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi (2011). Designing Casanova: A Language for Games. Advances in Computer Games 13
• Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi (2013). The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM 2013, pdf

External Links

• Giulia Costantini | LinkedIn

References

1. ^ Casanova Language - Home
2. ^ Giacomo Casanova from Wikipedia
3. ^ Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi (2011). Designing Casanova: A Language for Games. Advances in Computer Games 13
4. ^ Giulia Costantini | LinkedIn
5. ^ dblp: Giulia Costantini

What links here?