Bachelor & Master
I got my bachelor and master degrees with honours at Alma Mater Studiorum - Università di Bologna (Bologna, Italy).
Ph.D.
I am currently working as a Ph.D. student and Teaching Assistant at Università della Svizzera italiana (USI) (Lugano, Switzerland). My advisor is Professor Mauro Pezzè.
STAR Group
I am a proud member of the Software Testing and Analysis Research Group at Università della Svizzera italiana (USI) (Lugano, Switzerland). Check out our website.
About me
My life, my passions and my dreams
My name is Andrea Aquino and I am from Italy. I was born in Battipaglia and I spent my childhood in Matinella, a very small village close to the Greek colony of Paestum.
In 2008, right after high school, I moved to Bologna where I successfully got a master degree in Computer Science with honours 5 years later. I am currently working as a Ph.D. student and Teaching Assistant in Lugano (Switzerland) on a distributed caching framework for formulas from many logics.
I enjoy hanging out with friends, to play guitar and to discuss about logic and math. I do like reading, especially fantasy and sci-fi books. My dream is to become a full-time professor.
Skills
A short summary of my programming skills
Teaching
About my teaching experience
- 2016
- Business Intelligence (Davide Martinenghi, Piero Fraternali)
- 2016
- Software Engineering (Mauro Pezzè)
- 2016
- Software Quality (Mauro Pezzè)
- 2015
- Business Intelligence (Davide Martinenghi, Piero Fraternali)
- 2015
- Software Performance (Matthias Hauswirth)
- 2014
- Business Intelligence (Davide Martinenghi, Piero Fraternali)
Moreover, I spent more than 300 hours tutoring on the following topics:
- Algorithms,
- Calculus,
- Complexity Theory,
- Computability Theory,
- Logic,
- Operating Systems,
- Parallel Algorithms.
Publications
Conferences
- 2017
- A. Aquino, G. Denaro, M. Pezzè. Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions. In Proceedings of the International Conference on Software Engineering, 2017.
BibTeX
- 2015
- A. Aquino. Scalable Program Analysis through Proof Caching. In Proceedings of the International Symposium on Software Testing and Analysis (Doctoral Symposium), 2015.
BibTeX
- 2015
- A. Aquino, F. Bianchi, M. Chen, G. Denaro, and M. Pezzè. Reusing Constraint Proofs in Program Analysis. In Proceedings of the International Symposium on Software Testing and Analysis, 2015.
BibTeX
Contacts
Feel free to send me an email
- Current Address
- Via Al Fiume 8, 6962, Viganello (Lugano, CH)
- Family Address
- Via Cappasanta 1, 84044, Matinella (Salerno, IT)
- Personal Email
- [email protected]
- Work Email
- [email protected]
- Andrea.aquino.matinella
- Italian Mobile
- +39 331 88 07 976
- Skype
- hiddenpentacle
Latest work
Research tools
- Julia (Java)
- Xlogic (C++)
- Utopia (C++)
- Recal (Python)
Notice: all tools are currently under development, write me an email if you need access to any of them.