جست‌وجوی استاد و پژوهشگر

Marco Bernardoمشاهده پروفایل

استاد

• Theoretical Computer Science
• Semantics of Programming Languages
• Software Correctness Verification
• +۴ مورد دیگر

Marco Bernardo is a Full Professor of Informatics at the University of Urbino Carlo Bo, where he joined in 2001 after positions at the University of Torino (Ricercatore) and the University of Bologna (Researcher). His research focuses on theoretical computer science, particularly semantics of programming languages, software correctness verification, process algebra, and formal methods. He authored over 130 publications, including the book A Process Algebraic Approach to Software Architecture Design (Springer, 2010), and contributed to highly cited work in stochastic process modeling. He has held significant administrative roles, including President of the School of Sciences, Technologies and Philosophy of Information (2021–2027), Vice-Director of the Integrated Didactic Services and E-Learning Center, and led digitalization initiatives like the UniDem project. Ph.D. in Informatics, University of Bologna (1999) Laurea in Scienze dell'Informazione, University of Bologna (1994) Visiting PhD Student, North Carolina State University (1997) His research spans process algebra , noninterference analysis , and blockchain verification , with applications in software architecture design and formal methods . He has contributed to national research projects as Principal Investigator (PRIN NiRvAna 2022–2025, PRIN PaCo 2008–2010) and Workpackage Leader (PRIN CINA 2013–2016). His 2016 paper on mixed behavioral equivalences was recognized as highly cited by Elsevier's Information and Computation . World's Top 2% Scientists List (PLOS, 2020) Elsevier Information and Computation Highly Cited Research (2016) EATCS Italian Chapter Thesis Award (1999) Marco has taught courses in procedural programming, logic programming, functional programming, and theory of computation since 2001. He directed the Bertinoro Summer Schools on Formal Methods (SFM) and co-founded the IFIP WG 1.8 seminar series on concurrency theory. He also designed e-learning platforms and digital administrative systems for the University of Urbino, including Moodle integrations and open-source tools like UniContr and UniConv.

Gaia Gambarelliمشاهده پروفایل

پژوهشگر

• Digital Humanities
• Computational Linguistics
• Data Privacy
• +۳ مورد دیگر

Gaia Gambarelli is a PhD student and Postdoctoral Researcher at the University of Bologna, affiliated with the Department of Classical Philology and Italian Studies (FICLIT). She earned a Master’s degree in March 2019 in Italianistica, Scienze Linguistiche e Culture Letterarie Europee with a focus on Computational Linguistics. Her current research centers on protection of Sensitive Data through textual identification , and she works concurrently as a conversational agent expert at Ellysse srl. Her academic and professional work bridges Digital Humanities and Computational Linguistics , emphasizing data privacy and textual analysis in interdisciplinary contexts.

Matthias Heilerمشاهده پروفایل

مدرس

• Web Technologies
• RESTful services
• Cloud infrastructure
• +۶ مورد دیگر

Matthias Heiler is a Lecturer in the Department of Computer Science at the Free University of Bozen-Bolzano, Faculty of Engineering. He concurrently serves in SAP's sales department, leveraging over 25 years of industry experience that includes prior roles at Lufthansa and a consulting firm. His research spans Web Technologies , RESTful services , Cloud infrastructure (Docker, Kubernetes), Machine Learning , Microservices Architecture , and ERP systems . This interdisciplinary focus bridges academic theory with practical industry applications. He has authored key publications including books on executable processes and SAP NetWeaver development, reflecting his expertise in enterprise software and systems integration.

• Computational Physics
• Materials Science
• Quantum Mechanics
• +۵ مورد دیگر

