جستجوی استاد راهنمای دانشگاهی

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Xiangyu Zhang is the Samuel D. Conte Professor of Computer Science at Purdue University. He specializes in AI security, software analysis, and cyber forensics, with a focus on detecting vulnerabilities in traditional software and AI systems. His research includes dynamic slicing, program profiling, and securing AI models against backdoors. He has led projects funded by DARPA, IARPA, NSF, and industry, securing over $13 million in grants. He has mentored 30+ PhD students and postdocs, many of whom hold academic positions or industry roles. His work has been recognized with awards like the ACM SIGPLAN Distinguished Dissertation Award and NSF Career Award. Education: PhD, Computer Science, University of Arizona (2006) MS & BS, Computer Science, University of Science and Technology of China (2000 & 1998) Research Interests: AI Security: backdoor detection, adversarial attacks, model integrity Program Analysis: dynamic slicing, static/dynamic debugging Cyber Forensics: log analysis, attack investigation Software Reliability: fault localization, vulnerability detection Key Projects: DARPA V-SPELLS: domain-specific program analysis IARPA TrojAI: AI backdoor detection competitions NSF-funded research on model debugging and co-reasoning of software/NL artifacts Awards & Recognition: Top performer in IARPA TrojAI competitions (13/18 rounds) ACM SIGPLAN Distinguished Dissertation Award (2006) NSF Career Award (2009) Ranked 8th globally in systems research productivity (2024) Career Contributions: Secured over $13M in research funding Guided 25 PhDs and 8 postdocs Published 89+ top-tier papers (2014–2024)

• AI Security
• Software Engineering
• Programming Languages and Compilers
• +۵ مورد دیگر

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.

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

Stephen Marglin is the Walter S. Barker Professor of Economics at Harvard University, Department of Economics. His research critically examines foundational assumptions of economics, particularly how economic theories marginalize community and cultural values. He explores labor-surplus economies, cost-benefit analysis, and macroeconomic adjustment processes. His work challenges mainstream economics through publications like The Dismal Science: How Thinking Like an Economist Undermines Community (2008). Marglin also advises governments and international agencies on economic policy, including recent tax reform work in Puerto Rico. His teaching integrates standard economics with critical perspectives, focusing on modernity's cultural impact and globalization. Research interests include development economics, economic theory, and the interplay between economic systems and cultural values. His articles span Keynesian theory reinterpretation, labor dynamics, and critiques of neoclassical economics. Marglin collaborates with his spouse, anthropologist Frédérique Apffel-Marglin, blending economic and cultural analyses. Personal interests include gardening, animal husbandry, and family life. He has held roles such as adviser to governments and institutions, emphasizing policy relevance. His academic contributions are translated into multiple languages, reflecting global influence.

• Development Economics
• Economic Theory
• Macroeconomics
• +۴ مورد دیگر

Monika Henzinger is Professor at the Institute of Science and Technology Austria (ISTA), heading the research group of Theory and Applications of Algorithms. She also serves as Vice President for Technology Transfer at ISTA since 2024. Previously, she held professorships at the University of Vienna (2009-2023) and EPFL, Switzerland (2005-2009), was Director of Research at Google (1999-2005), and served as Assistant Professor at Cornell University. Professor Henzinger's research centers on efficient algorithms and data structures with three main thrusts. First, she investigates dynamic settings where program inputs are repeatedly updated, seeking solutions faster than restarting computations. Second, she develops privacy-preserving algorithms that add minimal noise to protect input data while maintaining efficiency. Third, she translates theoretically optimal algorithms into practical implementations for dynamically changing inputs. Her work consistently addresses resource conservation in data processing, particularly computing time and memory space, while exploring the theoretical limits of possible savings. Henzinger's recent publications (2024-2025) reveal strong trends in dynamic algorithms, differential privacy, and graph theory. Her research consistently bridges theoretical computer science with practical applications, focusing on algorithms that adapt to changing inputs while preserving computational efficiency and data privacy. She has made significant contributions to problems like dynamic matching, minimum cut computation, and privacy-preserving data analysis across various domains. Professor Henzinger has received numerous prestigious awards and honors: Wittgenstein Award (2021) Two ERC Advanced Grants (2014, 2021) Carus Medal of the German Academy of Sciences Leopoldina (2019) SIGIR Test of Time Award Fellow of the Association of Computing Machinery (2016) Member of the Austrian Academy of Sciences (2017) CAREER Development Award of the National Science Foundation Best paper Award at the Symposium on Discrete Algorithms (2024) Professor Henzinger currently advises PhD students Bardiya Aryanfard, Antoine El-Hayek, and Roodabeh Safavi Hemami, along with postdocs Anamay Chaturvedi and Niklas Hahn. Her research is supported by multiple significant grants including an ERC Advanced Grant for 'Design and Evaluation of Modern, Fully Dynamic Data Structures,' the FWF Wittgenstein Prize, and the WEAVE Project on 'Static and dynamic hierarchical graph decompositions.' She also serves as Principal Investigator for the FWF project 'Fast algorithms for a reactive network layer,' providing substantial funding for her innovative work in algorithms and data structures. Professor Henzinger leads the Theory and Applications of Algorithms research group at ISTA, which focuses on developing practical algorithms for dynamic environments. Her team investigates resource conservation in data processing, specializing in dynamic algorithms that efficiently handle changing inputs, privacy-preserving algorithms that minimize noise while protecting data, and translating theoretical algorithms into practical implementations. The group maintains a strong presence in theoretical computer science through regular publications in top conferences and journals, and collaborates extensively with institutions worldwide to advance algorithmic research.

