Algorithm Theory Professors and Supervisors in Italy | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 721-735 of 1,105 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Egidio AstesianoView profile

Professor

University of GenoaItaly

Egidio Astesiano is Professor of Computer Science at the Department of Computer Science and Information Science (DISI), University of Genova, where he served as Director since the department's foundation in 1992. He played a pivotal role in establishing Genova's Computer Science program in 1986 and remains actively engaged in European formal methods initiatives including the CoFI Common Specification Framework. His research centers on formal specification techniques with emphasis on algebraic methods for concurrent and reactive systems. Key contributions include foundational work on SMoLCS-driven concurrent calculi, bisimulation in algebraic specifications, and dynamic data type models like D-oids. Current interests focus on integrating formal methods with UML and bridging theoretical frameworks with practical software development processes. Analysis of his 1992-1999 publications reveals consistent innovation in specification methodologies, particularly for concurrency and reactive systems. His work demonstrates strong industry-academia collaboration through ESPRIT, HCM, and Ada FD projects, often translating theoretical constructs into verifiable system specifications for real-world applications like telecommunications and distributed computing. Astesiano founded Genova's Formal Methods research group in the early 1980s, which led major European projects including ESPRIT DRAGON and COMPASS. He coordinates the Reactive Systems Task Group within CoFI and maintains leadership roles in IFIP working groups 2.2 and 14.3, steering AMAST and ETAPS conferences while serving on editorial boards for Science of Computer Programming , Theoretical Computer Science , and Formal Aspects of Computing .

Official University Profile

Paola QuagliaView profile

Associate Professor

University of TrentoItaly

Paola Quaglia is an Associate Professor at the Department of Information Engineering and Computer Science, University of Trento. Her primary teaching activities include courses on Concurrency and Linguaggi formali e compilatori (Formal Languages and Compilers), focusing on shared-memory concurrency and compiler design methodologies applicable to formal/natural language analysis. Quaglia's research expertise spans Algorithms, Concurrency, Process Calculi, Formal Languages, Systems Biology, and Stochastic Processes . Her work bridges computational modeling with biological systems, emphasizing formal verification and concurrent programming paradigms. Notable publication trends include contributions to stochastic process algebra , BlenX/Beta-binders for biological modeling, and model-checking techniques for concurrent systems. She has extensively explored the intersection of programming language theory and computational biology.

Official University Profile

Giorgio AusielloView profile

Professor

Sapienza University of RomeItaly

Giorgio Ausiello is a Full Professor at Sapienza University of Rome, where he is a member of the Algorithm Design and Engineering research group. His office is located in room A101, and his contact telephone number begins with 005. His research spans theoretical computer science with a strong emphasis on graph algorithms, online algorithms, and approximation techniques. Key contributions include foundational work on graph vitality, resilient graph spanners, and combinatorial optimization, particularly in planar and st-planar graphs. His methodological approach integrates theoretical rigor with practical network analysis applications. Analysis of his recent publications reveals dual research trajectories: ongoing technical innovation in graph algorithms (e.g., max-flow vitality computations) and significant historical contributions documenting the evolution of theoretical computer science in Italy and the EATCS society. This combination of algorithmic research and historical scholarship defines his unique academic profile. Scientific awards: No specific awards were mentioned in the provided source materials. Advising and grants: The source materials do not specify any graduate students, postdoctoral researchers, or external research grants. He actively participates in the Algorithm Design and Engineering research group at Sapienza University of Rome, which focuses on both theoretical foundations and practical implementations of algorithmic solutions for complex computational problems.

Official University Profile

Anna Livia CroellaView profile

Assistant Professor

Sapienza University of RomeItaly

