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

• Computer Science
• Electronic Engineering
• Integrated Circuit Testing
• +۶ مورد دیگر

Marcello Dalpasso is an Associate Professor of Computer Science at the School of Engineering, University of Padova, Italy, and a member of the Department of Information Engineering. He has held this position since 2004 after serving as a researcher and teaching assistant at the same university from 1998. Born in Ferrara, Italy (1965) Graduated with highest honors in Electronic Engineering (1990), University of Bologna PhD in Electronic Engineering and Computer Science (1994), Rome His research focuses on integrated circuit testing , fault simulation , and algorithm design . He has developed techniques for IDDQ testing , bridging fault modeling , and Boolean satisfiability applications in digital systems. Other contributions include optimization algorithms for Traveling Salesman Problem (TSP) and efficient data structures. Recent publications highlight his work on Answer Set Programming for timing analysis, Python programming education , and TSP neighborhood exploration . His research spans both theoretical and applied domains, from hardware testing to software development and computational biology. He has co-authored textbooks on Computer Networks , Software Design , and Programming in Java/Python/C++ , serving as a key contributor to educational materials in computer science.

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)

Rino Ragnoمشاهده پروفایل

استاد

• Drug Design
• Computational Chemistry
• Medicinal Chemistry
• +۳ مورد دیگر

Dr. Rino Ragno is a Full Professor at the Department of Chemistry and Pharmaceutical Technology , Sapienza University of Rome. His academic career spans decades of innovation in drug design , computational chemistry , and machine learning applications for chemical-biological systems. He teaches courses like Pharmaceutical and Toxicological Chemistry I and Computational Medicinal Chemistry , accessible via elearning.uniroma1.it. Research focuses on small molecule design , natural product analysis , and predictive modeling Developed the 3D-QSAR PORTAL for molecular modeling and drug discovery Active in essential oil characterization for antimicrobial, anticancer, and anti-inflammatory applications Recent publications emphasize machine learning classification models for essential oil activity prediction, anti-Bcl-2 cancer therapies , and AI-driven drug discovery . His lab employs multidisciplinary approaches combining experimental data with computational analysis to identify bioactive compounds and optimize drug candidates. The 3D-QSAR PORTAL, a free non-profit web platform, enables conformational analysis , molecular docking , and 3D-QSAR modeling accessible across electronic devices. Current projects include essential oil-based biocides for cultural heritage conservation and nanoemulsion formulations for drug delivery systems.

• Numerical Analysis
• Virtual Element Methods
• Partial Differential Equations
• +۳ مورد دیگر

Andrea Borio is an Associate Professor at the Department of Mathematical Sciences 'GL Lagrange' (DISMA) at Politecnico di Torino. He is affiliated with the College of Mathematical Engineering and College of Mechanical, Aerospace and Automotive Engineering . His research focuses on Numerical Analysis , Virtual Element Methods , Partial Differential Equations , and Mesh Adaptivity . Research Interests: A posteriori error estimates, mesh adaptivity for polygonal/polyhedral grids, stabilization-free numerical methods, and applications of virtual element methods in geomechanics, biomedical simulations, and coupled flow problems. Recent Publications highlight advancements in stabilization-free virtual element methods for elliptic equations, divergence-free projections, and software frameworks like POLYDIM and GEOS for large-scale simulations. His work spans applications in underground fluid storage, brain tumor modeling, and discrete fracture networks. Teaching: Courses include Sobolev Spaces on Non-Smooth Domains , Solving PDEs on Polygonal Meshes , and modules on numerical models/methods across Mathematical, Mechanical, and Aerospace Engineering programs. Students: Supervises Davide Fassino, a PhD student in Pure and Applied Mathematics (38th cycle, 2022–ongoing). Skills: ERC sectors include numerical analysis, scientific computing, and mathematical applications in industry.

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

استاد

• Integrated Circuit Design
• Embedded Systems
• System-Level Design
• +۷ مورد دیگر