• Algorithms
• Data Structures
• Dynamic Algorithms
• +۳ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

• Software Engineering
• Program Languages
• Natural Language Processing
• +۶ مورد دیگر

Westley Weimer is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at the University of Michigan, College of Engineering. He teaches advanced courses such as EECS 590 (Advanced Programming Languages) and EECS 481 (Software Engineering), and has previously taught at the University of Virginia. His research integrates software engineering, programming languages, and cognitive science, focusing on automated program repair, program analysis, and the neuroscience of code comprehension. University: University of Michigan School: College of Engineering Department: Department of Electrical Engineering and Computer Science Academic Rank: Professor His research interests include automated program repair (e.g., GenProg), software quality, cognitive modeling of programming, neuroimaging studies of code review, and the application of medical imaging to software engineering. He explores deep questions at the intersection of consciousness, time, and computation, advocating for interdisciplinary approaches to understanding the mind through programming behavior. The most recent publications reflect a trend toward empirical and cognitive studies in software engineering, combining automated repair with human factors, neuroimaging (fMRI, TMS), and real-world software challenges. Themes include bias in code review, programming under cognitive influences, and the neurological basis of code comprehension. His work increasingly bridges computer science with psychology, neuroscience, and social science. Scientific awards include multiple Distinguished Paper Awards at ICSE, FSE, and ESEC/FSE, Best Paper and Runner-up awards, and several 10-Year Most Influential Paper Awards from ASE, GECCO, POPL, and ASPLOS, recognizing the lasting impact of his contributions to automated software repair and program analysis. He has advised numerous PhD and Master’s students, many of whom have gone on to faculty positions or industry research roles. He contributes to academic service through organizing diversity and inclusion initiatives, maintaining graduate career resources, and promoting ethical and inclusive practices in computing. He leads a vibrant research group focused on improving software quality through both technical and human-centered innovations, with ongoing projects in automated repair, cognitive modeling, and secure systems.

• Automated Program Repair
• Software Engineering
• Programming Languages
• +۱۸ مورد دیگر

Michael Pyrcz is a Professor in the Hildebrand Department of Petroleum and Geosystems Engineering and holds the rank of Associate Professor in the Jackson School of Geosciences at the University of Texas at Austin. He is the recipient of the B. J. Lancaster Professorship in Petroleum Engineering and the George H. Fancher Centennial Teaching Fellowship in Petroleum Engineering. His research focuses on subsurface data analytics, geostatistics, and machine learning applications in energy systems and CO2 sequestration. Pyrcz teaches widely, including through online lectures and GitHub workflows, and has authored over 50 peer-reviewed publications and a textbook on spatial data analytics. His work integrates machine learning with geoscience challenges, such as uncertainty quantification in reservoir modeling and CO2 storage site evaluation. He leads initiatives in energy data analytics through the Freshman Research Initiative and collaborates with industry on workflow development. Key research areas include generative AI for subsurface models, stochastic methods for fracture networks, and anomaly detection in geologic monitoring. Education: Background in petroleum engineering and geosciences (details not explicitly provided). Grants/Advising: Extensive industry collaboration and mentorship roles at Chevron prior to UT Austin. Labs/Teams: Maintains active GitHub repositories (GeostatsGuy), YouTube lecture series (GeostatsGuyLectures), and social media outreach (X/GeostatsGuy).

