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.
 * Home * People * Giulia Costantini**
 * [[image:GiuliaCostantin.jpg link="https://www.linkedin.com/pub/giulia-costantini/8/12b/192"]] ||~ || **Giulia Costantini**,

In 2010 while affiliated with Ca' Foscari University of Venice, she was involved in the design of the open-source programming language Casanova for developing [|Real-time strategy] games, introduced at the Advances in Computer Games 13 conference in Tilburg, 2011. || toc =Selected Publications=
 * Giulia Costantini ||~ ||^ ||
 * 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= =What links here?= include page="Giulia Costantini" component="backlinks" limit="40"
 * Up one level**