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

• Computer Science
• Real-Time Systems
• Embedded Systems
• +۶ مورد دیگر

Marko Bertogna is a Full Professor in the Department of Physical, Computer and Mathematical Sciences at the University of Modena and Reggio Emilia. His primary research focuses on real-time systems, embedded systems, autonomous driving, machine learning, and robotics. He leads the HiPeRT Lab and teaches courses such as Autonomous Driving Systems, Real-Time Embedded Systems, and Computer Architecture. His work spans interdisciplinary areas including: Autonomous vehicle control and perception Real-time scheduling algorithms for heterogeneous platforms IoT applications in agriculture and environmental monitoring Efficient deep learning models for embedded systems GPU and multi-core predictability Notable projects include the SPHERE architecture for cyber-physical systems, the F1/10 autonomous vehicle platform, and the BETTY dataset for full-stack autonomy. Recent articles highlight contributions to 6-DoF pose estimation for robotics, livestock waste management via IoT, and model-based control for autonomous racecars. He collaborates with industries on automotive-grade embedded systems and safety-critical applications.

• Cybersecurity
• Information Systems Security
• Software Network Security
• +۱۵ مورد دیگر

Cataldo Basile is an Associate Professor in the Department of Control and Computer Science (DAUIN) at the Polytechnic University of Turin, where he is a member of the College of Computer, Film and Mechatronics Engineering. He serves as Course Coordinator for the Master's Degree in Cybersecurity Engineering and teaches courses such as Software Network Security, Hacking Techniques, Cryptography, and Security Verification and Testing across multiple programs including Computer Engineering, Cybersecurity, and Quantum Engineering. His research interests span a broad spectrum of cybersecurity domains, with a strong focus on automotive cybersecurity , confidential computing , cloud-native security , and threat modelling . He actively leads and contributes to research projects involving quantum-resistant cryptography, ISO-21434 compliance, and self-assessment tools for automotive cybersecurity resilience. Cataldo is a core member of the TORSEC - Security Group (DAUIN) , and supervises several PhD students working on cutting-edge topics like Trusted Execution Environments and automatic cyber risk analysis. Recent publications highlight his work in automotive cybersecurity verification using retrieval-augmented generation, rule-based OT threat modelling, intent-based security for cloud networks, and threat analysis of C-ITS. His research bridges academic innovation with industrial applications through numerous commercial research contracts and sponsorships. Scientific Director , CyberChallenge.IT Program (2023–2025) Scientific Manager , Multiple commercial research projects (2021–2025) Research Group Member , Q-FENCE (2025–2028), EU-funded quantum-resistant cryptography initiative Patent Holder , Methodology for identifying protected assets in binary files Cataldo Basile leads a vibrant research ecosystem involving PhD supervision, student teams like pwnthem0le , and collaborations with industry partners such as REPLY, Drivesec, and aizoOn. He also oversees sponsored initiatives like m0lecon, a computer security conference and CTF competition, fostering practical cybersecurity education and innovation.

Gerardo Canforaمشاهده پروفایل

استاد

• Software Engineering
• Software Evolution
• Secure Software Development
• +۵ مورد دیگر

Gerardo Canfora is a Professor at the University of Sannio, holding his position in the Department of Engineering (DING). He currently serves as Rector of the University of Sannio, having assumed this leadership role as evidenced by his position in December 2024. His academic journey began with a degree in Electronic Engineering from the University of Naples 'Federico II' in 1989, followed by research positions at CNR and the University of Durham before joining academia. Professor Canfora's research focuses primarily on software engineering, with specializations in software evolution and secure software development. His work spans mobile computing, particularly Android applications, and the application of NLP techniques to software requirements. He has maintained a consistent research output for over two decades, with recent publications addressing contemporary challenges in AI security and software behavior analysis. His recent publications demonstrate a clear trajectory from foundational work in database security and software maintenance toward cutting-edge research in AI security, mobile application analysis, and social media manipulation detection. This evolution reflects the changing landscape of software engineering challenges, with Canfora maintaining relevance through adaptation to new technological paradigms while building on his core expertise in software quality and security. Professor Canfora has held significant leadership positions beyond his university role, including membership on the Executive Boards of multiple research consortia (ASI, ICT-SUD, CINI, CeR-ICT) and service on ANVUR's expert panel for research evaluation. His editorial work as Editor-in-Chief of the Journal of Software - Evolution and Process since 2011 further demonstrates his standing in the academic community. As Rector of University of Sannio, he has championed initiatives promoting gender equality, including the implementation of gender-sensitive language guidelines, the 'alias career' protocol for student identity recognition, and signing the 'No Women No Panel' memorandum with RAI. His leadership extends to community engagement through events like CO-SCIENZE and educational initiatives focused on software engineering.

