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

• Distributed Systems
• High-Performance Computing
• Fault Tolerance
• +۵ مورد دیگر

Ozalp Babaoglu is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. He has held this position since 1987, following a PhD in Computer Science from the University of California, Berkeley in 1981. His research focuses on distributed systems, High-Performance Computing (HPC), fault tolerance, self-organization, and machine learning applications in data-driven autonomics. He has led numerous European research projects like BROADCAST, CABERNET, ADAPT, BISON, and DELIS, contributing to foundational work in biology-inspired distributed algorithms and gossip-based systems. He co-founded the Bertinoro International Center for Informatics (BiCi) in 2001 and the IEEE SASO conference series in 2007. Babaoglu is a Fellow of the ACM (2002) and has received prestigious awards, including the Sakrison Memorial Award (1982) and the USENIX Lifetime Achievement Award (1993). His contributions to BSD Unix and open standards are seminal, including virtual memory extensions during his PhD. Babaoglu has served on editorial boards for ACM Transactions on Autonomous and Adaptive Systems, and previously for ACM Transactions on Computer Systems and Distributed Computing. His recent work addresses HPC fault classification, data-driven resource allocation, and energy-efficient computing in hybrid systems. He actively advises on European projects and explores cognitive paradigms in distributed systems.

Bartolomeo Montrucchioمشاهده پروفایل

استاد

• Computer Vision
• Quantum Computing
• Image Processing
• +۵ مورد دیگر

Bartolomeo Montrucchio is a Full Professor of Information Processing Systems (ING-INF/05) at the Department of Control and Computer Engineering (DAUIN) of the Polytechnic University of Turin. He is a member of the Interdepartmental Center Photonext - PoliTo Interdepartmental Center on Applied Photonics and serves as deputy director at the Interuniversity Center of Regional Interest for the Training of Secondary School Teachers (CIFIS) since July 2012. Additionally, he has held an adjunct professor position at the University of Illinois at Chicago during July 2008. Professor Montrucchio's research spans several cutting-edge areas with a primary focus on quantum computing, computer vision, and sensor networks. His work encompasses image processing, scientific visualization, parallel and distributed systems, and wireless sensor networks. He actively contributes to European research initiatives including the EQUO (European QUantum ecOsystems) project as Scientific Responsible. His research bridges theoretical computer science with practical applications across multiple industries. His publication record shows a strong trajectory toward quantum technologies, with numerous recent publications focusing on quantum machine learning, quantum algorithms for financial applications, and quantum applications in cybersecurity. His work demonstrates increasing emphasis on practical implementations of quantum computing in real-world scenarios, particularly in industrial settings and telecommunications. Best student paper award at BIOSIGNAL2002, conferred by EURASIP, Italy (2002) Associate Editor of IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY (2019-present) Professor Montrucchio actively supervises numerous PhD students working on quantum computing applications across various domains including finance, cybersecurity, traffic optimization, and industrial use cases. His teaching portfolio includes courses on Quantum Computing, Parallel and Distributed Computing, and Image Processing and Computer Vision across multiple degree programs including Computer Engineering, Biomedical Engineering, and Quantum Engineering. He leads multiple research projects funded by both competitive calls and commercial contracts, with a significant focus on quantum technologies since 2019. His patent portfolio includes several inventions related to tire manufacturing processes and visual rehabilitation for telemedicine.

Enrico Tronciمشاهده پروفایل

استاد

• Model Checking
• Cyber-Physical Systems
• Software Engineering
• +۷ مورد دیگر

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)

Michael Lodiمشاهده پروفایل

استادیار

• Computer Science Education
• Computational Thinking
• K-12 Education
• +۵ مورد دیگر

Michael Lodi is a Junior Assistant Professor (fixed-term) in the Department of Computer Science and Engineering at the University of Bologna since February 2023, specializing in Informatics (INFO-01/A). Previously, he served as a Research Fellow and Adjunct Professor of Computer Science Education at the same department from November 2019 to 2022. His academic credentials include a Ph.D. in Computer Science and Engineering (2020, University of Bologna, grade: excellent), a Master's degree in Computer Science (Theoretical CS, cum laude, 2014), and a Bachelor's degree in Computer Science (cum laude, 2010), all from the University of Bologna. He also holds a High School teaching license in Computer Science (2015, grade: 99/100). Dr. Lodi's research centers on integrating Computer Science and Computational Thinking into K-12 education, with intense focus on teacher training and professional development. He pioneered studies on "Computer Science Growth Mindset" and expands his work to cryptography education, High Performance Computing (HPC), and quantum computing pedagogy. His research bridges theoretical computer science with practical classroom applications, emphasizing scalable teacher development models. His notable recognitions include: Two-year post-doc research grant for CS Education (2019-2021) Italian Ministry of Education PhD grant (2016-2019) 3rd place at University of Bologna's Three Minute Thesis competition (2018) AICA-Rotary International 'ETHICS' prize for master's thesis (2015) AILA Price 3+2 for bachelor's thesis in Logic (2011) High School Italian Excellence monetary award (2007) Dr. Lodi maintains active research collaborations including membership in INRIA Focus team (Sophia Antipolis, 2017-present) and a visiting researcher position at University of Canterbury's Computer Science Education Research Group (2018-2019). His work integrates international perspectives with Italian educational frameworks to advance computational thinking curricula.