Anna Livia Croella is an Assistant Professor at La Sapienza University of Rome, with a tenure-track position at Universitas Mercatorum's Faculty of Technological and Innovation Sciences. She earned her PhD in Operations Research (MAT-09) in May 2022 and MSc in Management Engineering in October 2017 from La Sapienza. She belongs to the Department of Computer, Control and Management Engineering Antonio Ruberti (DIAG) at the Faculty of Information Engineering, Informatics and Statistics. PhD in Operations Research (La Sapienza, 2022) MSc in Management Engineering (La Sapienza, 2017) Research Interests : Croella specializes in Combinatorial Optimization and Mixed Integer Programming , with applications to train dispatching , waste management , and clustering . Her work addresses Job Shop Scheduling and Railway Systems Optimization , particularly in real-time train scheduling and disruption management. Recent research includes fair clustering algorithms and circular economy modeling for municipal waste systems. Publication Trends : Her 15 most recent articles focus on railway optimization (4 papers), waste/biomethane production (3 papers), scheduling (3 papers), and healthcare applications (2 papers). Key methodologies include Mixed Integer Programming , MaxSAT algorithms , and combinatorial modeling . These works span journals like Computers & Operations Research , Computers & Industrial Engineering , and Transportation Science . Scientific Contributions : 400 Outstanding Students Recognition, Sapienza University (2018) AIROYoung Best Thesis Finalist (2022) Honorable Mention, INFORMS RAS Student Paper Competition (2022) Young Women 4 OR Prize, EURO WISDOM Forum (2025) Laboratory Affiliation : Member of DIAG (Dipartimento di Ingegneria Informatica, Automatica e Gestionale) research team, contributing to optimization modeling and algorithm development.

Official University Profile

Domenico LemboView profile

Professor

Sapienza University of RomeItaly

Domenico Lembo is a Full Professor at Sapienza University of Rome, affiliated with the Department of Computer, Automatic and Management Engineering. He is a leading figure in Knowledge Representation and Reasoning, focusing on Description Logics, Semantic Web, and Ontology-Based Data Access (OBDA). His research spans information integration, inconsistency-tolerance, and controlled query evaluation, with significant contributions to theoretical and applied data management. Academic Roles: Full Professor (since 2004), Program Committee Chair for major AI/DB conferences (IJCAI, AAAI, ISWC), Co-founder of OBDA Systems startup Leadership: Head of CAIRNE Rome Office (since 2023), General Chair of SEBD 2025, Vice-President of RR Conference Steering Committee Research Interests: Lembo's work bridges Description Logics with database theory, enabling efficient query answering over inconsistent data. He pioneered DL-Lite framework for tractable ontologies, developed tools like MASTRO and Graphol for visual ontology modeling, and advanced controlled query evaluation with epistemic policies for privacy-preserving systems. Awards: 2021 AAAI Classic Paper Award for DL-Lite 2024 IJCAI Distinguished Paper Award 2020 ISWC Best Poster/Demo Award Exceptional Guest Editor, Semantic Web Journal (2014) Teaching: He teaches courses on databases, data science, and computer science fundamentals. Currently coordinating 'Fondamenti di Programmazione I' and 'Data Management for Data Science', with extensive experience in course design and educational innovation.

Official University Profile

Fabio PatriziView profile

Associate Professor

Sapienza University of RomeItaly

