General Info

Ph.D. stu­dent in Com­puter Sci­ence with prof. An­gelo Mon­ta­nari, working on Ex­pres­sive­ness and Com­plexity is­sues in AI Plan­ning.

Re­search In­ter­ests

Tem­poral Rea­soning in Au­to­mated Plan­ning, Logic, Com­plexity The­ory, Func­tional Pro­gram­ming, Type Driven De­vel­op­ment, Com­pil­ers, …
See the list of pub­li­ca­tions.

Con­tacts

E-­mail:
gi­gante.nico­la@spes.u­ni­ud.it
Phone:
+39 0432 55 8469
Twit­ter:
@gignico
Ad­dress:
Uni­ver­sity of Udine,
De­part­ment of Math­e­mat­ics, Com­puter Sci­ence and Physics,
Via delle Scienze 208,
33100 Udine (UD), Italy
Google Maps
Of­fice:
2nd floor, room NN2