Luigi Liquori
Ph.D. H.d.R.
LAM = Lambda-calculus and Types, P2P = Peer-to-peer, OOP = Object-Oriented Programming, CoCo = Computability and Complexity, Fun = Functional Programming, SLP = Cours Sémantique des Langages de Programmation, RT = Réseaux et télécommunications, FAP = Fondements de l’Algorithmique et de la Programmation, CAL = Conception d’Architectures Logicielles, SSI = Sûreté des Systèmes Informatiques, IntroI = Introduction à l’informatique, POOGL = Programmation à Objets et Génie Logiciel, RLC = Réécriture et Lambda Calcul, LSP = Linguaggi Speciali di Programmazione, MathInfo = Mathématique et Informatique, CG = Computer Graphics.
Ph.D.
-
2020–. 100%. Mansur Khazeev, doctorant UCA & Innopolis University, : “Self-amending Programming Languages for Dynamic Smart Contracts in Cryptocurrency” ;
-
2016-2019. 100%. Claude Stolze, doctorant UCA. Domaine Recherche : Lambda-calcul, Théorie des Types et Langages pour Logical Frameworks et Assistant à la Preuve. Bourse MENRT : “Combining union, intersection and dependent types in an explicitely typed lambda-calculus". Claude est Post-doc dans l’Équipe Inria Deducteam.
-
2012-2014. 50%. Riccardo Loti, doctorant Université Nice-Sophia Antipolis & Université Turin, Italie. Domaine Recherche : Protocoles réseaux pair-à-pair basés sur type/ontologie du contenu et video-streaming avec le Prof. R. Gaeta, Université Torino, IT Bourse MENRT Italienne : “Modeling and analysis of techniques to increase robustness in distributed systems”. Riccardo est Head of Research chez Tierra, Italie.
-
2010-2013. 70%. Ngo Hoang Giang, doctorant Université Nice-Sophia Antipolis & HUST, Vietnam. Domaine Recherche : Protocoles réseaux pair-à-pair, basés sur type/ontologie du contenu et systèmes de géolocalisation avec le Prof. Nguyen Chan Hung, Hanoi University of Science and Technology Bourse Evariste Galois : “From inter-connecting P2P overlays to co-operating P2P systems”. Giang travaille au Vietnam comme Software Engineer.
-
2009-2013. 80%. Vincenzo Ciancaglini, doctorant Université Nice-Sophia Antipolis. Domaine Recherche : Protocoles réseaux pair-à-pair, basés sur type/ontologie du contenu et techniques de video-streaming avec J.-C. Pazzaglia, SAP research (20% sur la partie techniques de video-streaming). Bourse MENRT. “From key-based to content-based routing: system interconnection and video streaming applications". Vincenzo est Senior Threat Researcher chez Trend Micro, Japon.
-
2008-2013. 70%. Petar Maksimoviç, doctorant Université Nice-Sophia Antipolis & Université Novi Sad. Domaine Recherche : Lambda-calcul, Théorie des Types et Langages pour Logical Frameworks et Assistant à la Preuve et Logique Probabilistes avec la Prof. Silvia Ghilezan, Université Novi Sad, Serbie “Development and Verification of Probability Logics and Logical Frameworks". Petar est Senior Verification Consultant chez Run Time Verification, UK, et Research Assistant Professor at Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbie.
-
2002-2005. 50%. Benjamin Wack, doctorant UHP Nancy 1. Domaine Recherche : Lambda-calcul, Théorie des Types et Langages pour Logical Frameworks et Term Rewriting Systems avec Claude Kirchner “Typage et déduction dans le calcul de réécriture”. Benjamin est PRAG au Laboratoire Verimag de l’Université Grenoble Alpes.
-
2001-2003. 80%. Alberto Ciaffaglione, doctorant Université Udine et INPL Nancy 1. Domaine Recherche : Lambda-calcul, Théorie des Types et Langages Orientés Objets, représentation et certification nombre réels dans les Logical Framework et Assistant à la Preuve avec Claude Kirchner Bourse MENRT Italienne. “Certified Reasoning on Real Numbers and Objects in Co-inductive Type Theory”. Alberto est enseignant agrégé à l’Université de Udine.
Post-doc. C. Tedeschi (ENS Lyon, 12 mois) ; R. Chand (Eurecom, 12 mois).
Post-doc
-
C. Tedeschi (ENS Lyon, 12 mois) ;
-
R. Chand (Eurecom, 12 mois).
Internship
A. Fadda-Rodriguez (IUT UCA, 3 mois) ; A. Maistre (IUT UCA, 3 mois) ; A. Rosset (IUT UCA, 3 mois) ; A. DiDio (M2 UBINET UCA, 6 mois) ; A.Q. Khan (M2 UBINET UCA, 6+6 mois) ; O. Khramov (M2 UBINET UCA, 6+3 mois) ; B. Shirmard (Polytech Turin, 6 mois) ; L.J. Amas (M2 UCA, 3 mois) ; S. El Khatab (M2 UCA, 6 mois) ; L. Guiglionia (M2 UCA, 3 mois) ; C. Stolze (ENS Rennes, 6 mois) ; V. Michielini (ENS Lyon, 2+3 mois) ; R. Guillot (M1 UCA, 3+3 mois) ; N. Gauche (M1 UCA, 3 mois) ; B. Lissilour (M1 UCA, 3+3 mois) ; R. Guillot (IUT UCA, 3 mois) ; D. DaSilva (Miage UNS, 6+3 mois) ; R. Fritz (M2 UNS, 6 mois) ; S. Dupont (M1 UNS, 3 mois) ; F. Guglielmino (M2 Affaires Internationales Relations franco-italienne, UNS, 6 mois) ; S. Breda (M2 Affaires Internationales Relations Franco-Italienne UNS, 6 mois) ; E. Pellicciari (M2, Affaires Internationales Relations Franco-Italienne UNS, 6 mois) ; N. Goles (M2 Adolfo Ibanez University, 6+3 mois) ; L. Elias (M2 UNS, 6 mois) ; B. Blanchard (M2 UNS, 6 mois) ; E. Gambino (M2 UNS, 6 mois) ; A. Makke (M2 UBINET UNS, 6 mois) ; F. Nicaise (M2 UBINET UNS, 6 mois) ; T. Nguyen (M2 UBINET UNS, 6 mois) ; L. Vanni (M2 UNS, 6 mois) ; J. Kevin (IUT UNS, 3 mois) ; M. Bonamy (ENS Lyon, 2 mois) ; L. Marongiu (IUT UNS, 3 mois) ; A. Paoleschi (IUT UNS, 3 mois) ; B. Marinkovic (MISANU, 3 mois) ; A. Spiwack (ENS Cachan, 3 mois) ; B. Wack (ENS Lyon, 6 mois) ; S. Salvati (M2 Mines Nancy, 6 mois) ; V. Croisier (ENS Cachan, 6 mois).
Engineer
L. Vanni (3 ans) ; M. Casagrande (1 an), V. Mendolia (1 an) ; C. Auburtin (1 an) ; B. Stapor (1 an) ; R. Fritz (6 mois) ; E. Mancini (6 mois) ; S. Spoto (3 mois) ; E. Rol (3 mois) ; R. Jolivet (3 mois) ; M. El-Habib (6 mois).