Andrea Di Sorboمشاهده پروفایل

پژوهشگر

• Software Security
• Blockchain Technologies
• Natural Language Processing
• +۷ مورد دیگر

Andrea Di Sorbo is a Fixed-Term Researcher in the Department of Engineering (DING) at the University of Sannio (Unisannio), Italy. His academic work focuses on computer engineering with specialization in software security, blockchain technologies, and natural language processing applications in software development. Dr. Di Sorbo's research spans multiple critical areas within computer science and software engineering. He has developed significant expertise in software security, with particular focus on mobile application security, vulnerability analysis, and privacy protection in social networks. His work also encompasses blockchain technologies and smart contract development, where he has conducted systematic literature reviews identifying current problems and possible solutions. Additional research areas include IoT security, anomaly detection, and UAV software safety analysis, demonstrating his commitment to addressing security challenges across diverse computing platforms. His publication record shows a strong trend toward empirical software engineering research with practical applications. The research portfolio spans both theoretical frameworks and real-world implementations, often involving systematic literature reviews of 90+ articles and empirical studies of actual software systems. His work frequently examines the trade-offs between security, performance, and usability in modern software systems. Published in reputable journals including THE JOURNAL OF SYSTEMS AND SOFTWARE and INFORMATION AND SOFTWARE TECHNOLOGY Authored or co-authored 42 publications between 2015-2024 Developed tools like DECA (Development Emails Content Analyzer) and NEON (NLP-based Software Documentation Analyzer) Dr. Di Sorbo collaborates extensively with researchers including Gerardo Canfora, Corrado Aaron Visaggio, Massimiliano Di Penta, and Sebastiano Panichella. His research has gained significant attention with several publications accumulating over 100 citations, reflecting the impact of his work in the software engineering community.

Luigi Iannelliمشاهده پروفایل

دانشیار

• Control Systems
• Power Electronics
• Smart Grids
• +۷ مورد دیگر

Luigi Iannelli is an Associate Professor at the Department of Engineering of the University of Sannio in Benevento, Italy. He leads research activities within GRACE (Group for Research on Automatic Control Engineering) , focusing on control systems, power electronics, and UAV applications in precision agriculture. Research Interests include: Control systems for autonomous vehicles Power converters and complementarity modeling Smart grid optimization Switched and piecewise linear systems Thermal compensation in automotive control Drone-based sensing for precision viticulture Scientific Awards : No specific awards mentioned in the provided data.

Lorenzo Rossiمشاهده پروفایل

استادیار

• Process Mining
• Robotics
• Business Process Management (BPM)
• +۵ مورد دیگر

Lorenzo Rossi is an Assistant Professor specializing in the intersection of process mining, robotics, and business process management (BPM). His research focuses on advancing methodologies for analyzing robotic systems, IoT environments, and collaborative processes through formal models like BPMN. Key areas include process discovery, digital twins, and system resilience in smart environments. Expertise: Process Mining, Multi-Robot Systems, BPMN Semantics, Cyber-Physical Systems Key Tools: BEAR (BPMN animator), MIDA (multi-instance animator), UBBA (Unity-based BPMN animator) His work emphasizes reproducibility and practical frameworks for rapid prototyping. Recent trends in his articles highlight the integration of process mining with robotics for data-driven decision-making, as well as formal verification of BPMN collaborations to ensure system correctness. Awards: None explicitly mentioned in the provided texts. Advising & Grants: No student/advisor relationships or grant details documented here. Labs/Teams: Collaboration with Unity-based simulation tools (UBBA, MIDA) and serious game platforms (PlayWithUnicam).

Maurice ter Beekمشاهده پروفایل

پژوهشگر

• Formal Methods
• Software Engineering
• Railway Systems
• +۵ مورد دیگر

