Find Academic Supervisors

Salvatore BenfratelloView profile

Associate Professor

• Structural Engineering
• Civil Engineering
• Experimental Structural Analysis
• +5 more

Salvatore Benfratello is an Associate Professor in the Department of Engineering (formerly DICAM) at the University of Palermo, Italy. His academic career spans over two decades with significant contributions to structural engineering research and education. He serves in the Faculty of Engineering and has held various administrative roles including Secretary of the Architecture Degree Program at the Agrigento campus and member of the Department Board. His educational background includes: Graduation in classical studies (1985/86 academic year) Bachelor's degree in Civil Engineering, Hydraulics Section, from the University of Palermo (April 9, 1991) PhD in Structural Engineering (October 1996) with thesis "Random Dynamics of Offshore Structures" Professor Benfratello's research interests focus on experimental, numerical, and theoretical analysis of structural systems. His work spans multiple domains including structural dynamics, material behavior analysis, and innovative construction techniques. He has made significant contributions to the understanding of Catalan vaults, sail materials, damaged structures, wooden structures, and seismic-resistant systems. His research often combines experimental validation with numerical modeling to address complex structural engineering challenges. His publication portfolio demonstrates a consistent research trajectory with over 80 publications. Recent work shows a strong focus on sustainable materials like fiber-reinforced geopolymers, innovative connection devices for steel structures, and advanced techniques for structural analysis and optimization. His research has evolved from fundamental structural dynamics to practical applications in seismic design and structural rehabilitation, with increasing emphasis on sustainable construction materials and methods. Professor Benfratello serves as a reviewer for several international journals including the ISI-classified Probabilistic Engineering Mechanics and Computer & Structures. As an educator, he has held teaching responsibilities for courses including Structural Elements for the Interpretation of Buildings and Statics for Architecture programs. He has been actively involved in PhD programs, first in Structural Engineering and subsequently in Civil, Environmental, and Materials Engineering. He has directed the Materials and Structural Testing Laboratory at DICAM, providing critical experimental facilities for structural research. His work bridges theoretical knowledge with practical applications, particularly in the areas of structural safety, seismic design, and innovative construction techniques.

• Concurrency and Mobility
• Security
• Computational Models for Biological Systems
• +3 more

Pierpaolo Degano is a full Professor at the Dipartimento di Informatica of Università di Pisa since November 1990. He served as Department Head (1993-1996) and currently chairs the Computer Science PhD program within the Galileo Galilei School of Excellence. His roles include Vice-Chair of the 'Galileo Galilei' School (since 2009), Chairman of the Italian Committee for PhD Programs in Computer Science (since 2007), and member of the Scientific Committee of CoSBi (Microsoft Research - University of Trento Centre for Computational and Systems Biology). Education: Extensive academic background inferred from his professorship and leadership roles Research Interests: Focuses on operational methods in concurrency, semantics of programming languages, security, program verification, and computational models for biological systems. His work bridges theoretical foundations with practical applications in distributed systems and formal methods. Publications: Over 200 papers on theoretical computer science, including seminal works on concurrency semantics, mobile processes, and security protocols. Recent contributions emphasize causal semantics, abstract machines for performance evaluation, and formal analysis techniques. Grants & Projects: Led national and EU projects like DEGAS (FET), SENSORIA (FET), and participated in ESPRIT initiatives. Engaged in multiple research collaborations with institutions like Hewlett-Packard and Microsoft Research. Labs/Teams: Co-director of CoSBi, focusing on computational systems biology, and leader of the Operational Methods in Concurrency research group.

• Structural Stability
• Static and Dynamic Buckling
• Fracture Mechanics
• +7 more

