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

Siraj Shaikhمشاهده پروفایل

استاد

• Cybersecurity
• Systems Engineering
• Cyber-Physical Systems
• +۲ مورد دیگر

Professor Siraj Shaikh is a Professor in Systems Security at Swansea University (UK) with joint appointment as Visiting Professor at Nebrija University (Spain). His research specializes in cybersecurity for automotive and transport systems, focusing on cyber-physical systems security. He co-founded CyberOwl, a maritime security analytics company. His research explores the intersection of cybersecurity, systems engineering and computer science, particularly addressing security challenges in connected vehicles and transportation infrastructure. Current work examines threat modeling, risk assessment frameworks, and security validation methods for automotive systems. Professor Shaikh's publications demonstrate consistent focus on automotive cybersecurity, evolving from fundamental security frameworks to specialized applications in vehicular networks and hardware security. Recent work shows increased emphasis on practical implementations and supply chain security. Honors include: Royal Academy of Engineering Industry Fellowship (hosted at HORIBA MIRA) His research has been funded by EPSRC, ESRC, Lloyds Register Foundation, DSTL, British Council and Royal Academy of Engineering. He has authored the book Formal Methods for Software Engineering (Springer, 2022) and leads the Systems Security research group.

• Artificial Intelligence
• Machine Learning
• Case-Based Reasoning
• +۷ مورد دیگر

Professor Kerstin Bach is affiliated with the Department of Computer Technology and Informatics at NTNU's Faculty of Information Technology and Electrical Engineering. Her research focuses on artificial intelligence, machine learning, and their applications in health informatics and robotics. Notable projects include the selfBACK app for musculoskeletal pain management and reinforcement learning for robotic systems. She has supervised numerous doctoral students in areas like activity recognition and explainable AI. Education: Formal academic degrees not explicitly listed in text. Research interests span: - Case-Based Reasoning for clinical decision support - EHealth/mHealth applications (e.g., wearable sensor analytics) - Explainable AI methodologies - Human activity recognition using accelerometer data Recent work emphasizes: - Machine learning models for health monitoring (sleep/wake detection, gait analysis) - Reinforcement learning for robotics and autonomous systems - AI-driven clinical tools for pain management Key Projects: selfBACK app: Digital self-management tool for musculoskeletal pain (RCT validated) UtiliGEM: Energy management framework for IoT devices Labs/Teams: Active in NTNU's AI research groups focusing on healthcare informatics and robotics. Collaborates with medical institutions on clinical AI applications.

• Compilers
• Program Verification
• Formal Methods
• +۶ مورد دیگر

Nuno P. Lopes is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and affiliated with INESC-ID . His research focuses on compiler optimization, program verification, formal methods, and hardware-software co-design for AI workloads. He advises students at both PhD and MSc levels in areas such as compilers, machine learning frameworks, and blockchain security. Education: PhD in Computer Science from Instituto Superior Técnico (2014), Master's from the same institution, and Bachelor's in Computer Science. Research Interests: Compilers, static analysis, LLVM optimization validation, undefined behavior exploitation, tensor contraction processors, and secure smart contract verification. He leads projects like Alive2 for LLVM optimization validation and Torchy , a tracing JIT compiler for PyTorch. Awards: Distinguished Paper at PLDI 2015, Best Paper at SPIN 2013. His student Juneyoung Lee won the EuroLLVM'19 SRC award and best PhD thesis in Seoul National University's Engineering College. Grants: Supported by Google, Matter Labs, Oracle, PRACE, and Woven by Toyota. His lab focuses on sustainable AI computing and compiler-driven optimizations. Current Projects: Alive2, TCP (Tensor Contraction Processor), and FuriosaAI collaborations. Advises students on topics like blockchain mining efficiency, Rust-C++ translation, and secure smart contract execution.

Robin Bloomfieldمشاهده پروفایل

استاد

• Software and System Dependability
• Safety and Assurance Cases
• Security-Informed Safety
• +۷ مورد دیگر