• Subsurface Data Analytics
• Geostatistics
• Machine Learning
• +۳ مورد دیگر

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +۴ مورد دیگر

Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.

• Cybersecurity
• Program Analysis
• Virtualization Security
• +۵ مورد دیگر

Xiaoming Li is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Delaware , focusing on compiler optimization, GPU computing, and hardware-software interaction. His work bridges machine learning with code generation to enhance program efficiency. B.S. and M.E. from Nanjing University (1998, 2001) Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (2006) Research interests include: Compiler optimizations for static and dynamic code transformation Machine learning-driven code generation techniques FFT algorithms for sparse and hybrid systems Non-traditional compilers for SAT solvers and virtual machines GPU acceleration for large-scale computational problems His publications span 15 years , emphasizing: FFT optimization across GPU/CPU architectures Compiler techniques for heterogeneous systems Adaptive scheduling and error resilience Integration of empirical and model-driven approaches Notable awards: NSF CAREER Award (2008) Best Paper Award at ADAPT Workshop (2013) Advising highlights: Current students: Ryan Taylor, Sha Li, Shuo Chen, Yuanfang Chen, Chao Yang, Chaoyu Chen Graduates: Liang Gu (FFT Libraries), Jakob Siegel (GPGPU Frameworks), Murat Bolat (Context-Aware Compilation)

• Compiler Optimization
• Machine Learning for Code Generation
• Hardware-Software Interaction
• +۵ مورد دیگر

Prof. Ryan Keith Shosted is a full-time tenured Professor at the University of Illinois at Urbana-Champaign , affiliated with the Department of Linguistics , Spanish and Portuguese , American Indian Studies Program , Beckman Institute , Lemann Center for Brazilian Studies , Center for Latin American and Caribbean Studies , and Center for African Studies . He serves as Director of the Program in Translation and Interpreting Studies and leads the Chin-Woo Kim Phonetics Laboratory . Education: Ph.D. , Linguistics, University of California, Berkeley (2006) M.A. , Linguistics, University of California, Berkeley (2003) B.A. , Linguistics, Brigham Young University (2000) Shosted's research focuses on the intersection of phonetics , phonology , and historical linguistics . He pioneered the application of ultrafast dynamic MRI to study the vocal tract's physiological-acoustic mapping in diverse languages, including Hittite cuneiform , Deseret Alphabet , and endangered languages like Q'anjob'al. His work spans speech production modeling , nasalization mechanisms , and cross-linguistic articulatory analysis . The 15 most recent publications demonstrate his leadership in dynamic speech imaging , phonetic-aerodynamic modeling , and historical sound change analysis . Key trends include advanced MRI techniques for speech study, phonetic universals , and historical writing systems as tools for linguistic reconstruction. Scientific Awards: Campus Award for Excellence in Undergraduate Teaching (2021) Dean's Award for Excellence in Undergraduate Teaching (2021) Arnold O. Beckman Award (2009, 2010) Jacob K. Javits Fellowship (2001-2005) Shosted's grant portfolio includes NSF funding for nasalization research (BCS-1651197, BCS-1121780) and NIH collaboration (1R01DE027989-01A1) on cleft palate speech. He has directed 12 graduate students and taught courses ranging from Hittite language to quantitative phonetic methods . The Chin-Woo Kim Phonetics Laboratory , under his directorship since 2007, expanded in 2010 to include articulatory phonetics facilities with EPG, ultrasound, and MRI analysis capabilities. He continues to lead Beckman Institute collaborations in speech imaging technology.

• Phonetics
• Phonology
• Historical Linguistics
• +۶ مورد دیگر