Gianfranco Piana is a Research Assistant and external teaching collaborator at the Department of Structural, Geotechnical and Building Engineering (DISEG), Politecnico di Torino, where he contributes to research and education in structural mechanics. He is a member of the SISCON Interdepartmental Center for Safety of Infrastructures and Constructions, and actively involved in nationally funded research projects. His research focuses on the static and dynamic buckling of slender and long-span structures , combining experimental testing and numerical modeling. He specializes in structural stability, aeroelasticity of bridges, fracture mechanics, and the application of AI for structural health monitoring. His work aims to enhance the safety and resilience of civil and aerospace infrastructures. His recent publications reflect a strong trend in bridge aeroelasticity , damage assessment using artificial intelligence , and stability analysis of advanced structural forms such as bending-active arches and space frames. These works appear in conference proceedings and journals related to structural dynamics and safety. Effective Communication with Businesses (Politecnico di Torino, 2024) Learning to Teach (L2T) (Politecnico di Torino, 2023) He supervises PhD student Sebastiano Russo in the Civil and Environmental Engineering program, whose thesis focuses on flutter analysis of long-span bridges. Gianfranco is also the Scientific Director of the PRIN-funded project IN MOOSHEAC , which investigates innovative monitoring techniques for self-healing composites in civil and aerospace applications. He has not received any external grants beyond this project as per the provided text. He is affiliated with the Fracture Mechanics Laboratory (DISEG) , where experimental and computational research on material and structural failure is conducted. He collaborates within a multidisciplinary team focused on infrastructure safety and resilience.

• 3D plate and shell models
• Additive manufacturing
• Composite structures
• +9 more

Salvatore Brischetto is a Full Professor at the Department of Mechanical and Aerospace Engineering (DIMEAS) at the Polytechnic University of Turin, Italy. He serves as Coordinator of the Academic Board for the Ph.D. program in Aerospace Engineering, is a member of the Interdepartmental Center Photonext on Applied Photonics, and is part of the Doctoral School Board. His academic career at Politecnico di Torino has spanned since 2005, progressing from research fellow to Assistant Professor (2010-2018), Associate Professor (2018-2022), and Full Professor (since 2022). Dr. Brischetto earned his Master's Degree in Aerospace Engineering at the Polytechnic University of Turin in 2005, followed by a PhD in Aerospace Engineering from the same institution and in Constituants Elementaires from Université Paris Ouest–Nanterre La Défense in 2009. His academic progression demonstrates steady advancement through the ranks, reflecting his significant contributions to the field. His primary research focuses on 3D and 2D analytical/numerical solutions for thermo-hygro-electro-magneto-elastic analyses of composite, sandwich and functionally graded material (FGM) plates and shells, as well as additive manufacturing applications for aerospace. His work addresses advanced structural modeling, multifield coupling phenomena, and the development of computational methods for complex material systems. He has made significant contributions to understanding the behavior of smart structures under various environmental and mechanical loads, with particular emphasis on the interplay between thermal, moisture, electrical, magnetic, and mechanical fields in advanced composite structures. Dr. Brischetto's publication record shows a consistent focus on multifield structural analysis, with recent work (2022-2025) concentrating on coupled phenomena in advanced materials. His research demonstrates a progression from fundamental structural mechanics to increasingly complex multifield problems, with growing emphasis on practical aerospace applications. The publications reveal strong collaboration with researchers like Domenico Cesare and Roberto Torre, focusing on numerical methods, shell modeling, and specialized analyses for composite and functionally graded materials. Dr. Brischetto serves as associate editor for 'Journal of Composites Science' and 'Curved and Layered Structures,' academic editor for 'Technologies' and 'Science and Engineering of Composite Materials,' and is on the editorial board of two additional international journals. He has served as a reviewer for over 100 international journals, demonstrating his standing in the academic community. He currently supervises PhD student Domenico Cesare (39th cycle, 2023-present) in Computational Solid Mechanics. Dr. Brischetto chairs several degree courses including '3D shell models for composite structures,' 'Aeronautical Constructions,' and 'Numerical modeling and simulation techniques of aerospace structures.' He has been actively involved in teaching across multiple academic years and will serve as Lecturer College Coordinator for the PhD course in Aerospace Engineering from 2024-2027. Dr. Brischetto is co-founder and co-chair of the research group 'ASTRA: Additive manufacturing for Systems and Structures in Aerospace,' which collaborates with various aeronautical/space companies and national and international universities. He is also the founder and chair of the 'PoliDrone' project, developing a multipurpose modular drone produced via 3D printing. His research group works on projects like FreME (Smart Electromechanically Actuated Multi-Disc Brake) and regional technology platforms, demonstrating strong industry connections and practical applications of his research.

