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

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

دانشیار

• Program Analysis
• Software Security
• Automated Program Repair
• +۴ مورد دیگر

Xiang Gao is a Pre-tenure Associate Professor in the School of Software at Beihang University, China. His research focuses on applying program analysis, test generation, and formal methods to improve software quality through automated bug fixing and program synthesis. He has established significant collaborations with Fujitsu Laboratories of America, Microsoft Research, and other leading institutions in the software engineering field, demonstrating strong industry-academia connections. Dr. Gao received his Bachelor's degree in Computer Science (Elite Class) from Shandong University in 2016, followed by a Ph.D. from the School of Computing at the National University of Singapore, where he also served as a Postdoctoral Fellow until December 2021. His educational background spans both Chinese and Singaporean academic institutions, providing him with a global perspective on software engineering research. His primary research interests span multiple cutting-edge areas of software engineering: Program Analysis techniques for detecting and fixing software bugs with formal methods Software Security vulnerabilities with focus on automated repair methods Automated Program Repair systems that generate high-quality patches without overfitting Program Synthesis for creating transformation rules from examples Software Engineering for Artificial Intelligence (SE4AI) to improve AI model reliability and security Mobile Software Engineering with particular attention to UI testing and automation Deep Learning Security including model protection and obfuscation techniques Dr. Gao's recent publication trajectory shows a strategic evolution toward integrating large language models with traditional software engineering approaches, particularly in test generation and program repair. His work on DNN modularization (NeMo, CNNSpliter, SeaM) represents an innovative approach to enhancing model reusability and security in resource-constrained mobile environments, addressing critical challenges in deploying AI on edge devices. His scientific contributions have been recognized with multiple prestigious awards: ACM SIGSOFT Distinguished Paper Award for "ProveNFix: Temporal Property guided Program Repair" at FSE'24 IEEE TCSE Distinguished Paper Award for "Investigating and Detecting Silent Bugs in PyTorch Programs" at SANER'24 ACM SIGSOFT Distinguished Paper Award for "Modularizing while Training: A New Paradigm for Modularizing DNN Models" at ICSE'24 Distinguished Artifact Award for "Automated Patch Backporting in Linux (Experience Paper)" at ISSTA'21 Dr. Gao actively mentors students at various levels, seeking "self-motivated Ph.D, master, undergraduate students and interns with strong programming skills" for his research projects. He serves on numerous program committees for top software engineering conferences including ICSE, ASE, ISSTA, and FSE, demonstrating his growing influence in the academic community. His research has been supported through collaborations with industry partners including Microsoft Research and Fujitsu Laboratories of America, translating theoretical advances into practical applications. His laboratory focuses on several key research projects including Automated Software Vulnerability Repair (with techniques like Fix2Fit, VulnFix, and ExtractFix that address the overfitting problem in program repair), Program Synthesis for Program Transformation (including Semi-supervised synthesis and FixMorph for automated patch backporting in Linux), and Software Engineering for Artificial Intelligence (with projects like CNNSpliter, SeaM, and Sensei that apply software engineering principles to improve AI model usability and robustness). These projects represent cutting-edge work at the intersection of traditional software engineering and modern AI techniques, addressing critical challenges in software reliability and security.

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

استاد

• Cryptography
• Computer Security
• Algorithms
• +۷ مورد دیگر

Daniel Wichs is a tenured Professor at the Khoury College of Computer Sciences at Northeastern University in Boston. He is a prominent researcher in the field of cryptography and serves as a Senior Scientist at NTT Research. His academic journey includes a PhD from New York University under Yevgeniy Dodis, a postdoctoral fellowship at IBM Research T.J. Watson, and degrees from Stanford University. Current Position: Professor at Northeastern University Prior Positions: IBM Josef Raviv Memorial Postdoctoral Fellow (2011-2013) Education: PhD NYU (2011), BS/MS Stanford (2005) Professor Wichs specializes in cryptography with research interests spanning computing on encrypted data, program obfuscation, lattice-based cryptography, information-theoretic cryptography, and foundational aspects of cryptography. He also maintains broad interests in computer security, algorithms, complexity theory, coding theory, and information theory. His research group includes current PhD students Manu Kondapaneni, LaKyah Tyner, and Ethan Mook, along with numerous successful alumni who have become professors at institutions worldwide. His recent publications demonstrate a strong focus on advanced cryptographic primitives including homomorphic encryption, zero-knowledge proofs, private information retrieval, and functional encryption. These works frequently appear at top-tier conferences like STOC, FOCS, CRYPTO, and EUROCRYPT, with several receiving best paper awards. His research often bridges theoretical foundations with practical applications in privacy-preserving computation. Best Paper at STOC 2023 Alfred P. Sloan Research Fellowship (2018) NSF CAREER Award (2018) J.P. Morgan Faculty Research Award (2022) IBM Postdoctoral Fellowship (2011-2013) Professor Wichs actively contributes to the academic community through service as Area Chair for CRYPTO 2025 and EUROCRYPT 2024, Program Chair for ITC 2020, General Chair for STOC 2016, and membership on numerous program committees. He teaches advanced courses including Foundations of Cryptography (CS 7810) and Theory of Computation (CS 3800), and has organized events like the Charles River Crypto Day and the Simons Summer Program in Cryptography 2025. His research group operates at the forefront of cryptographic theory, addressing fundamental questions about secure computation on encrypted data while developing practical cryptographic tools for real-world applications.