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

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Sewoong Ohمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Security & Privacy
• +۴ مورد دیگر

Sewoong Oh is a Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he has been faculty since 2019. His research focuses on the foundations of machine learning with particular emphasis on differential privacy, secure and robust machine learning, and federated learning. Prior to joining UW, he was at the Department of Industrial and Enterprise Systems Engineering at the University of Illinois at Urbana-Champaign from 2012-2019. He is affiliated with multiple NSF AI Institutes including ACTION (Agent-based Cyber Threat Intelligence and Operation), AI-EDGE (Future Edge Networks and Distributed Intelligence), and IFML (Foundations of Machine Learning). Oh received his PhD in Electrical Engineering from Stanford University in 2011 under Andrea Montanari, followed by postdoctoral work at MIT's Laboratory for Information and Decision Systems under Devavrat Shah. His educational background spans top institutions in theoretical computer science and electrical engineering. His research spans the critical intersection of machine learning security, privacy, and robustness. Oh's work addresses fundamental challenges in making AI systems reliable and trustworthy, with particular focus on defending against backdoor attacks, developing privacy-preserving algorithms, and creating efficient tokenization methods for language models. His recent SuperBPE work demonstrates how moving beyond traditional subword tokenization can significantly improve language model efficiency and performance. His research consistently bridges theoretical foundations with practical implementations, as evidenced by numerous open-source repositories containing production-ready code. Oh's publications reveal a consistent trajectory toward addressing security and privacy concerns in increasingly complex machine learning systems, with recent work focusing on language model tokenization, data-centric AI, and federated learning frameworks. His research shows strong interdisciplinary connections between theoretical computer science, statistics, and practical machine learning systems. ACM SIGMETRICS best paper award (2015) NSF CAREER award (2016) ACM SIGMETRICS rising star award (2017) GOOGLE Faculty Research Awards (2017, 2020) 2024 ICML Best Paper Award (for work by advisee Jon Hayase) Professor Oh maintains an active research group with numerous PhD students, postdocs, and undergraduate researchers. His students have secured prestigious positions at leading tech companies including Amazon, Google, and Snap, as well as academic appointments at institutions like University of Wisconsin-Madison and Shanghai Jiao Tong University. He has received substantial research funding through his participation in multiple NSF AI Institutes and industry research awards from Google. His lab maintains several active GitHub repositories implementing cutting-edge research in backdoor defense, robust statistics, and privacy-preserving machine learning.

Arman Cohanمشاهده پروفایل

استادیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Arman Cohan is an Assistant Professor in the Department of Computer Science at Yale University, where he leads the Yale NLP Lab since its founding in January 2023. His research spans natural language processing and machine learning with emphasis on language modeling, representation learning, retrieval systems, and specialized domain applications including scientific discovery and AI for science. His primary research interests include: Natural Language Processing Machine Learning Large Language Models Information Retrieval AI for Science Scientific Problem-Solving Recent publications (2025) demonstrate intense focus on evaluating and advancing LLM capabilities across multimodal reasoning, scientific claim verification, financial domain applications, and biological modeling. The lab consistently produces high-impact work accepted at top-tier conferences including ACL, EMNLP, and ICLR, with 11 papers at ACL 2025 alone. Scientific awards include: Best Paper Award at AI4Research Workshop (IJCAI 2024) Outstanding Paper Award at EACL 2023 Best Paper Award at ACL 2024 for Olmo language model research Professor Cohan actively advises PhD students including Kaili Liu, Jacob Dunefsky, Alan Li, Yilun Zhao, and has graduated researchers such as Linyong Nan (now at Zoom) and Ansong Ni (now at Meta). The lab maintains strong industry partnerships and receives substantial research funding as evidenced by its prolific output and conference presence. The Yale NLP Lab hosts the annual New England NLP Workshop and regularly features speakers from leading institutions including Meta AI, Allen Institute for AI, and DeepMind, fostering a collaborative environment for advancing NLP research.

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

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Greg Durrettمشاهده پروفایل

دانشیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۷ مورد دیگر

Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Bimal Viswanathمشاهده پروفایل

دانشیار

• Cybersecurity
• Privacy Engineering
• Machine Learning
• +۴ مورد دیگر

Bimal Viswanath is an Associate Professor in the Department of Computer Science at Virginia Tech's College of Engineering. His research focuses on cybersecurity, privacy engineering, and machine learning, particularly addressing adversarial AI and ML system vulnerabilities. He holds a Ph.D. from Saarland University and Max Planck Institute for Software Systems, and has held postdoctoral positions at UCSB and Nokia Bell Labs. Education Ph.D., Computer Science, Saarland University/Max Planck Institute (2016) M.S., Computer Science, IIT Madras (2008) B.Tech, Computer Science, Cochin University (2005) Research interests include: Adversarial attacks using/against ML systems Generative AI security (deepfakes, chatbots) Cybersecurity for online services Grants & Funding Recipient of CCI, NSF, and 4-VA grants supporting projects like robust AI defense mechanisms and adversarial image classification. Recent grants include $1.2M for AI security initiatives (2022-2025). Awards Distinguished Paper Award (SOUPS 2014) Best Paper Award (COSN 2015) AI2000 Most Influential Scholar Honorable Mention (2020) Advising Guided over 15 students including Jiameng Pu (PhD 2022), Connor Weeks (MS 2023), and current advisees Sifat Muhammad Abdullah (PhD 2021-). Notable student achievements include Facebook Fellowship nominations and industry placements at CVENT and University of Michigan. Labs & Teams Leading Virginia Tech's AI Security Lab focusing on generative models, adversarial ML, and applied cybersecurity solutions.

Rajeev Alurمشاهده پروفایل

استاد

• Formal Methods
• Artificial Intelligence
• Cyber-Physical Systems
• +۶ مورد دیگر

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Static and Dynamic Program Analysis
• Software Testing
• +۷ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.

Karthik R. Narasimhanمشاهده پروفایل

استاد

• Language Agents
• Reinforcement Learning
• Natural Language Processing
• +۳ مورد دیگر

Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.

Lin Tanمشاهده پروفایل

استاد

• Software-AI synergy
• Software dependability
• Software engineering
• +۷ مورد دیگر

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

• Embodied Artificial Intelligence
• Natural Language Processing
• Robotics
• +۳ مورد دیگر

Yonatan Bisk is an Assistant Professor at Carnegie Mellon University within the Language Technologies Institute (with courtesy appointment in Robotics Institute). His research bridges Natural Language Processing , Robotics , and Embodied AI , focusing on language grounding, theory of mind, and multimodal interaction. Education : Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Postdoctoral Experience : USC ISI, University of Washington, Allen Institute for AI Industry Appointments : Microsoft Research, Meta AI His research emphasizes embodied language systems and social intelligence in AI . Recent projects include WebArena for autonomous agents, SOTOPIA for social reasoning, and HomeRobot for open-vocabulary manipulation. He leads the REAL Center (Robotics, Embodied AI, and Learning) to foster interdisciplinary collaboration. Key scientific awards include selection for the DARPA ISAT Study Group (2024). He teaches courses like "Talking to Robots" and "Multimodal Machine Learning" while serving as area chair/editor across NLP, Robotics, and ML communities.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.