Vincenzo ArceriView profile

Assistant Professor

• Static Program Analysis
• Abstract Interpretation
• String Analysis
• +5 more

Vincenzo Arceri serves as an Assistant Professor (non-tenure) in the Department of Mathematical, Physical and Computer Sciences at the University of Parma. Previously, he held a postdoctoral position at Ca' Foscari University of Venice (2019-2021) following his 2020 PhD completion at the University of Verona, where he also earned his Bachelor's (2014) and Master's (2016) degrees in Computer Science. His academic trajectory demonstrates continuous progression in static analysis research. His educational foundation includes: PhD in Computer Science (2020), University of Verona MSc in Computer Science (2016), University of Verona BSc in Computer Science (2014), University of Verona Arceri's research centers on static program analysis with specialization in string analysis for dynamic languages, abstract interpretation frameworks, and blockchain security verification. He has developed novel techniques for smart contract analysis across Ethereum (EVMLiSA), Hyperledger Fabric, and Tezos platforms, addressing critical issues like cross-contract invocations and read-write conflicts. His work bridges theoretical formal methods with practical security applications in decentralized systems. Recent publications (2023-2025) reveal a strategic research pivot toward blockchain verification, comprising 60% of his output. Key contributions include the Tarsis string domain for automata-based analysis, LiSA framework extensions for multi-language support, and specialized tools for EVM bytecode. His work consistently addresses precision-performance tradeoffs in abstract interpretation while expanding into machine learning applications for code analysis. Arceri actively seeks research collaborators, stating he "is always looking for strong and motivated students to work with me." His projects EVMLiSA, LiSA, and Tarsis demonstrate sustained research funding through GitHub maintenance and industrial collaborations like the GoLiSA experience report. He has developed curricular materials for graduate courses including Static Analysis and Software Verification at Parma. He maintains active connections with the Software and System Verification research group, previously at Ca' Foscari University of Venice and currently through open-source contributions at University of Parma. His GitHub repositories and Zulip community engagement foster collaborative development of static analysis tools, particularly for blockchain applications.

• Applied Mathematics
• Computational Mechanics
• Mathematical Modeling
• +3 more

GIULIA DI CREDICO is a fixed-term researcher at the Department of Mathematical, Physical and Computer Sciences, University of Parma. She specializes in applied mathematics, computational mechanics, and numerical analysis, with a focus on boundary element methods (BEM) for wave equations and elastodynamics. Her work spans theoretical developments and biomedical applications, including PK-PD modeling for anesthesia control. Teaching: Courses in basic mathematics for animal sciences, laboratory of statics, and numerical analysis for mathematics and engineering programs. Research: Advanced BEM algorithms for dynamic frictional contact problems, time-domain simulations, and biomedical modeling. Publications: 15 recent works highlight her expertise in BEM, elastodynamics, wave propagation, and optimization algorithms.

Emanuela CerriView profile

Associate Professor

• Additive Manufacturing
• Friction Stir Processing
• Friction Stir Welding
• +4 more

