Marco Gaboardi

PhD

Marco Gaboardi.

Marco Gaboardi

PhD

Marco Gaboardi

PhD

Research Topics

Programming languages; type systems; verification; language-based security; differential privacy; privacy-preserving algorithms; formal approaches to privacy

Biography Publications Teaching Research

Courses

  • CSE 305—Introduction to Programming Languages (Fall 2018, Spring 2018)
  • CSE 499—Independent Study (Spring 2020, Fall 2019, Spring 2019, Fall 2018, Spring 2018, Fall 2017, Spring 2017, Fall 2016, Spring 2016)
  • CSE 605—Advanced Prog Lang Cepts (Fall 2016)
  • CSE 660—Differential Privacy (Fall 2018, Fall 2017)
  • CSE 700—Independent Study (Spring 2020, Fall 2019, Spring 2019, Fall 2018, Spring 2018, Fall 2017, Spring 2017, Fall 2016, Spring 2016)
  • CSE 711—Seminars (Spring 2017, Spring 2016)
  • CSE 799—Supervised Research (Spring 2020, Fall 2019, Spring 2019, Fall 2018, Spring 2018, Fall 2017, Spring 2017, Fall 2016, Spring 2016)
  • CSE 800—Thesis Guidance (Fall 2020, Spring 2020, Fall 2019, Spring 2019, Fall 2018, Spring 2018, Fall 2017, Spring 2017, Fall 2016, Spring 2016)