Maurizio Dapor serves as Contract Professor in the Department of Physics at the University of Trento, teaching Computational Methods for Transport Phenomena since 2017. He concurrently holds Senior Researcher positions at the European Center for Theoretical Studies in Nuclear Physics and Related Areas (ECT*) since 2015 and leads the Interdisciplinary Laboratory of Computational Science at the Bruno Kessler Foundation (FBK) since 2010, where he has been a Researcher since 1986. Education: PhD in Materials Science and Engineering, University of Trento Bachelor of Physics, Summa cum laude, University of Trento His research specializes in computational simulations of electron and positron interactions with matter using Monte Carlo methods, quasi-relativistic cross-section calculations (Mott theory), and energy loss functions (Ritchie's dielectric theory). This work bridges quantum mechanics, materials science, and nanotechnology, with applications in layered materials and electron microscopy. Scientific Awards: National Scientific Habilitation for Full Professor in Theoretical Physics of Matter (2019-2028) National Scientific Habilitation for Full Professor in Experimental Physics of Matter (2018-2027) As Head of FBK's Interdisciplinary Laboratory of Computational Science, he directs research in computational physics methodologies. His international collaborations include ongoing Visiting Professorships at Gdansk University of Technology and prior appointments at the University of Alicante and University of Sheffield.

• Cultural Heritage
• Geographic Information Systems
• Photogrammetry
• +۳ مورد دیگر

Michele De Chiaro serves as a Part-Time Lecturer and Course Collaborator at Politecnico di Torino's Interuniversity Department of Regional and Urban Studies and Planning (DIST), while concurrently pursuing his PhD (XXXVII Cycle). His current teaching includes Designing the Resilient Transition of Cities and Territories for Aerospace Engineering (2025/26) and prior collaboration on Geomatics Laboratory for Architectural Modeling for Architecture students. His research specializes in cultural heritage risk characterization through Geographic Information Systems and photogrammetry, with emphatic case studies on the Ivrea Seminary's functional transformation and the Piedmontese Po Park's conservation planning. This work bridges architectural history, urban resilience, and digital documentation to address Sustainable Development Goals 11 (Sustainable Cities) and 4 (Quality Education), emphasizing practical survey tools for historical investigations in evolving urban landscapes. Recent publications reveal consistent methodological innovation in heritage space analysis, particularly through spatial modeling of adaptive reuse scenarios and protected area management. His approach integrates civil engineering principles with computational cultural modeling to generate actionable conservation frameworks. As an editorial board member of HEREDIUM since 2020, De Chiaro contributes to advancing digital humanities discourse. While not formally supervising graduate students, he actively mentors undergraduates in geospatial applications through course-based projects, fostering technical skills in heritage documentation and urban analysis.

• Quality Management
• Sustainable Manufacturing
• Artificial Intelligence Applications
• +۳ مورد دیگر

Stefano Puttero serves as a Research Fellow at the Department of Management and Production Engineering (DIGEP) of the Polytechnic University of Turin, concurrently holding external teaching appointments across multiple engineering programs. His research spans critical domains in modern manufacturing: Quality Management systems and laboratory applications Sustainable production with circular economy focus AI integration for defect detection and process optimization Collaborative robotics implementation in quality control Reliability engineering for automotive and electronics sectors Electronic waste recycling and remanufacturing methodologies Analysis of his 2025 publications reveals a cohesive research trajectory centered on technological solutions for sustainable manufacturing. His work consistently bridges economic analysis with engineering innovation, particularly in automotive markets and electronics recycling. Key emerging themes include AI-driven PCB remanufacturing, collaborative robotics for quality assurance, and integrated sustainability frameworks for used car markets.

• Advanced and sustainable manufacturing
• Circular economy
• Discrete event simulation
• +۱۱ مورد دیگر

Claudio Castiglione is a Fixed-term Assistant Professor at the Department of Management and Production Engineering (DIGEP) at Politecnico di Torino, Italy. His research focuses on Advanced and Sustainable Manufacturing , Circular Economy , and Process Mining within the domain of Industrial Engineering. Scientific Disciplinary Sector: IIND-04/A - Manufacturing Technologies and Systems ERC Sectors: Control Theory, Scientific Computing, Simulation Engineering SDG Goals: Industry Innovation (9), Responsible Consumption (12) His recent work emphasizes digital twin generation for manufacturing systems using production data and process mining techniques. This research aims to enhance resource management by improving environmental sustainability and technical performance. His publications from 2024-2018 span topics like Scheduling Optimization , Industrial Symbiosis , and Waste Valorization . Key Article Trends : Digital twin methodologies for manufacturing Circular economy implementation at scheduling level Multi-layer performance assessment frameworks Stakeholder-driven sustainable production networks Matheuristic algorithm applications in scheduling Inventory balancing in customer-driven demand He teaches Management Systems Simulation and Production Planning and Control at the Master's and Bachelor's levels in Management Engineering. Despite extensive collaborations, no formal student advising roles or scientific awards are documented in the provided information.

• Ophthalmology
• Retinal and Choroidal Pathology
• Optical Coherence Tomography (OCT)
• +۳ مورد دیگر

Solmaz Abdolrahimzadeh is an Associate Professor at the Department of Neuroscience, Mental Health and Sensory Organs (NESMOS) at Sapienza University of Rome, with concurrent roles as a Consultant Ophthalmologist and Tenure Track Researcher at Sant'Andrea Hospital. Her clinical and research expertise focuses on retinal and choroidal pathologies , particularly in neurodegenerative diseases and ocular manifestations of rare systemic conditions like neurofibromatosis type 1 and Sturge-Weber syndrome. Education: Medical Doctor (1989, summa cum laude ), Ophthalmology Specialty (1994, cum laude ), PhD in Cell Biology (2016, University of Kent) Key research areas: Optical Coherence Tomography (OCT) imaging, anti-VEGF therapy, choroidal vascularity, and microvascular changes in AMD, Alzheimer's, and diabetic retinopathy Her recent publications analyze choroidal vascularity indices , retinal biomarkers in neurodegenerative diseases, and predictive AI models for AMD. She serves as Associate Editor for BMC Ophthalmology and Topic Editor for the International Journal of Molecular Sciences. Scientific awards include competitive fellowships from Istituto Superiore di Sanità and Editor's Choice recognition in the British Journal of Ophthalmology . She leads multicenter trials on ocular vascular alterations and collaborates internationally, including with University Hospital Zurich.

Paolo Baldanمشاهده پروفایل

استاد

• Formal Methods for Software Reliability
• Programming Languages
• Concurrency Theory
• +۶ مورد دیگر

Paolo Baldan is a Professor of Computer Science at the Department of Mathematics of the University of Padova, where he maintains office 6DA6. Previously, he served as an assistant professor at the University of Venice's Computer Science Department and as a PostDoc Researcher at the University of Pisa's Department of Computer Science. His research focuses on Formal Methods for Software Reliability and Programming Languages , with particular expertise in Concurrency Theory, Petri Nets, and Graph Transformation Systems. Professor Baldan has led multiple research projects including the current MUR Project RAP (2023-2025) and previous initiatives like ASPRA (2019-2022) and ANCORE (2015-2016). His publication record spans journal articles, conference papers, and technical reports in theoretical computer science. His recent work examines resource awareness in programming, program analysis techniques, and verification of concurrent systems. The publications demonstrate consistent contributions to formal methods with applications to software reliability. Professor Baldan actively participates in the academic community through conference organization and committee work, including involvement with CALCO, Petri nets conferences, and ICGT. His upcoming commitments include CSL 2026. He teaches courses including Computability , Languages for Concurrency and Distribution , and Algorithms and Data Structures at the University of Padova. Office hours are held Wednesdays 11:00-13:00, requiring advance contact for meetings.

• High Performance Computing
• Grid Computing
• Cloud Computing
• +۴ مورد دیگر

Giovanni Aloisio serves as full professor of Information Processing Systems at the University of Salento's Department of Innovation Engineering, where he leads the HPC laboratory. Concurrently, he directs the Supercomputing Center and Scientific Computing and Operations (SCO) Division at the Euro-Mediterranean Center on Climate Change (CMCC), holding key roles in CMCC's Governance bodies, Strategic Council, and Executive Committee. His research spans high performance computing, grid/cloud systems, and distributed data management with strong climate science applications. A co-founder of the European Grid Forum (Egrid), he has driven major EU initiatives including EGEE, IS-ENES1/2, and EESI/EESI2 projects while chairing the Weather, Climate and solid Earth Sciences (WCES) European Working Group. His work focuses on integrating HPC, big data, and machine learning for climate modeling and environmental analysis. Recent publications reveal a convergence of computational techniques addressing climate science challenges, featuring end-to-end workflows, climate data spaces in the European Open Science Cloud, and AI applications for tropical cyclone tracking and epidemiological modeling. The research demonstrates systematic integration of simulation, analytics, and machine learning across climate and public health domains. No specific scientific awards are documented in the source material. Professor Aloisio has secured substantial European research funding through leadership roles in critical infrastructure projects: EU-FP7 IS-ENES1/IS-ENES2 projects as CMCC responsible EU-FP7 EESI/EESI2 projects as ENES responsible Chair of WCES European Working Group Key expert in International Exascale Software Project (IESP) He operates at the intersection of academic and research institution leadership, directing both the University of Salento's HPC laboratory and CMCC's Supercomputing Center while collaborating with the ENES HPC Task Force and European Grid Initiative to advance computational climate science infrastructure.

• Cultural Heritage
• Urban Planning
• Sustainability Sciences
• +۳ مورد دیگر

Farzaneh Aliakbari is a Ph.D. candidate in Urban and Regional Development (2021-2024) at Politecnico di Torino, concurrently serving as a teaching collaborator (Docente esterno) in the Interuniversity Department of Regional and Urban Studies and Planning (DIST) and the Department of Architecture and Design (DAD). Her research focuses on cultural resilience, digital heritage, sustainability, and urban planning, informed by ERC sectors like computational cultural modeling and GIS spatial analysis. Teaching engagements include collaborative roles in courses like History of Architecture and Cities Lab B (2022–2025), emphasizing historical and contemporary architectural studies. She contributes to projects such as the EU-funded RURITAGE (2020–) and MNEMONIC_Atlante (2020–), advancing cultural memory and resilience initiatives. Her publications address pandemic-era adaptations in cultural heritage preservation, ethical challenges in digital platforms, and indoor environmental quality assessments in educational spaces. Aliakbari’s work aligns with UN SDGs 3 (Health), 4 (Education), and 11 (Sustainable Cities), reflecting her interdisciplinary approach to urban and cultural challenges.

Didier Galmicheمشاهده پروفایل

استاد

• Computer Science
• Proof Theory
• Automated Deduction
• +۲ مورد دیگر

Didier Galmiche is a Professor of Computer Science at Université de Lorraine, where he serves as Scientific Leader of the TYPES Group (Logic, Proof Theory and Programming) and Director of the Master Programme in Computer Science. He directs the DEPEND Erasmus Mundus Joint MSc in Advanced Systems Dependability. His research centers on computational logic, automated deduction, and formal verification, with specific interests in proof-search methods, substructural logics, and logical modeling of concurrent systems. The TYPES group develops software tools for theorem proving including IBiS, SigBi, STRIP, and BILL. Recent publications focus on separation logic, epistemic logics, and tableaux methods, demonstrating applications in program verification and automated reasoning. His work shows consistent innovation in proof-theoretic approaches across intuitionistic, linear, and non-commutative logics. He leads multiple research initiatives including the OPERATION CONTRA project studying logical methods for system reliability. No scientific awards are mentioned in the provided materials. Galmiche heads the TYPES group at LORIA UMR 7503, collaborating with researchers including Nicolas Biri and Daniel Mery.

• Theoretical Computer Science
• Formal Methods
• Cybersecurity
• +۳ مورد دیگر

Roberto Segala is a Full Professor at the Department of Computer Science, University of Verona. His academic career spans over two decades, with a focus on formal methods and theoretical computer science. Academic Sector: INFO-01/A - Informatics Research Interests: Algorithms, Security, Cryptography, Hybrid Systems, Formal Verification Research Highlights: He specializes in concurrent stochastic and hybrid models for distributed systems, with applications in cloud computing security, autonomous vehicles, and cryptographic protocols. His work includes development of Probabilistic Automata and Hybrid I/O Automata. Teaching: Roberto has taught courses like Algorithms and Cryptography across multiple academic years (2000-2025), covering both undergraduate and graduate levels. Leadership Roles: Actively involved in departmental governance as a member of the Computer Science Teaching Committee and Department Council.

• Static Program Analysis
• Software Verification
• Blockchain Technology
• +۷ مورد دیگر

Nicola Fausto Spoto is an Associate Professor in the Department of Computer Science at the University of Verona, specializing in Informatics (INFO-01/A academic sector). His research falls under ERC sectors PE6_3 (Software engineering, programming languages and systems) and PE6_4 (Theoretical computer science, formal methods, automata). His primary research interests include Static Program Analysis for object-oriented languages focusing on correctness and security properties, Blockchain and Smart Contracts development, and Program Semantics for characterizing security problems. He leads research in the SPY (Formal Methods) Laboratory and is involved with the Blockchain research group which focuses on blockchain technology applications and smart contract infrastructure. Prof. Spoto serves as Chair of the Spin-off Commission and is a member of several important bodies including the Faculty Board of PhD in Computer Science, Computer Science Teaching Committee, and Computer Science Department Council. His current teaching responsibilities include Introduction to Programming, Programming I, Programming II and Software Engineering, and Introduction to Blockchain for the PhD program. He is actively involved in multiple research projects, with the most recent being 'In search of evidence of stealth cyber threats - COVERT' (starting June 2024), 'Organisation of informative events for SMEs in Veneto region' (starting September 2023), and 'Study and formalization of an algorithm for dynamic vehicle rental pricing determination' (starting July 2023).

Marino Miculanمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Distributed Systems
• +۳ مورد دیگر

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects. His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions. Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.