Associate Professor of Metallurgy at the Department of Systems Engineering and Industrial Technologies (DISTI), University of Parma since November 1998, with qualification as Full Professor in Metallurgy (ING-IND/21). Specializes in metallic materials processing and characterization, with emphasis on advanced manufacturing techniques and industrial applications. Education: PhD in Metallurgical Engineering, Polytechnic University of Turin (1995) Degree in Physics, University of Bologna (1990) Post-Doc, University of Ancona/Polytechnic University of Marche (1995-96) Research Fellow, Oregon State University (1993) Research Fellow, NTNU Trondheim (1993-95) Research Focus: Prof. Cerri's work centers on additive manufacturing (particularly laser powder bed fusion), friction stir processing/welding, and microstructure-property relationships in metallic alloys. Her research investigates heat treatment optimization for additively manufactured components, surface modification techniques for aerospace applications, and mechanical behavior of light alloys under extreme conditions. She examines microstructural evolution during processing and its impact on creep resistance, work hardening, and corrosion properties. Publication Trends: Recent publications demonstrate a strong focus on Al-Si-Mg and Ti-6Al-4V alloys produced via laser powder bed fusion, with particular attention to heat treatment effects, microstructural gradients, and mechanical property characterization. Her work bridges fundamental metallurgy with industrial applications, especially in aerospace and food industry sectors, emphasizing post-processing techniques to enhance component performance and reliability. Advising and Grants: Member of the PhD Program in Industrial Engineering teaching staff at University of Parma. Secured competitive European Commission funding (ESTEEM2 grant 20150526-Cerri) for TEM research at FELMI-ZFE in Graz. Served as reviewer for HORIZON 2020 projects and major materials science journals including Materials Science and Engineering A and Journal of Alloys and Compounds. Promoted international collaborations through Memoranda of Understanding with University of Southern California and NTNU. Labs and Collaborations: Maintains active research partnerships with Norwegian University of Science and Technology (NTNU), University of Southern California, and FELMI-ZFE in Graz. Serves on the editorial board of 'La Metallurgy Italiana' and has held leadership roles in international conferences including THERMEC 2016 and 2020 as Scientific Committee member.

Giovanni ChiorboliView profile

Associate Professor

• Electronic Instrumentation
• Sensors
• Analog/Digital Integrated Circuits
• +2 more

Giovanni Chiorboli serves as Associate Professor of Electrical and Electronic Measurements in the Department of Engineering and Architecture at the University of Parma, Italy. Affiliated with the university since 1990, he progressed from Technician to Researcher before his 2001 appointment to Associate Professor. He teaches Electronic Measurements for undergraduate Computer, Electronic and Telecommunications Engineering students and Electronic Instrumentation and Sensors for Master's in Electronic Engineering students across multiple academic cohorts from 2013/2014 through 2025/2026. He earned his honors degree in Electronic Engineering from the University of Bologna in 1987. His research centers on electronic instrumentation and sensors , with specialized expertise in mixed analog/digital integrated circuit characterization and analog signal processing . Key application areas include cryogenic electronics for operational amplifiers, thermal measurement systems for materials like wetsuits, and electrical tomography for biomedical and geophysical imaging. His work bridges theoretical circuit design with practical industrial sensor applications. Analysis of his 2025 publications reveals strong thematic continuity in measurement science: four papers address cryogenic electronics challenges (particularly operational amplifier behavior), while others explore machine learning uncertainty in activity recognition and novel imaging systems. This demonstrates his sustained focus on precision measurement techniques across extreme environments and emerging computational paradigms. Professor Chiorboli has secured significant research funding as Principal Investigator for European and national projects including the CENELEC-supported "DYNAD" standardization initiative (2006-2007), PRIN 2005 on non-conventional Si-based sensor technologies, and PRIN 2009 on Electric Impedance Tomography for hemostasis imaging. He maintains active industrial research agreements with Italian sensor manufacturers and contributes to the SITEIA Regional Laboratory's agri-food safety initiatives. He serves as both tutor and reference faculty for the Electronic Engineering Master's program (2013/2014-2025/2026) and previously chaired the program (2018/2019-2019/2020), demonstrating sustained leadership in academic administration alongside his research and teaching duties.

Fabio CalefatoView profile

Associate Professor

• Collaborative Software Engineering
• Social Software Engineering
• Mining Software Repositories
• +7 more

