Antonio Cansado
Software Engineer
- Role
- L s 2 Software Engineer at Pure Storage
- Location
- Santa Clara, CA, US
- LinkedIn followers
- 500 followers
About Antonio Cansado
A. Cansado is a Software Engineer interested in Distributed Systems and Software Reliability.He obtained his PhD in Computer Science in formal verification of component-based software. He obtained both Masters and Engineer degree with maximum distinction at the Pontificia Universidad Católica de Chile in 2005.His main research interests are in specification and verification of distributed systems, as well as data-mining of large datasets.Specialties: Formal verification, model-checking, component based programming
Experience
L s 2 Software Engineer
Apr 2025 — Present · Santa Clara, CA, US
Education
Université Côte d'Azur
PhD, Computer Science
2005 — 2008
Pontificia Universidad Católica de Chile
Master's degree, Computer Science
1999 — 2005
The Grange School
High School
1997 — 1999
Skills
- Java
- Formal Verification
- C++
- Distributed Systems
- Programming
- Data Mining
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.