جستجوی استاد راهنمای دانشگاهی

Claudio Sacerdoti Coenمشاهده پروفایل

دانشیار

• Mathematical Knowledge Management
• Interactive Theorem Proving
• Logical Frameworks
• +۱۴ مورد دیگر

Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design

Giancarlo Bigiمشاهده پروفایل

دانشیار

• Operations Research
• Optimization
• Equilibrium Problems
• +۷ مورد دیگر

Giancarlo Bigi is an Associate Professor of Operations Research in the Department of Computer Science at the University of Pisa, Italy. He has been a faculty member since 2000, advancing from Assistant Professor to Associate Professor in 2017. He holds a Ph.D. in Mathematics from the University of Pisa and has achieved national habilitations for both full and associate professorship in Operations Research and Mathematical Methods of Economics. His research is centered on optimization and equilibrium problems, with a strong focus on variational inequalities, game theory, multiobjective optimization, and nonlinear programming. He develops theoretical frameworks and algorithmic solutions for complex equilibrium models, including applications in economics and energy markets. The recent publications highlight a consistent trend in developing and analyzing gap functions, descent algorithms, and penalization techniques for equilibrium and hierarchical programming problems. His work bridges theoretical optimization with practical applications, particularly in modeling oligopolistic markets and decentralized energy systems. Associate Professor, Department of Computer Science, University of Pisa (2017–present) Assistant Professor, Department of Computer Science, University of Pisa (2000–2017) Ph.D. in Mathematics, University of Pisa (1997–2003) Bigi has no explicitly listed scientific awards in the provided material. He has not published any acknowledgments of grants, but his sustained research output suggests ongoing funding support. He collaborates extensively with researchers such as Mauro Passacantando, Marco Castellani, and Massimo Pappalardo. He is affiliated with the Operations Research Group within the Department of Computer Science at the University of Pisa, contributing to a collaborative research environment focused on optimization and decision-making models.

• Theoretical Computer Science
• Concurrency Theory
• Process Calculi
• +۵ مورد دیگر

Davide Sangiorgi is a Full Professor in the Department of Computer Science and Engineering at the University of Bologna, Italy, where he conducts research and teaching in theoretical computer science. His work is affiliated with the College of Science and Engineering, contributing to foundational advancements in computing. His primary research interests lie in theoretical computer science , with a focus on concurrency theory , process calculi such as the pi-calculus, programming language semantics , and type systems for ensuring program correctness. His work bridges formal methods and programming language design, aiming to enhance the reliability and expressiveness of concurrent and distributed systems. Davide Sangiorgi has authored numerous influential publications in top-tier theoretical computer science venues. His research demonstrates a consistent focus on the logical and mathematical foundations of computation, particularly in modeling dynamic and mobile systems. Over the years, his work has evolved to include behavioral equivalences, coinduction, and session types, contributing to both the theory and practical application of secure and correct communication protocols. No scientific awards were mentioned in the provided text. He is actively involved in academic advising and research supervision, though specific names of students are not listed. He has likely secured research grants through national and international funding bodies in computer science, given his senior academic position and research output, although specific grants are not detailed in the source material. Davide Sangiorgi is associated with the Department of Computer Science and Engineering at the University of Bologna, which serves as his primary research and teaching unit. He may collaborate with research groups in programming languages, formal verification, and distributed systems, both within the university and internationally.

Emanuela Merelliمشاهده پروفایل

استاد

• Interactive Computation
• Topological Data Analysis
• RNA Structure Analysis
• +۳ مورد دیگر

Emanuela Merelli is a Full Professor of Computer Science at the University of Camerino. She leads the BioShape & Data Science Lab, established during her coordination of the EU-FET Project TOPDRIM, which focuses on topology-driven methods for complex systems. Her research integrates formal methods, algebraic topology, and data science to study biological systems like RNA folding and immune responses. She has held a Fulbright Fellowship at the University of Oregon (2005) and remains active in European academic initiatives. Research Interests: Interactive computation, topological field theory of data (TFTD), foundations of learning processes, cell cycle analysis in somatic/cancer cells, and complex systems modeling. Her work bridges theoretical computer science with systems biology, emphasizing topological approaches to data analysis. Awards: Fulbright Fellow (2005), Fellow Member of COST Action CA19122 EUGAIn (promoting gender balance in informatics). She contributes to the European Association for Theoretical Computer Science (EATCS) through leadership roles and educational initiatives. Professional Activities: Promotes open-access publications, organizes international conferences (e.g., ICALP 2022), and develops educational programs like the EATCS Young Researchers School on Complexity and Concurrency. Her work also extends to smart housing technologies for elderly care (Progetto SIAMADA) and seismic engineering applications. Labs & Projects: Leads BioShape Lab exploring topological methods in biology and data science. Coordinates EU-funded projects on RNA structure analysis and complex systems.