Robin Bloomfield is Professor of Software and System Dependability at City, University of London, affiliated with the College of Engineering, Design and Physical Sciences. He is also a founding member of Adelard LLP, a leading consultancy in software safety and dependability, where he continues to contribute significantly. MA in Natural Sciences, University of Cambridge, 1978 His research focuses on the dependability of computer-based systems, particularly in safety, security, and reliability . Key areas include assurance cases , security-informed safety , trustworthiness evaluation , critical infrastructure interdependencies , and policy development . He has pioneered frameworks for evaluating complex systems, especially in nuclear and transportation domains. His recent publications highlight a growing emphasis on assuring machine learning and autonomous systems , integrating security into safety arguments , and developing methodologies for interdependency analysis in critical infrastructures. These works reflect a trend toward holistic, evidence-based assurance models for emerging technologies. Fellow of the Royal Academy of Engineering (FREng), 2014 Bloomfield has held influential roles in national and international advisory bodies, including the UK Nuclear Safety Advisory Group (NUSAC), the Cabinet Office Information Assurance group, and NATO research initiatives. He has chaired major conferences such as EWICS and served on the Safecomp programme committee for many years. He is also Associate Editor-in-Chief of IEEE Security & Privacy magazine and has advised the UK Parliament on systemic risks in computer-based trading. He leads research efforts that bridge academic rigor and real-world application, particularly through his work with Adelard. His projects often involve collaboration with government agencies, industry stakeholders, and international research bodies to address challenges in critical infrastructure resilience and safety assurance.

• Distributed Software Systems
• Network Function Virtualization
• Formal Verification
• +۳ مورد دیگر

Patrick Eugster is a full professor at the Università della Svizzera italiana (USI) and leads the Software Systems (SWYSTEMS) group within the Computer Systems Institute . He has held academic positions at Purdue University, TU Darmstadt, and MIT as a visiting faculty. His research focuses on distributed software systems , addressing challenges in consistency, efficiency, and security in decentralized environments. Current affiliation: USI Faculty of Informatics Prior affiliations: Purdue University (2005-2016), TU Darmstadt (2014-2017), MIT (2012/2013) Research Interests Distributed Systems : Investigating reliable failure detection, deterministic data paths for 6G, and hybrid synchronous/asynchronous architectures. Network Innovation : Optimizing TCAM encoding, analyzing microbursts, and developing quantum network protocols. Security & Verification : Creating confidentiality-preserving mechanisms and formal verification approaches for distributed software. Scientific Contributions 2025: Best paper at TACAS on Horn clause validation 2025: IFIP Jean-Claude Laprie Award for dependable computing 2024: Key papers at IEEE Network, ACM PLDI, and IEEE INFOCOM Funding & Collaborations Swiss National Science Foundation grants #200021_197353 and #200021_192121 EU Horizon Europe MSCA staff exchange project CloudStars Industry partners: Cisco, Amazon AWS, Facebook Research, SAP, Northrop Grumman Cybersecurity Research Consortium Labs & Teams Directs the SWYSTEMS group, which includes postdocs like Sina Darabi and Shamiek Mangipudi, PhD students such as Anita Buckley and Jérôme Graf, and alumni who have become faculty at institutions like Télécom Paris and University of Southern California.

• Cryptography
• Security Protocols
• Formal Methods
• +۳ مورد دیگر

Pedro Miguel Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of Instituto Superior Técnico (IST), University of Lisbon. He holds a PhD in Mathematics from IST (2006) and a Diploma in Applied Mathematics and Computation from the same institution (2002). His research focuses on cryptography, security protocols, formal methods, quantum security, and process calculi. He has conducted research at Microsoft Research Cambridge and the INRIA-Microsoft Research Centre in Paris, and is a member of the SQIG research group. Education: PhD in Mathematics, IST - University of Lisbon (2006) Diploma in Applied Mathematics and Computation, IST - University of Lisbon (2002) Research Interests: Adão’s work spans formal verification of cryptographic protocols, computational soundness, quantum security models, and security tool development. He has contributed to frameworks for analyzing security protocols and designing secure systems. Recent work includes firewall configuration tools (Mignis) and type-based analysis of cryptographic APIs. Affiliations & Activities: Organizer of the SQIG Information Security Seminar, PC member in multiple conferences (e.g., INForum, POST), and invited researcher at international institutions. His publications address topics like computational soundness, symbolic attackers, and Bayesian network classifiers.

Daniel Strüberمشاهده پروفایل

دانشیار

