Members

Permanent Members

Members (current students)

  • Federico Igne (MD on Distributed ASP solvers, BD thesis on ASP, PhD Student in Oxford University)
  • Fabio Tardivo (MD thesis on CUDA CP solver CUBICS, PhD Student in NMSU)
  • Marco De Bortoli (BD thesis on PDDL to PICAT translation, Master Student)
  • Alice Tarzariol (BD thesis on ASP and cancer Datasets, Master Student))
  • Pietro Totis (BD thesis on Argumentation, Master Student)
  • Gabriele Venturato (BD thesis on CUD, Master Student
  • Gabriele Roncaglia (BD thesis on ASP visualizers)

Past members

  • Alessio Chiapperini (MD, BD thesis on CUD)
  • Alessandro Burigana (BD, Turing Machine simulator, see “Software” page)
  • Giulia Francescutto (BD thesis on CUDA and string matching)
  • Massimiliano Turchetto (PhD student – Univ. of Parma)
  • Federico Fogolari (PA in Physics, Univ of Udine)
  • Federico Campeotto (MD and PhD Student, currently researcher at Mathworks)
  • 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