Barbara Reمشاهده پروفایل

دانشیار

• Process Mining
• Blockchain Technology
• IoT Systems Engineering
• +۴ مورد دیگر

Barbara Re is an Associate Professor at the University of Camerino, specializing in interdisciplinary research at the intersection of blockchain technology, process mining, and IoT systems engineering. Her work emphasizes integrating formal modeling approaches with real-world applications in robotics, digital twins, and smart contract analysis. Key research areas include: Development of BPMN-based frameworks for IoT and multi-robot systems Blockchain applications for choreography-based systems and smart contract auditing Process mining techniques for analyzing robotic and Ethereum-based systems Design of digital twin architectures for industrial and environmental monitoring Recent work highlights include: SAFE Platform : A disaster response system integrating IoT and process-driven protocols ChorChain : Blockchain framework for trustworthy multi-party business processes Fluidware : Model-driven approach for cross-platform IoT applications Her contributions span over 50 academic publications since 2020, with a focus on formal verification, adaptive system design, and interdisciplinary ICT solutions for complex operational environments.

Michele Pasquaمشاهده پروفایل

استادیار

• Computer Science
• Software Engineering
• Static Analysis
• +۳ مورد دیگر

Michele Pasqua is a Tenure-Track Assistant Professor in Computer Science at the University of Verona. His research focuses on software engineering, static analysis, and abstract interpretation, with active participation in conferences like ICSE, ASE, and SAS. He maintains a personal GitHub repository ( michelepasqua.github.io ) and engages in academic event organization. Research interests include automated software engineering, security testing, and formal methods for code verification. Conference involvement spans roles as program committee member (e.g., ICSE 2024, ASE 2025) and organizer (e.g., Lipari Summer School on Abstract Interpretation). No explicit awards or educational details are provided in the scraped text. Recent publication activity includes a 2024 paper (ICSE24) related to software engineering verification techniques, though full details require accessing the associated PDF or BibTeX files in his repository.

Francesco Basileمشاهده پروفایل

استاد

• Control Systems Engineering
• Discrete Event Systems
• Automation and Control Theory
• +۷ مورد دیگر

Francesco Basile is a Full Professor in the Department of Information and Electrical Engineering and Applied Mathematics (DIEM) at the University of Salerno, Italy. He is actively engaged in teaching, research, and academic service, with a strong focus on control systems, automation, and formal modeling of discrete event systems. His research interests lie at the intersection of applied mathematics and engineering, particularly in the areas of supervisory control theory, Petri nets, system verification, and industrial automation. These interests are reflected in his teaching and project supervision. Francesco Basile contributes to international academic collaboration through participation in Erasmus+ programs for study, teaching, and staff training, promoting global engagement in engineering education. He is involved in laboratory activities and research projects related to automation and control systems, supporting both undergraduate and graduate education and research at the University of Salerno.

Federico Bergentiمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Software Engineering
• Multi-agent Systems
• +۴ مورد دیگر

Federico Bergenti is an Associate Professor in Computer Science at the University of Parma, affiliated with the Department of Industrial Systems and Technologies Engineering (DISTI) and the Department of Mathematics, Physics, and Computer Science. He serves as Chair of the AI Lab since 2015 and is actively involved in teaching Artificial Intelligence, Software Engineering, and related courses across multiple degree programs. His educational background includes a Laurea degree (M.Sc.) in Electronic Engineering from the University of Parma (1998) and a Ph.D. in Information Technologies from the same institution (2002). Prior to his academic career, he worked at CSELT S.p.A. (1998-1999) and CNIT (2000-2006). Bergenti's research primarily focuses on Artificial Intelligence and Software Engineering, with special emphasis on multi-agent systems. His work spans agent communication languages, architectures for agent-based middleware, reusability in agent systems, and more recently, agent programming languages based on constraint logic programming. He is among the founders of the JADE initiative and remains active in the Agent-Oriented Software Engineering research community. Analysis of his recent publications reveals a consistent research trajectory centered on agent-oriented programming (particularly JADEScript), indoor positioning systems, neural-symbolic integration, and mathematical modeling of multi-agent dynamics using kinetic theory approaches. His work demonstrates strong interdisciplinary connections between computer science, mathematics, and engineering applications. Professionally, Bergenti has coordinated various scientific initiatives, served on the Senior Program Committee of the AAMAS international conference since 2006, hosted the IEEE WETICE conference in Parma in 2014, and served as Program Chair for WETICE 2016. He has participated in numerous European Commission-funded research projects under the 5th and 6th Framework Programmes. He leads the AI Lab at the University of Parma, where his team develops practical applications of agent-based systems, including indoor localization technologies, health assistance systems, and social network modeling. His research combines theoretical foundations with real-world implementations, particularly through the JADE multi-agent framework.

