Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, Villetaneuse, France.

Transcription

1 Domenico Ruoppolo CV Personal Information First Name Domenico. Last Name Ruoppolo. Date of Birth December 16th, Place of Birth Naples, Italy. Nationality Italian. Location Address Office B311. Contacts Professional Contacts Laboratoire d Informatique de Paris Nord, Institut Galilée, Université Paris avenue Jean-Baptiste Clément, Villetaneuse, France. Office Phone Mail Web Page Address domenico.ruoppolo@lipn.univ-paris13.fr. ruoppolo. Personal Contacts 25 avenue Parmentier, Paris, France. Home Phone Mob. Phone Mail dom.ruoppolo@gmail.com. ruoppolo 1/6

2 Languages Italian Mothertongue French Advanced Perfectly fluent English Intermediate Conversationally fluent Current Position Research Appointment Qualification Ph.D Candidate in Computer Science. Starting October 1st, Ending December 31th, Supervisors Stefano Guerrini, Giulio Manzonetto. Department Laboratoire d Informatique de Paris Nord (LIPN). Institution École Doctorale Galilée, Institut Galilée. University Université Paris 13, Sorbonne Paris Cité. Teaching Appointment Qualification Teaching Assistant in Computer Science. Starting October 1st, Ending August 31th, Department Département Informatique. Institution Institut Universitaire de Technologie (IUT) de Villetaneuse. University Université Paris 13, Sorbonne Paris Cité. Education Degree Name (Most Recent) Master Degree MScRes in Computer Science. Master Parisien de Recherche en Informatique (MPRI). formally Master 2 Mathématiques specialité Informatique Recherche ruoppolo 2/6

3 Partnership Universities Université Paris 7, École Normale Supérieure de Paris, École Normale Supérieure de Cachan *, École Polythécnique Paris-Saclay. * Enrolling Institution Period Academic Year Syllabus Categories and λ-calculi Linear Logic and Logical Paradigms of Computation Models of Programming Languages: Domains, Categories, Games Foundations of Proof Systems and Proof Assistants Mathematical Foundations of Automata Theory Set Theory and Large Cardinals Logical and Computational Structures for Linguistic Modelling. Internship Report Title (in French): Sémantique Relationnelle λµ-calculus, Internship at LIPN, Université Paris 13. Supervisors: Stefano Guerrini and Giulio Manzonetto Degree Name University (Other) Master Degree MSc in Mathematics. Laurea Magistrale in Matematica. Università degli Studi di Napoli "Federico II". Period Academic Years and Syllabus Master Thesis Degree Name University Foundations of Algebraic Structures Foundations of Higher Mathematical Analysis Elements of Algebraic and Geometric Topology Algebraic Methods for Cryptography Mathematical Methods in Biology Elementary Mathematics From an Higher point of View Set Theory Mathematical Logic Logic and Logic Programming Elements of Theoretical Computer Science Computability and Complexity. Title (in Italian): Dalla Logica di Base al Calcolo UB. Supervisors: Claudia Faggian, Giovanni Sambin and Virginia Vaccaro Bachelor Degree BSc in Mathematics. Laurea in Matematica. Università degli Studi di Napoli "Federico II". Period from Academic Year to Academic Year Syllabus Bachelor Thesis Algebra I Calculus I Geometry I Introduction to Programming Physics I Algebra II Calculus II Geometry II Introduction to Numerical Methods in Programming Physics II Introduction to Mathematical Physics Dynamical Systems Probability and Statistics Elements of Mathematical Economics Elements of Algebraic Geometry Elementary Mathematics Mathematical Education Foundations of Mathematics. Title (in Italian): Assioma di Anti-Fondazione per la Teoria degli Insiemi Zermelo-Fraenkel *. Supervisor: Roberto Tortora Awarded for the Best Italian Bachelor Theses in Logic 2009 by the Italian Association for Logic and its Applications (AILA). ruoppolo 3/6

4 Publications In Proceedings of International Peer-Reviewed Conferences 2014 Relational Graph Models, Taylor Expansion and Extensionality, Electr. Notes Theor. Comput. Sci. 308: , Proc. of MFPS XXX. Co-author: Giulio Manzonetto Meetings International Conferences th International Conference on Mathematical Foundations of Programming Semantics (MFPS XXX), Cornell University, Ithaca, New York, USA, June 12-15, Attending as speaker & co-author of an accepted paper International Workshops 2014 Domains XI, 11th International Workshop on Domain Theory and Applications, Université Paris Diderot, Paris, France, September 8-10, Attending as co-author of an accepted contribution Other Meetings 2014 Semantics of Proofs and Certified Mathematics, Institut Henry Poincaré, Paris, France, Avril-July, A scientific meeting in honor of Antonino Salibra, Laboratory PPS, Université Paris Diderot, Paris, France, June 1-2, Annual Meeting of the Working Group GeoCal (Géométrie du Calcul) of the CNRS National Research Group Informatique Mathématique, École Normale Supérieure de Lyon, Lyon, France, February 15, French ANR Project COQUAS (COmputing with QUAntitative Semantics) Kick-Off Meeting, Institut Henry Poincaré, Paris, France, February 7-8, ruoppolo 4/6

5 Reviews Conferences CSL13. Schools International Schools 2013 Oregon Programming Languages Summer School 2013: Types, Logic, and Verification, University of Oregon, Eugene, Oregon, USA, July 22 - August 3, Level: Graduate National Schools 2009 Italian Summer School on Logic 2009, University of Milan, Gagnano, BR, Italy, August 23-29, Level: Undergraduate Awards and Scholarships 2012 French Government Three-Year Ph.D Scholarship. Received from the Ministère de l Éducation Nationale, de l Enseignement Supérieur de la Recherche 2011 One-Year Graduate Scholarship for the MPRI Master Programme. Received from INRIA (Institut National de Recherche en Informatique et en Automatique) and the École Normale Supérieure de Cachan 2009 Award for the Best Italian Bachelor Theses in Logic Received from the Italian Association for Logic and its Applications (AILA) Teaching Activities Qualification Academic Year Moniteur (Teaching Assistant). ruoppolo 5/6

6 Programme Diplôme Universitaire de Technologie (DUT) en Informatique, Institut Universitaire de Technologie (IUT) de Villetaneuse, Université Paris 13. semester 1 Data Structures and Fundamental Algorithms in C. Lectures, Tutorials & Lab Sections semester 1 Programming Project in C. Evaluation semester 1 Advanced Object-Oriented Programming and Design (Introduction to Design Patterns in JAVA). Tutorials & Lab Sections Qualification Programme Academic Year Moniteur (Teaching Assistant). Diplôme Universitaire de Technologie (DUT) en Informatique, Institut Universitaire de Technologie (IUT) de Villetaneuse, Université Paris 13. semester 1 Data Structures and Fundamental Algorithms in C. Lectures, Tutorials & Lab Sections semester 2 Introduction to Human-Machine Interface in JAVA. Lab Sections Qualification Programme Academic Year Moniteur (Teaching Assistant). Diplôme Universitaire de Technologie (DUT) en Informatique, Institut Universitaire de Technologie (IUT) de Villetaneuse, Université Paris 13. semester 1 semester 2 Computer Architecture. Tutorials Information and Signals. Tutorials ruoppolo 6/6