Nicola Galesi Associate
Professor
PhD. Universitat Politcnica de Catalunya, 2000
Universit
degli Studi di Roma La Sapienza
Dipartimento
di Informatica
Via
Salaria 113, 00198 Roma
tel
+39.06.4991.8412
"lastname"[
_AT_] di.uniroma1.it
Research
Interests. Complexity theory, Logic In Computer Science,
Satisfiability,..
[Papers, Conferences, Journals, Software......]
Teaching
09/10 I sem -- Fondamenti di
programmazione (I anno, can. P-Z)
09/10 I sem -- Teoria della
Dimostrazione (Specialistica)
09/10 II sem -- Gare di Programmazione Algoritmica
(AFC)
------------------------------------------------------------------------------------------------------
Recent Activities
Computer Science Italian Olimpic
Committe
RatLocc 2009:
Workshop on Ramsey Theory in Logic, Complexity and Combinatorics
NoNa Summer School on
Complexity theory
Introduction
to Proof Complexity (A short PhD Course in Salerno)
JSAT- Journal
on Satisfiability Boolean Modeling and Computation
2008
Programming Contest at DI
Students &
PostDocs
Massimo Lauria (06-09 PhD): Now PostDoc at Sapienza University
Alan Skelley (07, PostDoc) Now at Google
Olaf Beyersdorff (09 -10, Postdoc)
Silvia Pragliola (09, Bachelor in Math) Now PhD Student at Liverpool University
Former Affiliations
Universitat
Politecnica de Catalunya (Dept
LSI) Barcelona- Associate Professor (01-05)
University of
Toronto (Dept
of CS) - PostDoc (02-03)
Institute of Advanced Study (School of Mathematics) Princeton -
Member (00-01)