Maurice ter Beek is a Senior Researcher at the Formal Methods and Tools (FMT) Group of the Institute of Information Science and Technologies (ISTI) , part of the Italian National Research Council (CNR) in Pisa, Italy. He leads the FMT Lab since 2019 and coordinates critical projects like ADVENTURE (railway systems evaluation) and T-LADIES (typeful language adaptation). He serves as Editor-in-Chief of Formal Aspects of Computing and holds editorial roles in journals like Science of Computer Programming . His career spans academic leadership in international conferences (chair of ETAPS 2026 , RSSRail 2025 , etc.) and extensive collaborations in formal methods, railway systems, and software product lines. Research Interests: His work focuses on formal methods applied to industrial critical systems, particularly railways, with expertise in variability modeling, attack-defense trees, contract automata, and team automata. Publications address quantitative analysis of reconfigurable systems model checking for railway safety empirical studies on formal methods security risk modeling collaborative software engineering Scientific Awards: ERCIM Fellowship (2003, 2002) SegraVis Fellowship (2005) Best Paper at SPLC 2019 Best Paper at ICIW 2007 Socrates Grant (EU, 2000-2001) Additional Roles: He is a faculty member of the joint PhD program in Smart Computing (Florence, Pisa, Siena), member of ISTI’s Institute Council, and coordinates CNR’s involvement in the PNRR National Sustainable Mobility Centre . His global engagement includes over 50 conference organizing roles and editorial board memberships.

• Software Engineering
• Program Synthesis
• Program Analysis
• +۴ مورد دیگر

Ali Shokri is a tenure-track Assistant Professor in the Department of Computer Science at the University of Houston. His research focuses on program synthesis, software security, and formal methods, with applications in code translation, bug detection, and interprocedural analysis. Education: Ph.D. in Computing and Information Sciences, Rochester Institute of Technology (2023) M.Sc. in Information Technology, Tarbiat Modares University (2014) B.Sc. in Software Engineering, University of Tehran (2007) Research interests include automated software productivity tools, code reliability frameworks, and formally verified binary analysis. He has published in top venues like OOPSLA'24, ICSE'25, and ASE'21, where his program synthesis paper won first place. His work bridges academia and industry through collaborations with Google and PARC. Scientific contributions include patents on mathematical model extraction from binaries using SMT solvers and genetic algorithms. He serves on program committees for ICSE, LangSec, USENIX, and ASE conferences, emphasizing software engineering and security research.

Daniel Alencar da Costaمشاهده پروفایل

مدرس

• Empirical Software Engineering
• Machine Learning
• Statistics
• +۳ مورد دیگر

Daniel Alencar da Costa is a Lecturer (Assistant Professor equivalent) at the Information Science Department of the University of Otago, Dunedin, New Zealand. Previously, he worked as a Postdoctoral Fellow in the Software Reengineering Research Group at Queen's University, Kingston, Canada, under Prof. Ying Zou. His academic background includes a BSc (2007) from University Centre of Pará (Belém, Brazil), MSc (2013) and PhD (2017) from Federal University of Rio Grande do Norte (UFRN), supervised by Prof. Uirá Kulesza and Prof. Ahmed E. Hassan during his SAIL Lab visit. Current Position: Lecturer at School of Computing, University of Otago Past Role: Postdoctoral Fellow at Queen's University Education: PhD & MSc from UFRN; BSc from CESUPA His research focuses on Empirical Software Engineering , employing machine learning, statistical analysis, and qualitative methods (surveys, interviews) to understand software development phenomena. Key interests include optimizing software practices through empirical validation, CI/CD monitoring, defect prediction, and team dynamics analysis. Recent work investigates continuous integration patterns in ML projects and crash prediction in mobile applications. Scientific contributions include collaborative research with institutions like Queen's University and SAIL Lab. He co-supervises students such as Chathrie Wimalasooriya and explores tools for identifying development bottlenecks. Contact available via danielcalencar@otago.ac.nz.

Ruaridh Clarkمشاهده پروفایل

عضو هیئت علمی

• Signal Processing
• Biomedical Engineering
• Wearable Sensors
• +۵ مورد دیگر

Ruaridh Clark is a Senior Research Fellow in the Department of Electronic and Electrical Engineering at the University of Strathclyde, United Kingdom. He is actively engaged in research, supervising PhD students, and contributing to multiple funded projects in biomedical signal processing and neurotechnology. His research interests lie at the intersection of biomedical engineering, signal processing, and human-computer interaction, with a strong focus on EEG-based systems, wearable sensors, and real-time health monitoring. His work enables advancements in brain-computer interfaces, emotion recognition, seizure detection, and cognitive state assessment. The analysis of his recent publications reveals a consistent trend in developing robust, real-time, and wearable neurophysiological systems. These works emphasize adaptive signal processing, multimodal data fusion, machine learning, and low-power embedded solutions for clinical and real-world applications. 9 prizes or awards (specific names not listed in text) Ruaridh Clark supervises several PhD students, including Agathe Bouis, Joshua Gribben, and Beth Probert. He is involved in 18 research projects, indicating active grant funding and collaborative research. His work is highly interdisciplinary, bridging engineering, neuroscience, and clinical applications. He is affiliated with the research group led by Professor Malcolm Macdonald and collaborates across disciplines, including with researchers in psychology. His lab focuses on developing wearable, real-time, and intelligent systems for neurophysiological monitoring and human performance assessment.