• Model-Driven Engineering
• AI Engineering
• Software Quality Assurance
• +۷ مورد دیگر

Daniel Strüber is an Associate Professor in Software Engineering at Chalmers University of Technology and the University of Gothenburg, Sweden, and an affiliate of the Department of Software Science at Radboud University Nijmegen, Netherlands. His research focuses on model-driven engineering, AI engineering, and empirical software engineering, addressing challenges in software quality, variability management, and security. He holds a PhD (summa cum laude) from Philipps University Marburg and has held academic positions including Assistant Professor at Chalmers and postdoctoral roles at King's College London and Philipps University Marburg. Education: PhD in Computer Science, Philipps University Marburg (2011–2016) Diplom (M.Sc. equivalent) in Computer Science, Philipps University Marburg (2005–2011) Research Interests: Strüber's work spans model-driven engineering, AI integration in software systems, and empirical studies. Key areas include: Model-based languages and tools for software quality assurance Machine learning-enabled systems and their engineering principles Robotics software engineering and variability management Formal methods for consistency and security Search-based optimization in model-driven development Recent Contributions: Recent work includes studies on LLM-assisted reverse engineering, empirical analysis of manual abstraction in software systems, and model-driven approaches for edge deployment of ML models. His research bridges theory with practical implementations in domains like robotics and web-based systems. Awards: Best Reviewer Award (SoSyM 2025) Distinguished Reviewer Awards (GPCE 2024, SPLC 2023) Transformation Tool Contest Awards (2020, 2016) EASST Best Paper Awards (ICGT 2020, ICGT 2017) Grants & Leadership: Co-editor of a JSS special issue on Product Line Engineering (2024) and program co-chair of SPLC 2024. Active in conferences like ICSE, ICGT, and MODELS. Leads grants such as the VR SEMLA project (2022–2024) and the DFG EUphORia fellowship (2019). Teaching: Courses include 'Software Engineering for AI Systems' at Chalmers and 'Software Product Lines' at Radboud University. Involves students in real-world projects via GiPHouse, a student-run company.

• Network Protocol Validation
• Formal Methods in Software Engineering
• Mobile and Wireless Networks (MANETs/IoT)
• +۳ مورد دیگر

Stéphane MAAG is a Professor at Telecom SudParis, associated with the SAMOVAR research laboratory. His work focuses on formal methods for protocol validation, network security, and distributed systems monitoring. He has contributed to advancing testing methodologies for mobile ad-hoc networks (MANETs), IoT protocols, and wireless communication systems. His research integrates machine learning techniques for automation and has been applied to web testing frameworks and ERP systems. Key research areas include protocol performance evaluation, trust management in networks, and curriculum design for computer science ethics. His work spans both academic surveys (e.g., European ethics education studies) and technical innovations (e.g., proactive interoperability solutions for wireless routing). Publications emphasize practical applications of formal methods, with over 50 peer-reviewed articles in journals like International Journal of Ethics Education , Computer Communications , and IEEE Transactions . His work bridges theoretical foundations with real-world systems like ODOO ERP and SIP protocols.

Øyvind Ytrehusمشاهده پروفایل

استاد

• Coding Theory
• Error-Correcting Codes
• Information Theory
• +۷ مورد دیگر

Øyvind Ytrehus is a Professor at the Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Bergen (UiB), Norway. He is actively engaged in research and academic supervision, with a focus on coding theory and its applications in communication systems. Research Interests: His primary research areas include Coding Theory , Error-Correcting Codes , Information Theory , Network Coding , Cryptography , and RFID Communication . His work bridges theoretical foundations with practical implementations in wireless and networked systems. The recent publications (2024–2008) reflect a consistent trajectory in coding for communication security, RFID systems, and iterative decoding. Key trends include the use of formally unimodular lattices for secrecy gain, LDPC and turbo codes for erasure channels, and network coding for multicast and delay optimization. His work frequently intersects with physical-layer security and energy-efficient communication. Scientific Contributions: Co-edited special issues on coding theory and applications. Authored foundational work on convolutional codes, stopping sets, and generalized Hamming weights. Contributed to RFID and inductively coupled channel modeling. Advising and Grants: He has supervised several PhD candidates, including Bjørn Møller Greve, Christian W. Otterstad, and Mohsen Toorani. While specific grants are not listed, his extensive publication record and editorial roles suggest active grant involvement in coding and communication research. Labs and Teams: While no specific lab name is mentioned, his collaborations with researchers at Simula UiB, University of Valladolid, and Lancaster University indicate participation in interdisciplinary research networks focused on coding and communication systems.