Professor Luca Fanucci is a Full Professor of Electronics at the Department of Information Engineering , University of Pisa. He serves as Rector's Delegate for Inclusion of Students with Disabilities and leads research in integrated circuits, embedded systems, and assistive technologies . Institutional roles include membership in the National University Conference of Delegates for Disability (CNUDD) and leadership in the PhD program in Information Engineering. Born: Montecatini Terme (1965) Education: Laurea in Electronic Engineering (1992), PhD in Information Engineering (1996), University of Pisa Professional Journey: ESA research (1992-1996), CNR researcher (1996-2004), University of Pisa faculty (2004-present) His research focuses on: System-level design of integrated circuits and embedded systems Hardware-software co-design for low power consumption Spacecraft and satellite communication systems Medical devices and telemonitoring platforms Assistive technologies for disabilities Recent publications highlight AI in space applications and telemedicine systems . Key projects include the Ingeniars spin-off for satellite communications and the AsTech National Laboratory for assistive technologies. Scientific Recognition : IEEE Fellow (2019) 40+ patents H-index 34 (5000+ citations) He coordinates international conferences (DATE, HiPEAC, Spacewire) and serves as Associate Editor for Technology and Disability and Microprocessors and Microsystems journals.

• Distributed Computing
• Distributed Systems
• Computer Security
• +۴ مورد دیگر

Giuseppe Antonio Di Luna is an Associate Professor at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale (DIAG), Sapienza University of Rome . His research spans critical areas of Distributed Computing, Distributed Systems , and Computer Security , with a focus on Dynamic Networks, Mobile Agents, Anonymous Communication , and NLP techniques applied to binary analysis . Current research themes include anonymity in distributed environments Security challenges in confidential computing Algorithm design for mobile robots and dynamic networks Applying NLP to enhance binary analysis security His recent publications across top venues like DSN, EuroS&P, and JPDC reflect these interdisciplinary interests, with notable work on: Black hole detection in dynamic rings Robustness of binary similarity systems Confidential virtual machine evaluation tools Self-stabilizing computation in anonymous networks He has received prestigious awards including the Axa Fellowship (2020-2022) , ASPLOS 2019 Distinguished Paper Award , and DIMVA 2019 Best Paper Runner-Up . His collaborative efforts include organizing the EuroSys 2023 conference in Rome.

Francisco Facchineiمشاهده پروفایل

استاد

• Nonlinear Optimization
• Nondifferentiable Optimization
• Complementarity Problems
• +۴ مورد دیگر

Francisco Facchinei is a Professor at Sapienza University of Rome, affiliated with the Department of Computer, Automatic and Management Engineering Antonio Ruberti within the College of Engineering. His research spans nonlinear and non-differentiable optimization, complementarity problems, variational inequalities, and game theory applications in telecommunications. His work focuses on developing algorithms for nonconvex optimization with ghost penalties, asynchronous distributed methods, and applications in healthcare and communications systems. Key Contributions: Foundational work in variational inequality theory, generalized Nash equilibrium problems, and optimization over dynamic networks. Recent Trends: Emphasis on asynchronous parallel algorithms, stochastic optimization, and non-invasive medical diagnostics via machine learning. He has held academic positions at Sapienza University since 1990, progressing from Ricercatore to Professore Ordinario. No scientific awards are explicitly mentioned in the provided texts.

Simone Lentiمشاهده پروفایل

استادیار

• Cybersecurity
• Visual Analytics
• Human-Computer Interaction

Simone Lenti is an Assistant Professor (Ricercatore RTDa) at the Department of Computer, Control, and Management Engineering of Sapienza University of Rome. He is an active member of the A.WA.RE research group , which specializes in visual analytics. Lenti obtained his Ph.D. in 2021 with a dissertation on visual analytics techniques for cybersecurity. His research bridges cybersecurity , visual analytics , and human-computer interaction , focusing on: Developing computational methods for vulnerability analysis (e.g., NLP for CVE relevance, smart contract taxonomies) Designing visual tools for threat detection (e.g., attack graphs, firmware fuzzing) Enhancing interpretability in data-driven systems (e.g., partial dependence analysis, process mining) Lenti's publications (2019–2025) demonstrate a consistent focus on applying visual analytics to cybersecurity challenges , with recent expansions into bioinformatics and education. Key trends include automated vulnerability management, human-centered explainability, and scalable threat modeling. Awards: IEEE VizSec 2018 Best Paper for contributions to cybersecurity visualization. He contributes to academic infrastructure through tools like easyDeclare (declarative process modeling) and BUCEPHALUS (business-centric cybersecurity analysis), emphasizing practical applications of his research.

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

استاد

• Nonlinear Optimization
• Derivative-Free Optimization
• Mixed Integer Programming
• +۳ مورد دیگر