Riccardo Focardiمشاهده پروفایل

استاد

• Cybersecurity
• Cryptography
• Security APIs
• +۴ مورد دیگر

Riccardo Focardi is a Full Professor at Ca' Foscari University of Venice in the Department of Environmental Sciences, Computer Science and Statistics. He has held this position since September 2017, following roles as Associate Professor (2013–2017) and Researcher (1996–2002). He is also co-founder and Chief Scientist of Cryptosense and 10Sec, startups focused on cybersecurity and IoT security solutions. Education: PhD in Computer Science from the University of Bologna (1999), Laurea cum laude in Computer Science (1993). Research focuses on cybersecurity, cryptography, formal methods for security protocol analysis, and secure hardware/software systems. Notable projects include the Cryptosense Analyzer tool for cryptographic device analysis and contributions to IoT security via 10Sec's fingerprinting technologies. His work on PKCS#11 vulnerabilities and padding oracle attacks has significantly impacted practical cryptographic security. Publications emphasize applied cryptography, API security, and IoT systems. Recent work explores GAN-based authentication (EUAS-GAN) and zero-shot malware detection (Z-MDZS). Over 110 publications span top venues like CRYPTO, CCS, and IEEE S&P. Leadership roles include coordinating national cybersecurity projects (e.g., POR FESR 2017–2020), chairing conferences (ITASEC 2017, CSF 2007), and directing Ca' Foscari's Computer Science PhD program (2012–2019). Active in public engagement, including media appearances on cybersecurity trends. Labs/Teams: Cryptosense (founded 2013), 10Sec (2020), and the DAIS department's security research group. Supervised over 10 PhD students, contributing to academic-industry collaborations in secure systems.

Stefano CALZAVARAمشاهده پروفایل

دانشیار

• Web Security
• Machine Learning
• Formal Methods
• +۴ مورد دیگر

Stefano CALZAVARA is an Associate Professor at the Department of Environmental Sciences, Computer Science and Statistics, Ca' Foscari University of Venice. His expertise spans web security, machine learning, and formal methods. He holds a Ph.D. in Computer Science from his alma mater, following a B.A. and M.A. in the same field. His research focuses on secure web protocols, vulnerability detection, and adversarial machine learning. He teaches courses like Web Security and Computability, and contributes to the Research Institute for Complexity Communications. Notable work includes verifying tree ensembles against evasion attacks and analyzing web session security at scale. Education: Ph.D. Computer Science, Ca' Foscari University of Venice (2010-2012) M.A. Computer Science, Ca' Foscari University of Venice (2007-2009) B.A. Computer Science, Ca' Foscari University of Venice (2004-2007) Research Interests: Web security, including session integrity and content policies Machine learning robustness and certification Formal methods for protocol verification Adversarial attacks and defenses Recent Articles Trends: His recent work emphasizes securing machine learning models against adversarial attacks, formal verification of web protocols, and empirical analysis of web storage vulnerabilities. Publications appear in top venues like ACM CCS and IEEE Security Symposiums. Awards: None explicitly listed. Advising & Grants: Postdoctoral research at Ca' Foscari (2013-2015) and Saarland University (2015). Active in teaching and ethical research governance as an Ethics Commission member. Labs/Teams: Part of the Research Institute for Complexity Communications, focusing on interdisciplinary security challenges.

Salvatore ORLANDOمشاهده پروفایل

استاد

• Computer Science
• Machine Learning
• Data Mining
• +۴ مورد دیگر

Salvatore Orlando is a Full Professor and Director of the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. He holds academic roles including membership in the University Scientific Instrumentation Service Center (CSA) Management Committee and the Academic Senate. His research focuses on machine learning, information retrieval, and data mining, with notable contributions to learning-to-rank algorithms, decision tree ensembles, and adversarial machine learning. Key areas include efficient algorithms for large-scale systems, model interpretability, and fairness in AI. Orlando’s work bridges theoretical advancements with practical applications in database technology and cybersecurity. His recent publications emphasize optimizing ranking models, enhancing algorithm resilience, and addressing ethical considerations in AI systems. He is actively involved in organizing international conferences and serves on program committees, further contributing to the academic community.