Christian Majenzمشاهده پروفایل

دانشیار

• Post-Quantum Cryptography
• Quantum Cryptography
• Theoretical Computer Science
• +۷ مورد دیگر

Christian Majenz is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), where he is affiliated with the Cybersecurity Engineering group and the Center for Quantum Technologies. His work bridges theoretical computer science and quantum cryptography, focusing on the security of cryptographic primitives in the post-quantum era. Institution: Technical University of Denmark (DTU) School: College of Engineering Department: Department of Applied Mathematics and Computer Science Research Groups: Cybersecurity Engineering, Center for Quantum Technologies His research centers on the foundations of post-quantum cryptography, particularly the Fujisaki-Okamoto transform, security in the presence of decryption failures, and quantum query models. He investigates how classical cryptographic constructions withstand quantum adversaries, using tools from complexity theory and information-theoretic security. His work often involves formal security proofs in idealized models such as the random oracle model and quantum superposition oracles. The recent articles reflect a strong trend in analyzing the robustness of post-quantum encryption schemes, especially under active quantum attacks and imperfect implementations. Topics include re-encryption attacks, worst-case correctness, round elimination in identification schemes, and quantum lower bounds via permutation oracles. His publications span high-impact conferences like Eurocrypt, STOC, and Crypto, as well as journals such as Physical Review A, demonstrating interdisciplinary reach across computer science and quantum physics. Christian Majenz actively supervises multiple PhD students in projects related to quantum-safe cryptology, including post-quantum key agreement, extractability, SHA-3 security, and key encapsulation mechanisms. He leads several funded research projects at DTU, focusing on efficient and provably secure post-quantum cryptographic protocols. While no specific grants or external funding bodies are named in the text, the structured PhD projects indicate institutional or national support. He is involved in academic activities such as organizing workshops, including 'Quantum Techniques for Provable Security' in October 2021, contributing to community engagement in quantum cryptography. There is no mention of teaching awards, fellowships, or scientific honors in the provided text.

• Concurrency and Parallelism
• Real-time Systems
• Distributed Systems
• +۶ مورد دیگر

Lukasz (Luke) Ziarek serves as Associate Dean for Academic Affairs and Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo's School of Engineering and Applied Sciences. His work bridges theoretical computer science with practical systems engineering, focusing on real-time capabilities in distributed environments and safety-critical applications. His educational foundation includes a PhD in Computer Science from Purdue University (2011) and a BS in Computer Science from the University of Chicago (2003). Ziarek's research centers on formal verification of distributed protocols , real-time systems engineering , and mobile/embedded computing . He pioneers session type theory for IoT security, develops real-time variants of Android (RTDroid) and Standard ML (RTML), and investigates UAV software reliability. His work consistently addresses the tension between theoretical guarantees and practical system constraints in concurrency, timing, and security. Recent publications (2022-2025) reveal three dominant trajectories: formal methods for rate-based session types in IoT protocols, performance analysis of visual SLAM systems for robotics, and security vulnerabilities in embedded platforms like ARM TrustZone. These threads converge on ensuring correctness and timeliness in resource-constrained distributed systems. His scientific accolades include the IEEE Region One Technological Innovation Award (2023) and NSF CAREER Award (2018), reflecting dual excellence in research and education. IEEE Region One Technological Innovation (Academic) Award, 2023 President Emeritus and Mrs. Meyerson Award for Distinguished Undergraduate Teaching and Mentoring, 2022 NSF CAREER Award, 2018 SEAS Early Career Teacher of the Year, 2016 Halstead Award for Outstanding Research in Software Engineering, 2009 Intel Fellowship, 2008 GAANN Fellowship, 2004 Ziarek directs significant research initiatives including a $900K NSF UAV infrastructure project (as PI) and a $1.7M MRI grant for connected vehicle testing. His funding portfolio spans real-time systems, compiler design, and pocket-scale data management, emphasizing collaborative, interdisciplinary approaches to software reliability. CRI:CI-New UAV Infrastructure ($900K, PI 31%) NSF CAREER: Real-time Object-Oriented Systems ($500K, PI 100%) MRI: iCAVE2 Vehicle Testing ($1.7M, co-PI 14%) III: Just-in-Time Data Structures ($499K, co-PI 50%) II-EN: MLton Compiler Research ($606K, PI 63%) He leads an open-source ecosystem including RTDroid (real-time Android), Multi-MLton (parallel SML compiler), and BlueSeal (Android security analyzer), fostering community-driven advances in systems software.