Stefano Lucidi is a Full Professor of Operations Research at Sapienza University of Rome, where he is affiliated with the Department of Computer, Automatic and Management Engineering within the Faculty of Information Engineering, Computer Science and Statistics. He has held this position since November 1, 2000, after serving as Associate Professor from November 1, 1992 to October 31, 2000. He was coordinator of the PhD program in Operations Research from 2010 to 2012 and was a shareholder of the university spin-off ACTOR SRL until July 2024. His research interests span Nonlinear Optimization, Derivative-Free Optimization, Mixed Integer Programming, and Global Optimization. His methodological work focuses on unconstrained optimization methods, constrained optimization methods, non-differentiable optimization methods, derivative-free methods, and global optimization techniques. His applied research includes mathematical modeling of biological phenomena in cell kinetics, identification of astrophysical parameters, optimal management of bookable seats in rail transport, and optimal design of electromagnetic devices and industrial electric motors. His recent publications demonstrate a strong focus on derivative-free optimization methods, complexity analysis of algorithms, multi-objective optimization, and applications in diverse fields including healthcare, transportation, and neuroscience. His work bridges theoretical advances in optimization with practical applications across multiple domains. His significant contributions to the field include developing algorithms for simulation-driven design optimization, addressing nonsmooth optimization problems, and creating methods for multi-fidelity computations. His research has been published in top journals including Optimization Methods & Software, Journal of Optimization Theory and Applications, and Optimization Letters. Full Professor of Operations Research since 2000 PhD program coordinator (2010-2012) Shareholder of ACTOR SRL spin-off (2011-2024) Active contributor to optimization theory and applications Professor Lucidi has been instrumental in advancing optimization methodologies while maintaining strong connections to practical applications across various industries. His work continues to influence both theoretical developments and real-world implementations of optimization techniques.

Jlenia Toppiمشاهده پروفایل

دانشیار

• Biomedical Signal Processing
• EEG Signal Processing
• Brain Connectivity
• +۶ مورد دیگر

Jlenia Toppi is an Associate Professor at the Department of Computer, Control and Management Engineering, Sapienza University of Rome. With a background in Biomedical Engineering (B.Sc. and M.Sc. summa cum laude from University of Rome, Ph.D. from University of Bologna), she leads research at the Neuroelectrical Imaging and BCI Laboratory, IRCCS Fondazione Santa Lucia, focusing on EEG signal processing, brain connectivity modeling, and graph theory applications in cognitive and clinical neuroscience. Education: B.Sc. Clinical Engineering (2006), M.Sc. Biomedical Engineering (2009), Ph.D. Biomedical Engineering (2013) Awards: IEEE EMBC Student Paper Finalist (2012), Young Bioingegneria Award (2012), IEEE EMBS Best Poster (2011) Her research develops advanced EEG methodologies for brain mapping and dynamic connectivity estimation , applied to disorders of consciousness, stroke rehabilitation, and social neuroscience. She pioneered hyperscanning EEG for interpersonal brain-to-brain analysis and contributed to BCI systems like RECOM and The Promotoer. Recent publications highlight her work on hybrid BCI rehabilitation , muscle synergy extraction , and multi-modal assessment of therapeutic interventions . She serves as editor for Computation and Mathematical Methods in Medicine and collaborates with international projects including Horizon 2020.

• ERP Systems
• Business Simulation
• Information Technology Education
• +۳ مورد دیگر

Gilbert Babin is a Professor of Information Technologies at HEC Montréal, where he is affiliated with GRESI, ERPsim Lab, and Tech3Lab. He has been cited 1331 times according to Google Scholar, indicating significant scholarly impact in his field of research. His research interests span several key areas in information systems and business technology: Enterprise Resource Planning (ERP) systems Business simulation and serious games Cognitive aspects of information systems use Business intelligence and analytics Operations management education Professor Babin's work demonstrates a strong focus on the intersection of information technology and business processes, particularly through simulation-based approaches. His publication history shows an evolution from technical optimization problems (1996-2007) to applied business contexts (2010-2012), with his most recent work exploring the integration of neuroscientific approaches with enterprise systems. His research on ERP simulation games has been particularly influential, with his 2011 paper receiving 132 citations. His current research trajectory includes innovative cross-disciplinary work combining information systems with cognitive neuroscience, examining how brain-computer interfaces can enhance sustained attention in business contexts. This represents a cutting-edge direction that bridges traditional information systems research with emerging neurotechnologies.

Wil van der Aalstمشاهده پروفایل

استاد

• Process Mining
• Petri Nets
• Business Process Management
• +۷ مورد دیگر