Tarun Sabarwal is a Professor of Economics at the University of Kansas and Director of the Center for Analytical Research in Economics. He has held leadership roles including Associate Chair (2016-20) and Director of Graduate Programs (2016-20), while maintaining active research in game theory and microeconomic theory since joining KU in 2000. Education Ph.D. Economics, University of California at Berkeley, 2000 M.A. Math, University of California at Berkeley, 1999 M.B.A. Finance, University of Cincinnati, 1991 B.Comm. (Hon.), Punjabi University, 1989 Research Focus His work centers on strategic complementarities/substitutes and monotone methods in game theory, exploring equilibrium analysis in interdependent decision-making contexts. Key contributions include lattice-based frameworks for network contagion, directional comparative statics, and robust equilibrium characterization across diverse economic environments. Publication Trends Recent publications (2020-2025) demonstrate consistent focus on extending monotone game theory to network contagion dynamics, financial stability, and antitrust applications. His work bridges abstract mathematical economics with real-world policy implications through rigorous lattice-theoretic approaches. Awards Marquis Who's Who in America (2022-present) Economic Theory Fellow of SAET (2020-present) Berkeley Lectures on Monotone Games (2022) De-Min and Chin-Sha Wu Faculty Award (2018-20) Advising and Service Sabarwal has mentored 22 undergraduate researchers including honors thesis students and NSF/Sloan-funded field researchers. He serves as Associate Editor for the International Journal of Economic Theory and chairs key committees including Promotion and Tenure (2022-23). Research Infrastructure As Director of the Center for Analytical Research in Economics, he leads interdisciplinary initiatives and founded the Colloquium seminar series, fostering global collaboration among economists from institutions including Johns Hopkins, Caltech, and Stanford.

• Game Theory
• Microeconomic Theory
• Strategic Complementarities
• +۵ مورد دیگر

Baishakhi Ray is an Associate Professor at Columbia University, specializing in improving software reliability and developers' productivity for both traditional and AI-driven systems. She leads the ARiSE Lab, focusing on interdisciplinary research at the intersection of software engineering and artificial intelligence. Her research interests include software testing for AI systems, adversarial robustness, automated testing of autonomous systems, and leveraging AI techniques such as neural networks for dynamic analysis and fuzzing. Notable projects include DeepTest for autonomous car testing and NEUZZ for efficient fuzzing. Awards: VMware Early Career Faculty Award (2020), IBM Faculty Award (2019), NSF CAREER Award (2019), and multiple best paper awards including EAPLS FASE (2020) and ACM Distinguished Papers (FSE 2017, MSR 2017). Grants: NSF CAREER grant (2019-2024) for deep learning testing, NSF grants for workshops and security bug detection, and collaborative grants on persistent memory and SSL/TLS implementations. Her recent work emphasizes advancing code generation with large language models (LLMs), evaluating model robustness under data contamination, and developing tools like CodeSense and CrashFixer for code semantics and kernel debugging. The ARiSE Lab also explores causal performance debugging and transfer learning for configurable systems.

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Saikat Dutta is an Assistant Professor in the Department of Computer Science at Cornell University. He is affiliated with the Software Engineering Group and focuses on the intersection of Software Engineering and Machine Learning . His work aims to enhance the reliability of ML-based systems while applying ML techniques to solve software engineering challenges. PhD in Computer Science from University of Illinois Urbana-Champaign (Summer 2023) Postdoctoral Researcher at University of Pennsylvania Bachelor's in Computer Science and Engineering from Jadavpur University Research Interests: Dr. Dutta's research spans several key areas: Automated test generation and debugging for ML/DL libraries Using AI/ML for automated software engineering tasks Improving performance of regression tests in ML libraries Static and dynamic analysis for probabilistic programming Article Trends: His recent publications emphasize: Automated testing of ML systems Security vulnerability detection using LLMs Probabilistic program analysis Neurosymbolic learning frameworks Flaky test management in stochastic environments Stochastic regression test optimization Scientific Awards: Meta AI LLM Evaluation Research Grant (2025) Mavis Future Faculty Fellowship (2022-23) Facebook PhD Fellowship (2020-22) 3M Foundation Fellowship (2019-2020) Advising & Grants: Dr. Dutta actively recruits PhD students and postdocs. He leads research projects supported by grants from Meta AI and participates in program committees for top conferences like ICSE and ISSTA. His lab focuses on neurosymbolic systems and ML-based software verification.

• Software Engineering
• Machine Learning
• Artificial Intelligence
• +۵ مورد دیگر