Loris Dantoni

Associate Professor at UCSD

Role
Amazon Scholar at Amazon Web Services (AWS)
Location
San Diego, CA, US
LinkedIn followers
500 followers
Information TechnologyView LinkedIn profile

About Loris Dantoni

Building tools that produce the code you want

Experience

  1. Amazon Scholar

    Amazon Web Services (AWS)

    Apr 2025 — Present

Education

  • Secondary School E. Guala

    Diploma, Programming and Accounting

    2000 — 2005

  • Università degli Studi di Torino

    Master Degree, Computer Science, Information Management Metodologies

    2008 — 2010

  • University of Pennsylvania

    PhD, Computer Science

    2010 — 2015

  • Università degli Studi di Torino

    Bachelor Degree, Computer Science, Science of Information Management

    2005 — 2008

Skills

  • Formal Languages
  • Formal Verification
  • J2ee
  • Ocaml
  • Software Verification
  • Coq
  • C#
  • Software Development
  • Algorithm Design
  • Formal Methods
  • Automata
  • Java
  • Java Enterprise Edition
  • Complexity Theory
  • Transducers
  • Sql
  • Matlab

Find verified contacts for anyone on LinkedIn

Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.

Free plan included · No credit card required

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.

Loris Dantoni — Amazon Scholar at Amazon Web Services (AWS) in San Diego, CA, US | Unifers