Prof. Wil van der Aalst is a full professor at RWTH Aachen University leading the Process and Data Science (PADS) group. He holds part-time affiliations with multiple institutions, including the Fraunhofer-Institut für Angewandte Informationstechnik (FIT) , Technische Universiteit Eindhoven (TU/e) , and Queensland University of Technology (QUT) . Additionally, he is a distinguished fellow of Fondazione Bruno Kessler (FBK) and serves on the Board of Governors of Tilburg University . His research focuses on process mining , leveraging business process management , Petri nets , and process modeling to analyze and optimize workflows. His work intersects with software engineering , big data , and data engineering , emphasizing the application of data science to process-aware systems. Wil van der Aalst has been recognized with numerous scientific awards, including the prestigious Alexander-von-Humboldt Professorship (2018), doctor honoris causa from Hasselt University (2012), and Distinguished University Professor title at TU/e (2013). He is an IFIP Fellow and elected member of several European academies. He has co-chaired major academic conferences such as Business Process Management , IEEE International Conference on Services Computing , and Petri Nets . His editorial contributions span journals like Business & Information Systems Engineering and IEEE Transactions on Services Computing . He advises organizations including Celonis and Fluxicon and has been cited over 100,000 times (h-index 148).

• Biomedical Image Processing
• Machine Learning in Medical Diagnostics
• Radiation Physics
• +۲ مورد دیگر

Giuseppe Raso is a Professor at the University of Palermo , affiliated with the Department of Physics and Chemistry . He specializes in biomedical image processing , radiation physics , and autoimmune disease diagnostics . His work integrates machine learning and semiconductor detector technology for applications in medical imaging and environmental radiation monitoring . Research Interests: Development of AI-driven diagnostic systems for coeliac disease Advanced signal processing techniques for CdZnTe/CdTe radiation detectors Automated analysis of HEp-2 cell immunofluorescence patterns Key Publications span deep learning in biomedical imaging , radiation spectroscopy , and grid infrastructure for medical data analysis .

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

پژوهشگر ارشد

• Cybersecurity
• Internet of Things (IoT)
• Software Engineering
• +۴ مورد دیگر

Luca Mannella is a Research Fellow at the Department of Control and Computer Engineering (DAUIN) , Politecnico di Torino. His work spans Cybersecurity , Internet of Things (IoT) , Software Engineering , and Human-Computer Interaction (HCI) . PhD in Computer and Control Engineering from Politecnico di Torino (2024) M.Sc. and B.Sc. in Computer Engineering from Politecnico di Torino (110/110 final score) His research focuses on IoT security , particularly in smart home gateways and automotive systems , with recent work on SOCMATI (Social Media Automotive Threat Intelligence) and COLTRANE-V projects. He has contributed to frameworks for CAN attack simulation , cryptomining detection , and privacy-preserving vulnerability scanning . Publications since 2018 reflect expertise in malware optimization , Cloud-IoT security , and edge computing for constrained devices. His teaching roles since 2020 include Web Applications and Algorithms and Programming courses. He is also a member of the SMILIES research group and co-founded the Mu Nu Chapter of IEEE-HKN .

• 3D bioprinting
• Artificial intelligence
• Bioinformatics
• +۷ مورد دیگر

Stefano Di Carlo is a Full Professor at the Department of Control and Computer Science (DAUIN) at Politecnico di Torino. He is the Coordinator of the Doctoral School in Artificial Intelligence and a member of the PolitoBIOMed Lab and the Doctoral School Council. His research spans Artificial Intelligence , Computer Architecture , Bioinformatics , and Cybersecurity , with a focus on 3D bioprinting , hardware security , and reliability analysis . Research Interests : Approximate computing systems Cybersecurity for connected vehicles Spiking neural networks and neuromorphic hardware Multicellular synthetic biological systems Hardware-based malware detection Biomedical simulation tools Article Trends : His recent publications address approximate computing (7/15), cybersecurity (6/15), and bioinformatics (4/15). Key subtopics include RISC-V security , gradient inversion attacks , photonic computing , and real-time fault injection . Scientific Awards : Best Paper Awards at IEEE AQTR (2010, 2012), IEEE DDECS (2013), and BIOINFORMATICS/BIOSTEC (2014) IEEE Computer Society Golden Core Award (2006), Meritorious Service Award (2010) IEEE Fellow (2011-) and Senior Member Advising & Grants : He supervises 14 PhD students and leads projects like Vitamin-V (RISC-V cloud services), APROPOS (approximate computing), and SERICS (cybersecurity). His lab, SMILIES, focuses on resilient computer architectures and bioinformatics . Labs & Teams : Lab 6 - Research Laboratory (DAUIN) SMILIES - Resilient computer architectures and life sciences PolitoBIOMed Lab - Biomedical engineering