Fabio Calefato is an Associate Professor at the Department of Computer Science, University of Bari "A. Moro" since 2022, holding national habilitation as Full Professor in academic disciplines 01/B1 (since Dec. 2023) and 09/H1 (since Mar. 2025). He serves as CEO & co-founder of PeoplewareAI academic spin-off (2021-present), Rector's delegate of GARR network (2023-present), and Director's delegate for student traineeships (2023-present). Previously, he was Assistant Professor at the Department of Computer Science (2019-22) and at the Jonian Department, Taranto (2015-19), and conducted post-doctoral research at the Department of Computer Science (2007-08; 2010-14). Dr. Calefato received his Ph.D. in Computer Science in May 2007 from the University of Bari with a thesis titled "Supporting Synchronous Communication in Distributed Software Teams," which was listed on SIGSOFT Selected Ph.D. Dissertations in Software Engineering and published by VDM Publishing. He also holds an MSc in Computer Science from the University of Bari (2002). His research focuses on collaborative and social software engineering, mining software repositories and technical Q&A sites, SE4AI, psychometric and sentiment analyses from communication channels in the social programmer ecosystem, collaboration in online creative communities, community-driven knowledge sharing, and computer-mediated communication theories and tools. His work bridges software engineering with social psychology and AI, particularly examining how developers interact, collaborate, and express emotions in online platforms. Analysis of his recent publications reveals a strong trajectory toward AI integration in software engineering practices, with increasing focus on AutoML applications, sentiment analysis in developer communities, and the impact of generative AI on open-source development. His research spans both theoretical foundations and practical tools, with several software implementations including EMTk (Emotion Mining Toolkit), Apache-Big5 (developer personality profiler), and Pynblint (Jupyter notebook quality assurance). Best Paper Award at ICGSE'18 SIGSOFT Selected Ph.D. Dissertations in Software Engineering Dr. Calefato actively advises doctoral students, with Kelly Azevedo Borges Leal (current, researching AutoML for Software Engineering), Luigi Quaranta (graduated 2022, thesis on collaboration around computational notebooks), and Giuseppe Iaffaldano (graduated 2020, thesis on dynamics of online collaborative communities). His research has been supported through various grants enabling international collaborations with institutions including Carnegie Mellon University, University of Victoria, and TU Wien. He leads the COLLAB research group at the University of Bari, which develops tools and conducts empirical studies on collaborative software development. The group maintains several active GitHub projects including Apache-Big5, mini-IPIP test, EMTk, and pySOreputation, alongside experimental datasets used in multiple published studies. His academic spin-off PeoplewareAI focuses on applying AI to human aspects of software development.

Emilio CrucianiView profile

Assistant Professor

• Algorithms
• Data Mining
• Social Networks
• +9 more

Emilio Cruciani is a Tenure Track Assistant Professor in Computer Science at the European University of Rome, affiliated with the Department of Human Sciences. He holds a PhD in Computer Science from the Gran Sasso Science Institute (2019) and has conducted research at universities in Germany, France, and Austria. His research focuses on algorithms, data mining, and social network dynamics. Current work investigates local network interactions for graph clustering, stochastic processes on networks, and scalable algorithms for large datasets. He has contributed to Green AI through dynamic model selection for energy efficiency. Co-PI on two Facebook Research-funded projects Active in program committees for algorithms and artificial intelligence conferences Over 30 publications in international conferences and journals Publications span network dynamics, election control, software testing, and hypergraph convergence. His work bridges theoretical computer science with applied problems in social influence and biomedical informatics.

• Computer Science
• Cybersecurity
• Software Engineering
• +5 more