• Software Engineering
• Software Architecture
• Autonomous Systems
• +۴ مورد دیگر

Patrizio Pelliccione is a Full Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI) and an Associate Professor at Chalmers | University of Gothenburg. He holds a PhD in Computer Science from the University of L'Aquila. His research focuses on Software Architecture and Autonomous Systems, with applications in automotive and robotics domains. He has extensive international experience, including roles as Associate Professor at University of L'Aquila and Visiting Professor at Charles University. His research interests include software architecture design, autonomous systems, robotics, and automotive systems engineering. He actively collaborates with industry partners globally and has contributed to over 100 peer-reviewed publications across journals and conferences. Pelliccione chairs the Computer Science area at GSSI and leads research initiatives in value-based software ecosystems, continuous compliance, and architecture-driven development. He serves on program committees for major conferences like ICSE and ICSA, and has authored/co-authored books on software architecture and fault-tolerant systems. His work emphasizes practical industry applications, with contributions to automotive systems engineering frameworks, robotic mission specification languages, and safety-critical software development. Current projects explore AI integration in safety-critical domains like space systems and medical devices.

• Formal methods
• Distributed systems
• Concurrency theory
• +۳ مورد دیگر

Emilio Tuosto is a Full Professor at the Gran Sasso Science Institute (GSSI) in L'Aquila, Italy, where he leads the Computer Science Department. Previously, he held an Associate Professor position at the University of Leicester's School of Informatics (UK). His research focuses on formal methods, distributed systems, and behavioral specifications. He earned his PhD in Computer Science from the University of Pisa in 2003 and holds a degree from the same institution (1998). His research explores theoretical and applied aspects of complex distributed systems, including automata-based models of distributed choreographies and contract-based interaction frameworks. Key projects include BehAPI (Marie Skłodowska-Curie Actions RISE project) and DeLiCE (Decentralised Ledgers in Circular Economy). He actively contributes to conferences like COORDINATION and ECOOP, and organizes GSSI's seminar series. Recent work includes tools like TRAC for data-aware coordination, MoCheQoS for QoS analysis, and CIRC (reversible computing). His publications span formal choreographic languages, static analysis for C programs, and behavioral types for local-first software. Collaborations involve institutions like IMT Lucca, University of Pisa, and international teams. Tuosto's contributions bridge theoretical foundations with practical implementations in distributed systems and formal methods.

Andrea Facchinettiمشاهده پروفایل

استادیار

• Bioengineering
• Continuous Glucose Monitoring
• Diabetes Technology
• +۳ مورد دیگر

Andrea Facchinetti is an Assistant Professor in Bioengineering at the Department of Information Engineering, University of Padova, Italy. His research focuses on developing advanced algorithms for continuous glucose monitoring systems and diabetes management technologies, with significant contributions to both academic research and commercial applications through technology transfer to Dexcom Inc. Dr. Facchinetti received his Laurea Quinquennale (summa cum laude) in Information Engineering from the University of Padova in 2005, followed by a Ph.D. in Bioengineering from the same institution in 2009. After serving as a Postdoctoral Fellow from 2009 to 2014, he was appointed Assistant Professor in 2014. His primary research interests center around processing data from continuous glucose monitoring (CGM) sensors, with specific focus on: Algorithms for signal denoising using Kalman filters and Bayesian smoothing techniques Strategies to reduce or eliminate calibrations in CGM sensors Real-time detection of hypo/hyperglycemic events using neural networks and statistical approaches Modeling of CGM data error and transient faults Development of type 1 diabetes simulators for testing decision-making systems Retrospective retrofitting methods to improve glucose concentration profiles Analysis of Dr. Facchinetti's recent publications (2023-2025) reveals an expanding research scope beyond traditional diabetes management. His work now encompasses post-bariatric hypoglycemia, neonatal glucose monitoring, integration of AI in clinical decision support systems, and applications of continuous glucose monitoring in novel populations including multiple sclerosis and amyotrophic lateral sclerosis patients. His research demonstrates a clear trajectory from foundational algorithm development toward practical clinical implementation and user-centered design of diabetes technologies. Dr. Facchinetti has been involved in significant technology transfer activities, with multiple patents optioned by and transferred to Dexcom Inc., a leading continuous glucose monitoring company. His work has contributed to commercial CGM systems including the Dexcom G4. He has co-authored over 70 international conference papers and numerous journal publications in high-impact diabetes and biomedical engineering journals. His research group maintains active collaborations with clinical partners and industry stakeholders to translate algorithmic innovations into practical diabetes management solutions. Current projects include developing decision support systems for pediatric type 1 diabetes, addressing post-bariatric hypoglycemia through forecasting algorithms, and creating modular platforms for real-world data acquisition in clinical trials.

