Loris D'Antoni

Product Manager

San Diego, California, United States16 yrs 8 mos experience

Highly Stable

Key Highlights

Expert in Formal Methods and Software Verification.
Extensive experience in J2EE and Software Development.
Strong academic background with a PhD in Computer Science.

Stackforce AI infers this person is a Software Development expert with a focus on Formal Methods and J2EE architecture.

Contact

Skills

Core Skills

Formal MethodsTransducersWeb DevelopmentSoftware Development

Other Skills

MatlabSymbolic Tree TransformationsCMSPHPSQLBidirectional ProgrammingJ2EEEclipseAutomataFormal LanguagesAlgorithm DesignJavaJava Enterprise EditionOCamlFormal Verification

About

Building tools that produce the code you want

Experience

16 yrs 8 mos

Total Experience

3 yrs 7 mos

Average Tenure

1 yr 10 mos

Current Experience

Amazon web services (aws)

2 roles

Amazon Scholar

Promoted

Apr 2025 – Present · 1 yr 1 mo

Visiting Academic

May 2022 – Apr 2025 · 2 yrs 11 mos

Uc san diego

Associate Professor

Jul 2024 – Present · 1 yr 10 mos · On-site

University of wisconsin-madison

2 roles

Associate Professor

Promoted

Aug 2021 – Jun 2024 · 2 yrs 10 mos

Assistant Professor

Jul 2015 – Aug 2021 · 6 yrs 1 mo

Microsoft

2 roles

Research Intern

Apr 2013 – Jul 2013 · 3 mos · Redmond

Research on Transducers and design of a domain specific language for symbolic tree transformations and analysis.
Use of such analysis for Augment Reality transformations and skeletons animation. Use of tree transducers for analysis of HTML sanitizers.
Use of String Transducers for analysis of encoder and decoders.

Research Intern

May 2012 – Aug 2012 · 3 mos · Greater Seattle Area

Research on Transducers and design of a domain specific language for symbolic tree transformations and analysis.
Use of such analysis for Augment Reality transformations and skeletons animation. Use of tree transducers for analysis of HTML sanitizers.
Use of String Transducers for analysis of encoder and decoders.

TransducersSymbolic Tree Transformations

University of pennsylvania

3 roles

Teaching Assistant

Jan 2012 – May 2012 · 4 mos

Teaching assistant for Software Foundations (CIS 500, graduate)

Teaching Assistant

Sep 2011 – Dec 2011 · 3 mos

Teaching assistant for Automata, Computability, and Complexity (CIS 262, undergraduate)

PhD Student in Computer Science

May 2010 – Jul 2015 · 5 yrs 2 mos

Research on Formal Methods for Computer Science.
Use of rigorous mathematical techniques for design and analysis of computer systems and their application to a variety of software engineering problems (e.g., requirements engineering, model specification, code design/ generation, testing, implementation verification and validation, software certification).

Formal MethodsMatlab

Universita' degli studi di torino

2 roles

Fellowship researcher

Dec 2009 – May 2010 · 5 mos · Turin, Piedmont, Italy

Research on formal methods to represent biological interactions in membranes.
Application of bidirectional programming pattern to switch from a model with more information to a model with less information and viceversa.

CMSPHPSQLWeb Development

Web Designer

Sep 2009 – Aug 2010 · 11 mos · Turin, Piedmont, Italy

Designed the orientation web site for the department of computer science.
Used CMS (XOOPS) to optimize the process and for the code reuse. Php and SQL skills required during the design.

TransducersSymbolic Tree Transformations

Value team

J2EE Developer and Computer Systems Analysts

Nov 2009 – Dec 2009 · 1 mo

Developed parts of a large scale J2EE project based on a SOA architecture,
Used the IDE Eclipse with plugins,
Database management and analysis using SQL Developer,
Use and adaptation of framework to optimize the implementation (Struts Ibatis Spring),
Developed a tool to extract Excel documents from HTML views,
Developed a log system for the application.

Formal MethodsBidirectional Programming

Value team

J2EE Programmer and Computer Systems Analysts

Sep 2008 – Dec 2008 · 3 mos

Developed UI and business/application logic on a large scale J2EE project based on a SOA architecture,
Used the IDE Eclipse and written library for it to support the project,
Database management and analysis using SQL Developer,
Use and adaptation of framework to optimize the implementation (Struts, Ibatis, Spring),
Programmed all the Back Office management part of the application (GUI and business logic).

J2EESQLEclipseSoftware Development