Fabio Patrizi is an Associate Professor in Computer Science at the Department of Computer, Control and Management Engineering (DIAG) at Sapienza University of Rome. He serves as Coordinator of the Bachelor in Information Engineering program at the Latina site. His academic career includes significant service roles such as Editorial Board Member for the prestigious Artificial Intelligence Journal (AIJ) since 2023, Area Chair for ICSOC 2023, and co-chair for the KR 2025 track on Knowledge Representation & Reasoning and Planning & Scheduling. Patrizi's educational background led to National Scientific Habilitation for Full Professorship for sector SC 09/H1 (now GSD 09/IINF-05). His research spans Formal Methods, Knowledge Representation, Machine Learning, Reasoning about Action, Planning in AI, Service-oriented Computing, and Business Processes. His work focuses on theoretical, methodological, and practical aspects including Behavior and Service composition, Planning programs, MAS Verification, Reasoning About Actions, Infinite-plan synthesis, Data abstraction techniques, and Reinforcement Learning with non-Markovian Rewards. His publication record includes over 70 scientific papers in top-level international journals and conferences. Recent research trends show a strong focus on temporal reasoning in reinforcement learning, planning frameworks, process mining, and verification techniques. His work bridges theoretical foundations with practical applications in AI planning and verification. ICDT Test of Time Award on Automatic verification of data-centric business processes (2009) RMIT Visiting Researcher's Award (2011) ICAPS 2024 Outstanding SPC Award Patrizi has supervised 2 PhD students and actively serves on program committees for major AI conferences including AAAI, IJCAI, ICAPS, AAMAS, KR, and ECAI. His research projects include MARLeN (Principal Investigator, 2023-2025), AIPlan4EU (Task Leader, 2021-2023), DRAPE (Principal Investigator, 2019-2022), WhiteMech (Participant, 2019-2024), TAILOR (Participant, 2020-2023), VerySynCopated (Principal Investigator, 2014-2016), ACSI (Participant, 2010-2013), and SM4All (Participant, 2008-2011). He is a member of the Data Management & Service-Oriented Computing and Artificial Intelligence & Knowledge Representation research groups at DIAG, contributing to collaborative efforts in advanced AI research and applications.

Official University Profile

Massimo RomaView profile

Associate Professor

Sapienza University of RomeItaly

Massimo Roma is an Associate Professor of Operations Research at the Department of Computer, Control, and Management Engineering "A. Ruberti" of Sapienza University of Rome. He has been with the university since 1996, initially as an Assistant Professor until 2004, and has served as an Associate Professor since January 1, 2005. In April 2021, he obtained the National Scientific Qualification for Italian Universities as Full Professor of Operations Research, indicating his eligibility for promotion to Full Professor. He teaches Operations Research courses in Bachelor's and Master's programs in Management Engineering and Computer Engineering at the Faculty of Engineering. His educational background includes: M.S. degree in Mathematics (summa cum laude) from the University of Rome "La Sapienza" in October 1988 Ph.D. degree in Operations Research from the University of Rome "La Sapienza" in October 1995 Roma's research focuses on Nonlinear Optimization, with particular emphasis on developing methods and algorithms for solving nonlinear optimization problems. His work has made significant contributions to large scale unconstrained optimization from both theoretical and computational perspectives. He also investigates global optimization and constrained optimization problems with specific structures. A notable aspect of his research involves applying optimization and simulation models to solve real-world problems, particularly in healthcare management and transportation logistics. His publication record demonstrates a consistent focus on advancing optimization techniques, especially in Newton-Krylov methods, negative curvature directions, and large-scale unconstrained optimization. In recent years, he has expanded his research to include simulation-based optimization applications in emergency department management and cruise ship itinerary planning, showing the practical impact of his theoretical work across multiple domains. His scientific recognition includes: AIRO Best Application 2015 award by the Italian Operations Research Society for "Optimal Deployment of a cruise fleet" Prof. Roma serves as a member of the advisory board for the Italian Research Doctorate in Automatica, Bioengineering and Operations Research. He regularly advises Bachelor's and Master's degree theses and has been involved in numerous national and international research projects funded by the Italian Ministry of University and Research. In 2011, he co-founded the Academic Spin-off ACTOR (Analytics, Control Technologies and Operations Research) between Sapienza University and ACT Operations Research. He is an active member of the Continuous Optimization research group at DIAG, which focuses on various aspects of optimization including exact penalty methods, non-monotone methods, preconditioning techniques, derivative-free algorithms, and applications in diverse fields such as healthcare, transportation, and engineering design.

Official University Profile

Valeria MelisView profile

Lecturer

Ca' Foscari University of VeniceItaly

