Notizie
aa 2026-2027 - Linear Algebra (ACSAI BSc)
- Lectures begin on the 28/9/2026:
- Mondays, 8:15-10:00, Aula 3, Via Tiburtina 205
- Tuesdays, 11:15-14:00, Aula 3, Via Tiburtina 205
aa 2026-2027 - Principles of Computer Science I (Bioinformatics BSc)
- Lectures begin on the 1/10/2026:
- Tuesdays, 8:30-10:45
- Thursdays, 8:45-11:00
- Location: Classroom Psicologia II: located in the building of Fisiologia Generale e Antropologia (CU026, E01PSIL101).
Orari di ricevimento
By appointment.
Curriculum
Before joining Sapienza University as Associate Professor, I was a Poul Due Jensen Associate Professor at Aalborg University in Denmark, a Lise Meitner Fellow at TU Wien in Austria and an Assistant Professor at IMT Lucca in Italy. I was awarded an MSc in mathematics and a PhD in computer science by the LMU Munich in 2010 and 2014, respectively.
My research focuses on formal methods in the area of mathematical modeling, with an emphasis on the efficient simulation and optimization by means of algorithmic model reduction. Models of interest comprise real-world chemical reaction networks, electric circuits, neural networks and quantum circuits.
Insegnamenti
| Codice insegnamento | Insegnamento | Anno | Semestre | Lingua | Corso | Codice corso | Curriculum |
|---|---|---|---|---|---|---|---|
| 10629560 | PRINCIPLES OF COMPUTER SCIENCE I | 1º | 1º | ENG | Bioinformatics - Bioinformatica | 33455 | Curriculum unico |
| 10627226 | LINEAR ALGEBRA | 1º | 1º | ENG | Applied Computer Science and Artificial Intelligence – Informatica Applicata e Intelligenza Artificiale | 33502 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10629106 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10629106 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |