Software quality Professors and Supervisors | ApplySharif

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

برای مسیر پژوهشی‌تان، استاد راهنما، استاد دانشگاه و پژوهشگر مناسب را پیدا کنید و با آن‌ها ارتباط بگیرید.

نمایش ۱-۱۵ از ۸٬۶۶۶ استاد راهنما

اطلاعات پروفایل‌ها از صفحات عمومی دانشگاه‌ها گرفته شده و ممکن است به‌روز نباشد.

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

استاد

University of California, BerkeleyUnited States

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.

پروفایل رسمی دانشگاه

Joshua D. Angristمشاهده پروفایل

استاد

Massachusetts Institute of TechnologyUnited States

Joshua D. Angrist is the Ford Professor of Economics at the Massachusetts Institute of Technology, where he has been a faculty member since 1996. He is also a co-founder and director of MIT's Blueprint Labs and a Research Associate at the National Bureau of Economic Research. Angrist shares the 2021 Nobel Prize in Economic Sciences with David Card and Guido Imbens for their methodological contributions to the analysis of causal relationships. Angrist received his B.A. from Oberlin College in 1982 and completed his Ph.D. in Economics at Princeton University in 1989. Prior to joining MIT, he taught at Harvard University and the Hebrew University of Jerusalem. His academic journey began somewhat unconventionally, as he left high school early after 11th grade, worked for over a year, and only later discovered his passion for economics through an inspiring teacher at Oberlin. Angrist's research focuses on developing and applying innovative econometric methods to answer important economic questions using natural experiments. His work spans labor economics, education economics, and causal inference methodology. He is particularly known for his contributions to instrumental variables methods and the Local Average Treatment Effect (LATE) framework developed with Guido Imbens. His research explores the economics of education and school reform, the impact of social programs on labor markets, and the effects of immigration and regulation. His recent publications reveal a continued focus on causal inference methods applied to education policy questions, labor market issues, and health economics. The trend shows increasing sophistication in research design, with particular attention to addressing selection bias and developing methods for external validity. His work spans theoretical econometric contributions alongside empirical applications in education, labor markets, and health. Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (2021) Fama Prize for Graduate Education (2018) Fellow of the American Academy of Arts and Sciences Fellow of the Econometric Society Angrist is deeply committed to teaching and mentoring. He has developed influential econometrics textbooks including 'Mostly Harmless Econometrics' and 'Mastering Metrics' with Jörn-Steffen Pischke. At MIT, he teaches courses including Labor Economics I (14.661), Econometric Data Science (14.32), and Labor Economics and Public Policy (14.64). He emphasizes selecting UROP students who have mastered foundational economics through courses like 14.64 and 14.32. Beyond MIT, Angrist co-founded Avela, a software startup using cutting-edge research to help schools improve enrollment and operations. Angrist co-founded and directs MIT's Blueprint Labs, which brings together researchers from economics, computer science, and education to develop innovative solutions for educational challenges. Through Blueprint Labs and Avela, his work bridges academic research with practical applications in education policy and technology.

پروفایل رسمی دانشگاه

Mark Steedmanمشاهده پروفایل

استاد

University of EdinburghUnited Kingdom

Mark Steedman is a Professor in the School of Informatics at the University of Edinburgh, where he conducts research in Artificial Intelligence, Computational Cognitive and Social Science, and Natural Language and Speech Processing. He is affiliated with the Institute for Language, Cognition and Computation (ILCC), the Centre for Speech Technology Research (CSTR), and the Human Communications Research Center (HCRC). He also holds an adjunct professorship in Computer and Information Science at the University of Pennsylvania. His research focuses on Combinatory Categorial Grammar (CCG) , computational linguistics , prosody and intonation , temporal semantics , gesture in communication , and computational music analysis . He has authored foundational books including Surface Structure and Interpretation , The Syntactic Process , and Taking Scope . The recent publications reflect a strong trend toward integrating formal grammatical frameworks like CCG with modern neural and distributional models, particularly in semantic parsing, entailment reasoning, and cognitive modeling. His work bridges symbolic and statistical approaches in NLP, often focusing on robust, wide-coverage parsing and semantic interpretation. Best Paper Award at AACL/IJCNLP 2023 for 'Smoothing Entailment Graphs with Language Models' Best Paper Award at ACL 2023 for 'Extrinsic Evaluation of Machine Translation Metrics' Influential Paper Award 2017 from IFAAMAS for 'Animated Conversation' Mark Steedman has supervised numerous PhD students and collaborated widely across institutions. He leads research in formal grammar applications to cognitive modeling, dialogue, and multimodal communication. His lab contributes to CCG software and semantic parsing tools, and he continues to be actively involved in advancing the integration of symbolic and neural AI.

پروفایل رسمی دانشگاه

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

استادیار

University of Michigan-Ann ArborUnited States

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.

پروفایل رسمی دانشگاه

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

دانشیار

University of PennsylvaniaUnited States

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)

پروفایل رسمی دانشگاه

Ihab Ilyasمشاهده پروفایل

استاد

University of WaterlooCanada

Professor Ihab Ilyas is a leading figure in data management and machine learning at the Cheriton School of Computer Science , University of Waterloo , where he holds the Thomson Reuters Research Chair in Data Quality . He is currently on leave from the university, serving as a Distinguished Engineer, Proactive Intelligence at Apple Inc . His research focuses on data cleaning , large-scale data integration , knowledge graphs , and machine learning applications in data quality . He has pioneered systems like HoloClean and Saga , with commercial impacts through co-founded startups Inductiv (acquired by Apple) and Tamr . PhD in Computer Science from Purdue University Co-founder of Inductiv (acquired by Apple) Co-founder of Tamr Research Interests include: Probabilistic and uncertain data management Machine learning for data quality and enrichment Big data systems and information extraction Knowledge graph construction and optimization Scientific Awards and Recognitions include: Fellow of the Royal Society of Canada (2024) C.C. Gotlieb Computer Award (2024) IEEE Fellow (2021) ACM Fellow (2020) Cheriton Faculty Fellowship (2013-2016) Ontario Early Researcher Award

پروفایل رسمی دانشگاه

Tim Althoffمشاهده پروفایل

دانشیار

University of WashingtonUnited States

Tim Althoff is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington, specializing in Artificial Intelligence and Human-Centered Computing. His research focuses on behavioral data science, combining Data Science Natural Language Processing Social Computing Human-Centered AI Ethics & Fairness to extract insights about health and well-being. Recent publications highlight advancements in: Mental health support through AI Wearable sensor health monitoring Online community analysis Reproducibility in data science Public health interventions with notable papers in ACL, Nature Machine Intelligence, and NeurIPS. Scientific recognition includes: ACL 2023 Outstanding Paper Award WWW 2021 Best Paper Award Double ICWSM 2021 Best Paper Awards SIGKDD Dissertation Award 2019 Fulbright Scholarship German National Merit Foundation Actively mentoring postdoctoral researchers and seeking PhD students in areas like neural representation learning, NLP applications to psychology, and mobile health technologies through his Behavioral Data Science Group .

پروفایل رسمی دانشگاه

James Helalمشاهده پروفایل

مدرس

University of MelbourneAustralia

Dr James Helal is the Assistant Dean for Sustainability and a Lecturer in Construction Management at the Melbourne School of Design (MSD), University of Melbourne. His research focuses on integrating life cycle assessment and computational tools into the structural design of tall buildings, emphasizing embodied carbon reduction. He is recognized for developing software frameworks that automate environmental impact analysis in early-stage structural design. Dr Helal teaches materials, structures, and life cycle assessment in construction management. His pedagogical excellence has earned prestigious awards, including the Edward Brown Award for Teaching Excellence. He coordinates the construction major in the Bachelor of Design program. His research addresses structural optimization, tall building sustainability, and environmental flows. Key contributions include frameworks for reducing carbon emissions in tall building design and critiques of decorative architectural elements' environmental impact. Awards: Structures Best Research into Practice Prize (Institution of Structural Engineers) Open Award for Excellence in Teaching (Faculty of Architecture, Building and Planning) Edward Brown Award for Teaching Excellence (University of Melbourne) Advising & Grants: Coordinates construction curriculum but no explicit student advisee list is provided in texts. His work aligns with sustainability-focused research grants. Labs/Teams: Engaged with MSD’s Future Cities Practice and Construction Innovation initiatives.

پروفایل رسمی دانشگاه

Ajmal Mianمشاهده پروفایل

استاد

The University of Western AustraliaAustralia

Ajmal Mian is a Professor of Computer Science at the University of Western Australia (UWA), affiliated with the School of Physics, Maths and Computing. He holds an Australian Research Council Future Fellowship (2022) and leads research in Artificial Intelligence, Computer Vision, and Machine Learning. His work focuses on 3D computer vision, adversarial AI defense, and explainable AI. His research interests include 3D point cloud analysis, face recognition, human action recognition, and remote sensing. He has published over 300 papers and secured major grants from ARC, NHMRC, and DARPA, totaling millions in funding. He has supervised 29 PhD students and mentored 12 postdoctoral researchers. Key projects include 3D diffusion models for scene generation, robust 3D vision systems, and defense against AI deception attacks. He serves as a fellow of IAPR, an ACM Distinguished Speaker, and has editorial roles at IEEE Transactions on Neural Networks and Pattern Recognition. Research Awards: HBF Mid-Career Scientist of the Year, West Australian Early Career Scientist of the Year, IAPR Best Scientific Paper Award. Grants: ARC Discovery Projects, National Intelligence & Security Discovery grants, DARPA grants for AI security. His teaching spans computer vision, machine learning, and programming courses. Collaborations include defense, medical, and agricultural applications.