Ravi Paulمشاهده پروفایل

استاد

• Management Information Systems
• Requirements Engineering
• Information Systems
• +۴ مورد دیگر

Ravi Paul is a Professor in the Department of Management Information Systems at the College of Business, East Carolina University, where he also serves as Associate Dean for Academic Quality. He is actively engaged in teaching, research, and academic leadership, with a strong focus on information systems and management. Education: B.S. in Mechanical Engineering, Bangalore University M.S. in Industrial Management (MIS emphasis), Clemson University Ph.D. in Industrial Management (MIS emphasis), Clemson University Ravi Paul's research centers on Management Information Systems, with emphasis on requirements engineering, systems analysis, and IT project management. His work bridges technical and managerial aspects of information systems, aiming to improve organizational efficiency and decision-making. He is passionate about pedagogy and has made significant contributions to MIS education. His publications span top-tier journals and conferences such as the Requirements Engineering Journal , Information and Management , HICSS, AMCIS, and DSI. The research trends reflect a consistent focus on practical applications of MIS in business contexts, including digital transformation, data quality, cybersecurity, ERP systems, and agile methodologies. His work often explores human, organizational, and strategic dimensions of technology adoption and governance. Scientific Awards and Honors: University of North Carolina Board of Governors Award for Excellence in Teaching UNC Board of Governors Distinguished Professor for Teaching Award ECU Alumni Association’s Robert L. Jones Award for Outstanding Teaching College of Business Commerce Club Teaching Excellence Award New Faculty Teaching Award ECU Scholar-Teacher Award Ravi Paul has been recognized for his exceptional teaching and academic leadership. He delivered the commencement address at ECU’s Fall 2012 graduation, underscoring his institutional impact. While no formal advising or grant details are listed, his extensive research and leadership roles suggest active mentorship and scholarly influence. There is no mention of specific labs or research teams, but his work aligns with broader initiatives in business technology and digital transformation within the College of Business.

Daniel Woodsمشاهده پروفایل

مدرس

• Cybersecurity
• Privacy
• Security Economics
• +۸ مورد دیگر

Daniel Woods is a Lecturer in Cybersecurity at the School of Informatics, The University of Edinburgh, with a joint appointment at the British University in Dubai, where he periodically teaches and collaborates. His work bridges computer science, economics, and law, focusing on the financial and organizational dimensions of cybersecurity. His research interests lie at the intersection of cybersecurity and economics, particularly in cyber insurance, digital risk management, cyber risk quantification, and incident response. He investigates how legal frameworks and market mechanisms influence security behaviors and outcomes, including the role of breach attorneys, privacy preference signals, and 0-day exploit brokers. His work emphasizes empirical and quantitative approaches to understanding cyber risk. The recent articles highlight a strong trend in the economic and policy dimensions of cybersecurity, especially the evolving role of cyber insurance in shaping organizational security practices. His publications span top-tier venues in security and interdisciplinary domains, reflecting a focus on risk modeling, legal implications, and market-based solutions to cyber threats. Fulbright Scholar Award (during PhD at University of Tulsa) Daniel Woods has advised research through projects such as PRINSUR, where he supervised research associate Rachiyta Jain. While formal student advisees are not listed, his postdoctoral and collaborative experience at the University of Innsbruck’s Security and Privacy Lab under Rainer Böhme indicates strong mentorship engagement. No specific grants are mentioned, but his research is likely supported through institutional and project funding related to cybersecurity economics. He is affiliated with the Security and Privacy Research Institute and the Laboratory for Foundations of Computer Science at the University of Edinburgh, and previously worked in the Security Economics Lab at the University of Tulsa and the Security and Privacy Lab at the University of Innsbruck. These affiliations reflect a strong network in cybersecurity research with an economic and policy orientation.