• Computer Security
• Network Security
• Cybersecurity
• +۶ مورد دیگر

Francesco Tommasi is an Associate Professor at the Department of Innovation Engineering, University of Salento, where he teaches Operating Systems, System and Network Programming, and System Security courses for both undergraduate and graduate Computer Engineering programs. His academic affiliation spans multiple departments within the School of Engineering, focusing on the intersection of computer science, networking, and security. His current research interests center on computer security, with specific focus on authentication systems, web security, and mobile security. His past research includes Quality of Service for computer networks, IP mobility, satellite internetworking, and satellite distance learning technologies. Tommasi has made significant contributions to the field of cybersecurity, particularly in identifying and analyzing novel attack vectors including Browser-in-the-Middle attacks and MobileApp-in-the-Middle attacks. His recent publications (2021-2025) demonstrate a strong focus on cybersecurity challenges, particularly authentication vulnerabilities, web security threats, and mobile security issues. The research shows progression from fundamental network security concepts to more sophisticated attack methodologies targeting modern authentication systems and mobile platforms. His work bridges theoretical security concepts with practical attack demonstrations, contributing significantly to the understanding of security vulnerabilities in contemporary systems. Co-author of the first Internet Proposed Standard signed by an Italian university (RFC 2961) Co-author of attack #701 included in the CAPEC database of dangerous cyber attacks Scientific director of the Laboratory for Internetworking and Interoperability between Systems (LIIS) Co-scientific director of the Cybersecurity Research Lab Responsible for the Unisalento node of the CINI Cybersecurity National Lab Tommasi has directed numerous research projects funded by MIUR, European Space Agency, and regional authorities, including satellite distance learning initiatives, cybersecurity projects, and technology transfer initiatives. He created the Salento Satellite Campus and has been instrumental in developing satellite-based educational infrastructure. His laboratory work focuses on practical security testing and developing defensive mechanisms against emerging cyber threats. He leads the Laboratory for Internetworking and Interoperability between Systems (LIIS) and co-directs the Cybersecurity Research Lab, which focuses on practical security testing, vulnerability analysis, and developing defensive security mechanisms. These labs collaborate with national and international partners on cutting-edge cybersecurity research and implementation projects.

• Non-Destructive Testing
• Thermography
• Mechanical Design
• +۵ مورد دیگر

Umberto Galietti serves as a Full Professor in the Department of Mechanics, Mathematics and Management at the Polytechnic University of Bari, Italy, specializing in Mechanical Design and Machine Construction (ING-IND/14). His research focuses on advanced thermographic methodologies for non-destructive evaluation of engineering materials and structures. His primary research domains include Non-Destructive Testing , Thermography , and Mechanical Design , with significant contributions to Composite Materials analysis, Additive Manufacturing process monitoring, and Fatigue Analysis . Galietti pioneered the integration of Deep Learning with thermal imaging for defect quantification and developed novel protocols for railway rail inspection, dissimilar material welding evaluation, and ceramic matrix composite characterization. Analysis of his 2020-2025 publications reveals a strategic shift toward AI-enhanced thermographic techniques for industrial applications, particularly in aerospace (composite wing spars), automotive (boron steel heat treatment), and railway infrastructure (crack detection). His work consistently bridges theoretical thermal modeling with practical industrial implementation, evidenced by leadership in the IDEA Project for composite-bonded joint monitoring. Professor Galietti actively contributes to academic discourse through peer review services and conference organization, including the preface for the 53rd AIAS Conference, demonstrating sustained engagement with the mechanical engineering community.