Members

Permanent Members
 
UNIUD (DMIF):
 

OTHER UNIVERSITIES:

Members (current/recent students)

  • Alessandro Burigana (PhD Student, Free Univ of Bolzano, BD on Turing machine simulator, MD on Epistemic Planning)
  • Nicola Rizzo (PhD Student Helsinki. Awarded Icosoku paper)
  • Francesco Fabiano (PhD Student, University of Udine)
  • Federico Igne (PhD Student, Oxford University. BD and MD on ASP. )
  • Fabio Tardivo (PhD Student  NMSU. MD thesis on CUDA CP solver)
  • Marco De Bortoli (PhD Student  Graz. BD thesis on PDDL-PICAT, MD thesis on Distributed ASP)
  • Alice Tarzariol (PhD Student Klagenfurt. BD thesis on ASP and cancer Datasets, MD thesis on Portfolio Methods and Algorithm Selection)
  • Pietro Totis (PhD Student in KU Leuven, BD thesis on Argumentation, MD thesis on Distributed ASP)
  • Luca Foschiani (AMD Manchester, BD thesis on CUDA, MD thesis on Weather Forecast)
  • Eugenia Zanazzo (BD thesis on PILP and Bioinformatics)
  • Giulia Francescutto (BD thesis on CUDA and string matching, MD on ASP and scheduling)

Past members

  • Luca Bortolussi (PA in Trieste, PhD in Udine)
  • Raffaele Cipriano (Orchestra director in USA, PhD in Udine)
  • Federico Campeotto (SE in USA. MD and PhD in Udine)
  • Stefano Tognazzi (PhD graduated – IMT Lucca. MD thesis on Planning and BDDs)
  • Massimiliano Turchetto (PhD graduated – Univ. of Parma)
  • Fra Marco Meneghin (MD thesis on Acritas project)
  • 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)
 

Leave a Reply