Matteo Zanioli is an Adjunct Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Informatics and Statistics. His professional experience includes roles as Head of Technology at Arsenalia and Alpenite, and Project Manager for international technology projects. He holds a PhD in Computer Science from Ca' Foscari University and Paris Diderot University (Paris 7), an Executive MBA from Bologna Business School, and earlier degrees in Computer Science from Ca' Foscari. His research focuses on cybersecurity, formal methods, and software engineering, with notable contributions to information leakage analysis, static analysis, and abstract interpretation. He teaches courses on software development methodologies at the master's level. His publications address topics such as database security, cloud e-commerce legal challenges, and program analysis techniques. Zanioli's work bridges theoretical computer science with practical applications in industry, emphasizing the intersection of technology and legal compliance. No scientific awards are explicitly mentioned, and no advisees are listed in the provided materials.

• Structural Engineering
• Conceptual Design of Structures
• Sustainability in Structural Design
• +3 more

Valeria Francesca Gozzi is a PhD candidate in Civil and Environmental Engineering at the Polytechnic University of Turin (2022-2025) and a lecturer at the University of Applied Sciences and Arts of Southern Switzerland (SUPSI) since 2006. Her research focuses on structural engineering with emphasis on conceptual design methodologies, infrastructure resilience, and sustainability integration. She earned her Civil Engineering degree from the Polytechnic University of Turin in 2006 and has maintained parallel careers in professional structural design and academia. Her educational background includes significant contributions to architectural education through roles at the Academy of Architecture of Mendrisio and SUPSI, complemented by editorial work for Archi magazine and Espazium publishing house since 2018. Her research interests center on the intersection of structural engineering and architectural design, particularly exploring how sustainability indicators can be embedded in conceptual structural design phases. She investigates infrastructure resilience through case studies of footbridges and aging structures, emphasizing the critical relationship between architectural vision and structural performance. Her work consistently addresses environmental, economic, and technical dimensions of structural systems. Recent publications reveal a strong trend toward sustainable design frameworks, historical analysis of structural pioneers like Heinz Isler, and practical solutions for extending infrastructure lifespans. These works demonstrate her commitment to advancing structural engineering through interdisciplinary approaches that bridge theoretical innovation with practical application. As an academic contributor, she serves as course collaborator for "Smart Infrastructures - Enterprising" in the Aerospace Engineering program at the Polytechnic University of Turin across multiple academic years (2022/23-2024/25), facilitating the integration of contemporary structural concepts into engineering education.

Francesca ScozzariView profile

Associate Professor

• Abstract Interpretation
• Static Analysis
• Numerical Domains
• +3 more

Francesca Scozzari is an Associate Professor of Computer Science in the Department of Science, Faculty of Economics at the University of Chieti-Pescara. She has maintained an active academic career since at least 2006, teaching computer science courses across multiple academic programs including Economics, Humanities, and Biomedical disciplines. Dr. Scozzari's research centers on abstract interpretation , with particular expertise in numerical domains and static program analysis . Her work bridges theoretical foundations with practical applications, developing precise analysis techniques for program verification and optimization. She has made significant contributions to understanding observational completeness, optimal semantics, and the implementation of numerical abstract domains. Analysis of her publication record reveals a consistent research trajectory focused on improving the precision and efficiency of abstract domains. Her work spans theoretical contributions (completeness properties, optimal semantics) to practical implementations (Jandom, Random). A notable trend is her application of mathematical techniques like principal component analysis to domain construction, demonstrating interdisciplinary thinking that connects computer science with numerical methods. Dr. Scozzari has developed important analysis tools including: Jandom (JVM-based Analyzer for Numerical DOMains) for Java program analysis Random (R-Based Analyzer for Numerical DOMains) leveraging statistical computing She actively contributes to the academic community through workshop organization (Numerical and Symbolic Abstract Domains, Geometry and Computer Science) and teaching diverse computer science courses ranging from foundational programming to specialized topics like Abstract Games and Go. Her teaching portfolio demonstrates exceptional versatility in adapting computer science concepts for students across economics, humanities, and biomedical fields.

Maurice ter BeekView profile

Researcher

• Formal Methods
• Software Engineering
• Railway Systems
• +5 more

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
• +4 more

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.