Valeria Melis is a Lecturer at Ca' Foscari University of Venice and the Kore University of Enna, and a Research Fellow at the University of Genoa on the PRIN project 'Laugh Tracks. Greek Comedy in Ptolemaic Egypt.' She earned her PhD in Classical and Modern Cultures (classical curriculum) from the University of Turin in 2014 and a Master's in Digital Humanities from Ca' Foscari in 2020. Her research spans Greek theater, Attic law, digital humanities, and intercultural studies. Affiliations PhD, University of Turin (2014) Master's, Ca' Foscari University (2020) Research Fellow, University of Genoa (2022–present) Editor, Paradoxa series (De Bastiani Editore) Her research focuses on Greek theater (Euripides, Aristophanes), interactions between theater and Attic law, and the language of female characters in tragedy and comedy. She also explores intertextuality in Latin poetry, ancient biography (particularly Plutarch), and the reception of Greek myths in 16th-century Italy. Her work bridges classical philology with digital humanities, emphasizing social reading and manuscript metadata sustainability. Recent publications analyze Penia in Aristophanes' Plutus (2024), Zeus's portrayal in Wealth (2023), and digital tools for Latin intertextuality (2023). She has received grants from Cagliari and Ca' Foscari for research on the ancient world and digital humanities, and collaborates on projects like KomFrag with Freiburg. Scientific Awards Erasmus+ grant Stiftung Humanismus Heute grant As co-editor of the Paradoxa series and member of scientific committees, she contributes to academic publishing. Her teaching experience includes Greek Literature at the University of Sassari and lectures at institutions like Bologna, Oxford, and Tel Aviv. She is involved in research groups Aletheia , Classici Contro , and Wiki-Musisque Deoque .

Official University Profile

Ofer GazitView profile

Associate Professor

Ca' Foscari University of VeniceItaly

Dr. Ofer Gazit is an Associate Professor of Ethnomusicology at the Department of Philosophy and Cultural Heritage, Ca' Foscari University of Venice . Holding a PhD in Music from UC Berkeley (2016), he specializes in jazz migrations, African diasporic music, and the intersection of music with migration, cultural heritage, and social action. Education 2016 PhD in Music, University of California, Berkeley 2010 MA in Historical Musicology, Tel-Aviv University 2009 BA in Musicology and Interdisciplinary Studies, Tel-Aviv University His research explores sonic migration patterns, political economies of jazz, and cultural extractivism through publications like Jazz Migrations (Oxford UP, 2024) and chapters on asylum-seeking music in Israel. His recent ERC Starting Grant (2024–2029) investigates Caribbean musical rhythms in climate disaster contexts. Key scientific awards include ARSC Finalist for Best Historical Research in Recorded Jazz (2021) Fulbright Fellowship (2010–2012) Multiple dissertation and research grants from University of California, Berkeley He has co-organized cross-disciplinary initiatives like the Quadrivium Music and Science lecture series and the Sound Studies and Ethnography Lab in Venice. His fieldwork spans New York, Tel Aviv, and Lagos, analyzing improvisation in migrant communities.

Official University Profile

Federica Maria Giovanna TIMETOView profile

Associate Professor

Ca' Foscari University of VeniceItaly

Federica Maria Giovanna TIMETO is an Associate Professor in Sociology of Cultural and Communication Processes at Ca' Foscari University of Venice's Department of Philosophy and Cultural Heritage. She serves as the University Sustainability Board member and Department Delegate for Inclusion, Sustainability and Gender Equality. Her academic background includes a PhD in Aesthetics of New Media from Plymouth University and a doctorate in Sociology of Communication from University of Urbino, complemented by visiting scholar experience at UC Berkeley. Her transdisciplinary research integrates Cultural Studies, Feminist Technoscience, and Critical Animal Studies, examining: Interspecies social relations and animal sociology Geolocalized identity performances through locative media Technological mediation in human-nonhuman-machine ecosystems Feminist art activism and contemporary iconoclasm Donna Haraway's philosophy and multispecies feminism Publications demonstrate consistent focus on multispecies ethics, feminist technoscience, and posthuman aesthetics since 2017. Recent works (2023-2025) show intensified examination of pandemic-era interspecies relations, AI ethics, and cyborg ecologies, with theoretical foundations in Haraway's situated epistemologies. Professional engagements include membership in the Technoculture Research Unit, editorial roles for Studi Culturali and Lagoonscapes journals, and affiliation with the International Association of Vegan Sociologists. She mentors graduate theses in sociology of art and Critical Animal Studies, requiring methodological proficiency for empirical components.