Luca Olivieriمشاهده پروفایل

پژوهشگر

• Blockchain Technology
• Software Verification
• Cybersecurity
• +۳ مورد دیگر

Luca Olivieri is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. His research focuses on blockchain technology, software verification, and cybersecurity, with particular emphasis on static analysis of smart contracts and distributed ledger systems. He is affiliated with the Research Institute for Complexity and teaches courses on computer programming and software verification at both undergraduate and doctoral levels. His research interests include blockchain interoperability, smart contract security, privacy-preserving technologies, and compliance with regulations such as the EU Data Act and GDPR. He has contributed to the development of static analysis tools like GoLiSA and MichelsonLiSA, which address challenges in ensuring determinism, data integrity, and vulnerability detection in blockchain ecosystems. Recent work explores cross-chain verification, phantom reads in Hyperledger Fabric, and the integration of general-purpose programming languages (e.g., Go, Java) into blockchain development. His publications appear in venues such as ACM SAC, IEEE Access, and the International Journal on Software Tools for Technology Transfer, reflecting a strong focus on both theoretical advancements and industrial applications. Collaborations with peers like Agostino Cortesi, Fausto Spoto, and Pietro Ferrara highlight his engagement in interdisciplinary research addressing cutting-edge topics in blockchain software engineering and formal verification.

• Computer Science
• Programming Languages
• Blockchain Technology
• +۳ مورد دیگر

Alvise SPANO' is a Researcher at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He is also part of the Research Institute for Complexity. His academic focus includes Blockchain Programming Languages, Programming Languages, and Information Systems. Research projects include ALGOMOVE for Algorand and the RINmaker bioinformatics tool. He has taught courses like Object-Oriented Programming and Introduction to Programming at both undergraduate and doctoral levels. Research interests span smart contract analysis, type systems, and cybersecurity in distributed systems. He contributed to projects like secure RPL for mobile networks and Android-LEGO interoperability. Funding includes the CEVID 2016 project (Role: LD), collaboratively managed with researchers like Agostino Cortesi and Salvatore Orlando. His work bridges theoretical foundations (e.g., COBOL code typing) with practical applications in wearable systems and bioinformatics. Collaborations include the Blockchain Programming Languages research group with Lorenzo Benetollo and Sabina Rossi.

• Constraint Programming
• Algorithm Selection
• String Constraint Solving
• +۴ مورد دیگر

Roberto Amadini is an Associate Professor in the Department of Computer Science and Engineering at the University of Bologna. His work focuses on constraint programming, algorithm selection, and string constraint solving, with applications in cloud-edge computing and IoT systems. He leads research in deploying microservices over hybrid infrastructures and optimizing solver portfolios for constraint satisfaction problems. Research interests include advanced constraint solving techniques, formal methods for software analysis, and energy-efficient resource allocation. Amadini’s contributions span the design of frameworks like FREEDA and SUNNY-as2, which enhance deployment resilience and algorithm selection efficiency. His work bridges theoretical foundations with practical implementations in programming languages and verification tools. Recent publications explore sustainable cloud-edge applications, failure-resilient systems, and dynamic symbolic execution. He actively contributes to open-source projects like JSetL and participates in international solver challenges. No awards are explicitly listed in the provided materials. Amadini’s research group addresses cutting-edge challenges in distributed computing and constraint-based methodologies. Ongoing projects focus on optimizing solver portfolios for real-world computational tasks and advancing string analysis techniques in programming paradigms.

• Gravitational Physics
• Relativistic Astrophysics
• Experimental Physics
• +۳ مورد دیگر

Giacomo Ciani is an Associate Professor in the Department of Physics at the University of Trento. His research focuses on gravitational physics, experimental verification of general relativity, and gravitational wave detection. He teaches courses such as Elements of Astrophysics and Gravitational Cosmology , covering foundational concepts in relativity and their applications in astrophysics and cosmology. His expertise includes data analysis, signal processing, and laboratory experiments. In Physics 1 (taught in the Civil Engineering program), he emphasizes classical mechanics and experimental methods. He also leads the Physics Laboratory I course, where students learn experimental design, data analysis, and error evaluation in mechanics and thermodynamics. His work bridges theoretical concepts with practical applications in advanced physics experiments.