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
Amazon Scholar
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.