Weiming Xiangمشاهده پروفایل

دانشیار

• Cyber-Physical Systems
• Safe AI
• Formal Methods
• +۶ مورد دیگر

Dr. Weiming Xiang is an Associate Professor at the School of Computer and Cyber Sciences of Augusta University , Georgia. He transitioned from Assistant Professor (2019–2023) to his current role (2023–present). His academic journey includes postdoctoral positions at Vanderbilt University and University of Texas at Arlington , and a research associate role at the University of Hong Kong . He earned his Ph.D. (2014) in hybrid transportation systems from Southwest Jiaotong University , an M.Sc. (2007) in automation from Nanjing University of Science and Technology , and a B.E. (2005) in electrical engineering from East China Jiaotong University . Research Interests: Dr. Xiang focuses on formal synthesis and verification techniques for cyber-physical systems (CPS) , particularly addressing safety, security, and reliability in learning-enabled CPS . His work spans hybrid systems , neural network verification , control theory , and data-driven modeling , with applications in autonomous vehicles , power systems , and transportation . He develops scalable verification frameworks using reachable set computation , interval arithmetic , and polyhedral methods . Scientific Awards: NSF CAREER Award (2022) IEEE Senior Member (2017–present) Outstanding Reviewer awards from journals like IEEE Transactions on Automatic Control, Neurocomputing, and Journal of the Franklin Institute Top 1% Reviewers in Engineering, Publons (2018) Grants & Collaborations: Dr. Xiang leads multiple NSF-funded projects, including a $498,985 CAREER Award (2022–2027) for machine-learning-intensive CPS upgrades, a $499,000 CPS Program grant with Jason Orlosky (2022–2025) for XR-assisted h-CPS modeling, and a $270,913 NSF grant with Hoang-Dung Tran (2023–2026) for safety assessment of learning-enabled systems. He also contributes to Augusta University's CyberCorps Scholarships for Service program. Labs & Teams: Dr. Xiang leads the AI-CPS Lab , which explores intersections between artificial intelligence , formal verification , and cyber-physical systems . His lab collaborates on projects involving runtime safety monitoring , neural network compression , and hybrid control architectures .

• Program Analysis
• Program Synthesis
• Program Transformation
• +۵ مورد دیگر

Kihong Heo is an Associate Professor at the School of Computing, Korea Advanced Institute of Science and Technology (KAIST), where he leads the Programming Systems Laboratory. He received his Ph.D. in Computer Science & Engineering from Seoul National University and previously served as an Assistant Professor at KAIST (2017-2019) and a Post-doctoral Researcher at the University of Pennsylvania (2009-2017). His research focuses on developing program reasoning systems for safe and reliable software, with three main thrusts: AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges formal methods, programming languages, and machine learning to address critical challenges in software reliability and security. Prof. Heo's recent publications demonstrate a strong trend toward integrating machine learning techniques with traditional program analysis and verification methods. His research spans compiler correctness (particularly for JavaScript engines), mobile security verification, and automated program transformation. The work on 'Safeguarding Mobile GUI Agent via Logic-based Action Verification' (MobiCom 2025) and 'Optimization-Directed Compiler Fuzzing for Continuous Translation Validation' (PLDI 2025) exemplifies his focus on practical verification techniques for real-world systems. ACM SIGSOFT Distinguished Paper Award (FSE 2025) Amazon Research Award (2024) The Soo-Young Lee Teaching Innovation Award, KAIST (2024) Prize for Excellence in Teaching, KAIST (2024) Best Artifact Award, ICSE (2022) ACM SIGPLAN Distinguished Paper Award, PLDI (2019) Prof. Heo actively mentors graduate students, currently advising three Ph.D. students (Yeonhee Ryou, Taeeun Kim, Sujin Jang) and four Master's students. He serves on program committees for major conferences including ICSE, PLDI, OOPSLA, and SAS, and is an Associate Editor for ACM Transactions on Software Engineering and Methodology (TOSEM). His Programming Systems Laboratory develops tools like Sparrow, a state-of-the-art static analyzer for C programs that applies abstract interpretation techniques to verify the absence of fatal bugs.