Permanent Members
UNIUD (DMIF):
- Agostino Dovier (Coordinator)
- Andrea Formisano
- Dario Della Monica
- Angelo Montanari
- Alberto Policriti
FROM OTHER UNIVERSITIES:
- Alessandro Dal Palù (Univ. of Parma, Italy, PhD Udine)
- Enrico Pontelli (New Mexico State University, USA)
- Francesco Fabiano (Post DOC, Univ. of Parma, Italy, PhD Udine)
Members (current/recent students)
- Enrico Santi (PhD student, Udine)
- Talissa Dreossi (PhD student, Udine)
- Eugenia Zanazzo (PhD Student, Udine. BD thesis on PILP and Bioinformatics)
- Davide Soldà (PhD Student, TU Wien)
- Michele Collevati (PhD Student, TU Wien)
- Alessandro Burigana (PhD Student, Free Univ of Bolzano, BD on Turing machine simulator, MD on Epistemic Planning)
- Fabio Tardivo (PhD Student NMSU. MD thesis on CUDA CP solver)
Past members (current position may be wrong)
- Marco De Bortoli (PhD Student Graz. BD thesis on PDDL-PICAT, MD thesis on Distributed ASP)
- Alice Tarzariol (Assistant Professor, PhD AAUK Klagenfurt. BD thesis on ASP and cancer Datasets, MD thesis on Portfolio Methods and Algorithm Selection)
- Nicola Rizzo (PhD Student Helsinki. Awarded Icosoku paper)
- Ferdinando Fioretto (Assistant Professor of Computer Science, University of Virginia, PhD in Udine)
- Carla Piazza (PhD in Udine, PO in Udine, member till 2022)
- Federico Fogolari (PA in Udine, member till 2021)
- Luca Bortolussi (PO in Trieste, PhD in Udine)
- Raffaele Cipriano (Orchestra director in USA, PhD in Udine)
- Federico Campeotto (SE in USA. MD and PhD in Udine)
- Federico Igne (PhD, Oxford University. BD and MD on ASP in Udine )
- Stefano Tognazzi (PhD, IMT Lucca. MD thesis on Planning and BDDs)
- Massimiliano Turchetto (PhD – Univ. of Parma)
- Pietro Totis (PhD KU Leuven, BD thesis on Argumentation, MD thesis on Distributed ASP)
- Fra Marco Meneghin (MD thesis on Acritas project)
- Luca Foschiani (AMD Manchester, BD thesis on CUDA, MD thesis on Weather Forecast)
- Giulia Francescutto (BD thesis on CUDA and string matching, MD on ASP and scheduling)
- Gabriele Roncaglia (BD thesis on ASP visualizers)
- Alessio Chiapperini (MD, BD thesis on CUD)
- Gabriele Venturato (BD thesis on CUD, Master Student)
- Federico Zanco (former researcher on Qualibit project)
- Davide Zanucco (former researcher on Tellus project)
- Alberto Marturano (MD thesis on GCC propagation with GPU)
- Marco Penzi (MD on Lazy Nogood Generation and Learning)
- Riccardo Zucchetto (MD thesis on Code cracking with GPUs)
- Stefano De Giorgio (MD thesis on routing algorithms)
- Luca Francescon (MD thesis on the regular constraint)
- Stefano Bortolotti(MD thesis: SEMoLa: Simple and Easy MOdelling LAnguage. Analisi delle tempistiche computazionali e porting di modelli in C++ e CUDA)
- Matteo Dusefante (MD thesis: Un sistema integrato per la predizione di proteine)
- Monica Pitt (MD thesis: Apprendimento Clausale su singoli Thread della GPU)
- Nicola Di Pol (MD thesis: CUD@MiniSAT: implementazione parallela del SAT solver MiniSAT con framework CUDA)
- Francesco Peloi (MD thesis: Apprendimento Clausale e sua realizzazione su GPGPU)
- Giacomo Marcon (MD thesis on Acritas project: Estensioni e applicazioni del configuratore morphos)
- Francesco Contaldo (BD thesis on Picat)
- Gerarduzzi Federico (BD thesis on AI Planning with Picat)