Official University Profile

Francesco RagazziView profile

Lecturer

Ca' Foscari University of VeniceItaly

Francesco Ragazzi is a Lecturer at the Department of Philosophy and Cultural Heritage , Ca' Foscari University of Venice . His work bridges philosophical inquiry with contemporary art practices, focusing on post-media aesthetics, cartographic theory, and critical cultural discourse. Teaching: Aesthetics in Economics and Management of Arts and Cultural Activities (Master's level) Research Interests: Philosophy of space, digital humanities, trauma representation in art, and critical cartography Recent Research Trends : His 2024 publications examine cartography's philosophical dimensions (JOLMA journal), artistic collaborations (with Oliver Laric and Chiara Fumai), and decolonial curatorial practices. Earlier works analyze post-media sculpture (Tomaso De Luca), digital cinema (2022), and trauma aesthetics (2020-2022). Academic Contributions : He co-edited the 2024 JOLMA special issue on mapping theory, curated monographs on Jonas Mekas (2023), and contributed critical essays on artists like Monia Ben Hamouda and Chiara Fumai. Teaching Portfolio : Currently instructing Aesthetics courses in the Master's program for Economics and Management of Arts and Cultural Activities, focusing on philosophical frameworks for cultural production.

Official University Profile

Giorgio PirinaView profile

Research Fellow

Ca' Foscari University of VeniceItaly

Giorgio Pirina is a Research Fellow at the Department of Philosophy and Cultural Heritage, Ca' Foscari University of Venice. His work intersects digital platform labor, ecological transition, and territorial inequalities. Current Role: Research Fellow in Horizon Europe project "EXIT" (2022–present) Previous Roles: Junior Researcher at University of Coimbra (2021), Research Fellow at Ca' Foscari (2022) Research Networks: Member of Keep the City Ticking (2024–), Laris (2022–), CRIAR (2022–), C.I.Do.S.Pe.L. (2020–) Research Interests: Focus on gig economy dynamics, migrant labor in digital platforms, ecological contradictions of digitalization, and territorial inequalities. Key themes include platform capitalism, extractivism, and the socio-ecological impacts of AI. Teaching: Contract lecturer for Sociology Laboratory and Social Research Methodology courses at Ca' Foscari and Padua University. Editorial Roles: Responsible for the editorial committee of Inequalities journal and member of scientific committees for "Ecologia Politica" and "Ritratti" book series.

Official University Profile

Giuseppa CastiglioneView profile

Researcher

University of PalermoItaly

Giuseppa Castiglione is a Researcher (INFO-01/A) in the Department of Mathematics and Computer Science at the University of Palermo's School of Basic and Applied Sciences. She maintains regular office hours on Tuesdays and Thursdays from 2:00 PM to 3:00 PM in Room 209, second floor, and teaches Theoretical Computer Science for both Computer Science and Mathematics degree programs. Her primary research interests span several interconnected areas within theoretical computer science and discrete mathematics. These include automata theory, formal language theory, combinatorics on words, enumerative combinatorics, and discrete two-dimensional structures. Her work demonstrates a consistent focus on the mathematical foundations of computer science, particularly in the analysis of string algorithms, word combinatorics, and discrete geometric structures. Analysis of her publication record from 2017-2025 reveals a strong concentration on combinatorial aspects of words and automata, with recent work expanding into isometric words, Fibonacci cubes, and Wheeler automata. Her research shows a progression from foundational work on polyominoes and automata minimization toward more complex combinatorial structures and their applications in string processing. Castiglione has participated in numerous significant research projects including the Prin 2010-11 project on mathematical aspects of automata and formal languages, the PO FESR 2007/2013 Neverlost project, PON Research and Competitiveness 2007/2013 SMART HEALTH initiative, and GNCS 2016 on combinatorial methods for handling large data sets. These projects demonstrate her ability to secure competitive research funding across multiple domains. She collaborates with researchers including Marinella Sciortino, Gabriele Fici, Chiara Epifanio, Sabrina Mantaci, and Antonio Restivio, forming a productive research network focused on theoretical computer science and combinatorics. Her extensive publication record in high-quality venues demonstrates her sustained contribution to the field over more than two decades.

