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