Members

Permanent Members

Members (current students)

  • Massimiliano Turchetto (PhD student – Univ. of Parma)
  • Federico Igne (MD, BD thesis on ASP and Rubik cube)
  • Marco De Bortoli (MD, BD thesis on PDDL to PICAT translation)
  • Alice Tarzariol (MD, BD thesis on ASP and cancer Datasets)
  • Pietro Totis (MD, BD thesis on Argumentation)
  • Fabio Tardivo (MD)

Past members

  • Federico Zanco (former researcher on Qualibit project)
  • Davide Zanucco (former researcher on Tellus project)
  • Alberto Marturano (MD thesis on GCC propagation with GPU)
  • Marco Meneghin (MD thesis on Acritas project)
  • 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 Tognazzi (MD thesis on Planning and BDDs)
  • 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)
  • Luca Foschiani (BD thesis on CPU propagation of NVIDIOSO)
  • Francesco Contaldo (BD thesis on Picat)
  • Gerarduzzi Federico (BD thesis on AI Planning with Picat)

Leave a Reply