Official University Profile

Moshe Y. VardiView profile

Professor

University of BariItaly

Moshe Y. Vardi serves as University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University, representing one of the highest academic distinctions at the institution. His career spans foundational contributions across multiple computing disciplines with global recognition. His research focuses on Theoretical Computer Science, Databases, Software Engineering, and Logic in Computer Science, with over 700 publications establishing him as a pivotal figure in computational theory and its practical applications. His work bridges abstract mathematical concepts with real-world computing systems, particularly in verification and database theory. Vardi has received computing's most prestigious honors, including: ACM SIGACT Goedel Prize for theoretical contributions Knuth Prize for foundational algorithms work ACM SIGMOD Codd Award for database systems innovation IEEE Computer Society Goode Award for computing leadership EATCS Distinguished Achievements Award for theoretical impact Guggenheim Fellowship for scholarly excellence As Senior Editor of Communications of the ACM and member of both the US National Academy of Engineering and National Academy of Sciences, Vardi shapes the field through editorial leadership and policy influence. He holds seven honorary doctorates and fellowships in major computing societies, though specific student advisement details and grant histories aren't documented in the source material. His keynote addresses at international conferences like ICSOFT 2022 continue to drive discourse in software engineering and computational theory.

Official University Profile

Anna NapoliView profile

Associate Professor

University of PalermoItaly

Anna Napoli is an Associate Professor (PHYS-04/A) in the Department of Physics and Chemistry - Emilio Segrè at the University of Palermo. She maintains regular office hours on Mondays from 3:00 PM to 4:30 PM and Fridays from 2:30 PM to 4:00 PM in room 122 at Via Archirafi 36. Her academic activities span teaching and research with a strong focus on quantum mechanics and its applications. Dr. Napoli teaches multiple courses across different programs including Introduction to Quantum Mechanics (6 CFU) for Physical Sciences, Elements of Modern Physics (6 CFU) for Optics and Optometry, and specialized courses in Quantum Thermodynamics. Her most recent teaching assignments for 2025/2026 include Non-Equilibrium Quantum Thermodynamics (3 CFU) and Quantum Thermodynamics (6 CFU) for Physics students, demonstrating her evolving expertise in quantum thermodynamic systems. Her research interests center on quantum information theory, quantum thermodynamics, and the behavior of quantum systems interacting with environments. Analysis of her publication record reveals a strong focus on spin bath interactions, adiabatic quantum processes, quantum synchronization phenomena, and non-Hermitian quantum systems. Over the past five years, her work has increasingly emphasized quantum thermodynamics and energy extraction in quantum systems, while maintaining her foundational work on quantum entanglement and quantum control. Dr. Napoli's publication pattern shows consistent scholarly output with approximately 3-5 papers annually, maintaining an active research program for over two decades with publications dating back to 2002. Her recent work demonstrates a clear evolution from fundamental quantum mechanics toward more applied quantum thermodynamics and quantum information processing topics. Her teaching portfolio demonstrates significant experience across multiple disciplines within physics, from foundational courses like Physics II for Chemical Engineering students to advanced specialized topics in quantum thermodynamics. This breadth of teaching experience complements her research focus, creating a strong synergy between her theoretical research and educational activities.

Official University Profile