پروفایل رسمی دانشگاه

Benjamin Carrison-Schaferمشاهده پروفایل

دانشیار

University of Texas at DallasUnited States

Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.

پروفایل رسمی دانشگاه

Marlon Dumasمشاهده پروفایل

استاد

University of TartuEstonia

Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.

پروفایل رسمی دانشگاه

Sarita V Adveمشاهده پروفایل

استاد

University of Illinois Urbana-ChampaignUnited States

Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.

پروفایل رسمی دانشگاه

Mohammad Saifur Rahmanمشاهده پروفایل

استاد

Purdue UniversityUnited States

Mohammad Saifur Rahman is the Daniels School Chair in Management and a Professor of Management Information Systems at the Mitch Daniels School of Business, Purdue University. Previously, he was an Associate Professor at the Haskayne School of Business, University of Calgary. His academic journey includes significant leadership roles such as co-chairing the Conference on Information Systems and Technology (CIST) in 2013 and serving as president of the INFORMS eBusiness Society in 2014. Currently, he serves as an associate editor for both Management Science and Information Systems Research (ISR). Ph.D. in Management Information Systems, Krannert School of Management, Purdue University (2008) MBA in Management Information Systems, Southern Illinois University (2004) BS in Computer Science, Southern Illinois University (2002) Rahman's research primarily focuses on the economic implications of digital transformations. His work examines how digitization affects consumer behavior, market structures, and business strategies across various industries. He investigates the value of digital traces in driving consumer behavior and improving decision-making, particularly in omnichannel retail environments. His research on the sharing economy has revealed important insights about economic disparities, showing how platforms like Airbnb provide economic benefits to predominantly white neighborhoods while failing to generate similar spillover effects in predominantly Black or Hispanic neighborhoods. His recent publications reveal a consistent focus on the intersection of technology, economics, and social impact. Rahman's work frequently examines how local market structures interact with digital platforms to create or exacerbate economic inequalities. His research spans multiple disciplines including information systems, economics, marketing, and operations management, with a particular emphasis on empirical studies using real-world data from major companies like Walmart and Cisco. CICP Faculty Commercialization Award (2020) INFORMS Sandy Slaughter Early Career Award (2018) World's Top 40 Business School Professors Under 40 by Poets and Quants (2017) Jay N. Ross Young Faculty Scholar Award (2015) Dean's Award for Outstanding Research Achievement (University of Calgary, 2014) Rahman has secured substantial research funding from organizations including Social Sciences and Humanities Research Council (SSHRC), Adobe Systems ($50,000 grants in 2017 and 2020), Trask Innovation Fund ($21,218), and NSF I-Corps ($50,000). He has advised numerous PhD students and collaborated with industry partners to translate research into practical applications. Rahman co-founded RightFit Analytics, a precision health analytics solution that utilizes AI to learn success patterns in healthcare. He has organized significant academic events including the Krannert-Walmart Data Dive (believed to be the first data dive on a college campus) and the Dawn or Doom Data Dive in cooperation with Cisco. Rahman actively engages with industry through consulting and collaborative research projects. His work with Walmart, Cisco, and other major corporations demonstrates his ability to bridge academic research with practical business applications. He has been particularly active in studying how AI and big data analytics can be leveraged to improve business decision-making while addressing potential negative consequences like algorithmic bias and economic inequality.

پروفایل رسمی دانشگاه

Florian Tramèrمشاهده پروفایل

استادیار

Schloss Dagstuhl - Leibniz Center for InformaticsGermany

Florian Tramèr is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland, leading research at the intersection of machine learning security, privacy, and AI safety. His work focuses on identifying and mitigating security vulnerabilities in machine learning systems, particularly in large language models and other AI systems. Tramèr's primary research interests include adversarial machine learning, membership inference attacks, privacy-preserving AI, and the security implications of large language models. His work has significantly advanced our understanding of how machine learning models memorize training data, how this memorization creates privacy risks, and how to evaluate the robustness of machine learning systems against various attacks. His recent publications demonstrate a strong focus on practical security challenges in deployed AI systems, including data extraction from language models, adversarial attacks against generative AI, and developing more rigorous evaluation methodologies for machine learning security. Tramèr's research has been published in top venues including ICLR, NeurIPS, ICML, and IEEE Security & Privacy. Tramèr is actively collaborating with leading researchers in the field including Nicholas Carlini, Matthew Jagielski, and Javier Rando, contributing to important initiatives like the International AI Safety Report. His work bridges theoretical security concepts with practical implications for real-world AI deployment.

پروفایل رسمی دانشگاه

Xiangyu Zhangمشاهده پروفایل

استاد

Purdue UniversityUnited States

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)

پروفایل رسمی دانشگاه

نمایش نتایج تا ۷۵۰ مورد اول. برای یافتن نتایج دقیق‌تر، جستجوی خود را با فیلترها محدود کنید.