education

Bachelor & Master

I got my bachelor and master degrees with honours at Alma Mater Studiorum - Università di Bologna (Bologna, Italy).

PhD

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

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. Download BibTeX
2015
A. Aquino. Scalable Program Analysis through Proof Caching. In Proceedings of the International Symposium on Software Testing and Analysis (Doctoral Symposium), 2015. Download 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. Download 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
andrex.aquino@gmail.com
Work Email
aquina@usi.ch
Facebook
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.