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

Tegawendé F. Bissyandéمشاهده پروفایل

استاد

• Program repair
• Software Security
• Code Search
• +۶ مورد دیگر

Prof. Tegawendé F. Bissyandé is a Chief Scientist in the Professor category at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He holds the prestigious position of ERC Fellow and serves as Principal Investigator of the NATURAL project focused on Artificial Intelligence for Program Repair. His research spans software engineering, cybersecurity, and artificial intelligence, with particular emphasis on applying machine learning techniques to software development and security challenges. Dr. Bissyandé's research interests include: Software Debugging (especially bug localization and program repair) Software Security (especially malware detection and analysis) Code Search (both free-form and semantic code-to-code) Machine Learning and Natural Language Processing for software engineering Cyber-security applications in mobile and cloud environments His recent work demonstrates a strong focus on leveraging Large Language Models (LLMs) for various software engineering tasks. Analysis of his 15 most recent publications reveals several key trends: extensive application of LLMs to program repair and code generation; innovative approaches to Android security and malware detection; development of novel techniques for code search and understanding; and exploration of the intersection between natural language processing and software engineering. His research increasingly bridges theoretical software engineering with practical applications in mobile security and developer productivity tools, with a significant portion of his work focusing on Android ecosystem security and program repair technologies. Dr. Bissyandé has received numerous prestigious awards throughout his career: APSEC Best ERA Paper Award (2018) for 'LSRepair: Live Search of Fix Ingredients for Automated Program Repair' IPSJ SIG SE Excellent Research Award (2018) for 'FaCOY: a Code-to-Code Search Engine' FOSS Impact Paper Award (2018) for 'Characterizing Deprecated Android APIs' SANER Best ERA Paper Award (2016) for 'Parameter Values of Android APIs: A Preliminary Study on 100,000 Apps' ASE Best Paper Award (2012) for 'Diagnosys: automatic generation of a debugging interface to the Linux kernel' As an active member of the software engineering research community, Dr. Bissyandé serves on program committees for major conferences including ICSE, ASE, and ISSTA, and has been an Area Chair for ICSE 2024. His industry partnerships include significant collaborations with BGL BNP Paribas (since January 2019), Luxembourg Stock Exchange (since January 2018), and Paul Wurth (January 2015 to 2018), demonstrating the practical impact of his research. He leads the SerVAL lab at SnT, which focuses on software validation and analysis, with particular expertise in mobile security and program repair technologies, and actively mentors PhD candidates through FNR research grants.

Jinqiu Yangمشاهده پروفایل

دانشیار

• Software Engineering
• Automated Program Repair
• Software Testing
• +۴ مورد دیگر

Jinqiu Yang is an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University. His research focuses on software reliability, automated program repair, software testing, and quality assurance of machine learning systems, particularly in autonomous vehicles. He holds a PhD and MASc from the University of Waterloo and a B.Eng. from Nanjing University. Yang has been a tenure-track faculty member at Concordia since 2018, following research roles at IBM Watson and IBM CAS. Research Interests: Automated Program Repair Software Testing Machine Learning Systems Text Analytics of Software Artifacts Mining Software Repositories Autonomous Systems Quality Assurance Key Contributions: His recent work includes detecting concept drifts in ML systems (ICSE-25) and investigating social bias in LLM-generated code (AAAI-25). He leads the O-RISA Lab and has authored over 50 peer-reviewed publications, including distinguished papers at MSR-2018. Yang currently holds grants such as the NOVA FRQNT-NSERC Program (2024-2027) and the NSERC Discovery Grant (2019-2025). Service & Awards: Editorial Board Member of the Empirical Software Engineering Journal (EMSE) and active PC member in top venues like ICSE and FSE. Recipient of the IBM CAS Fellowship and ACM SIGSOFT Distinguished Paper Award. Teaching & Students: He mentors students in Master's and PhD programs, with funding available. His lab focuses on cutting-edge topics like secure code generation and autonomous vehicle reliability.

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

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

Wei Leمشاهده پروفایل

دانشیار

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

Dr. Wei Le is an Associate Professor in the Department of Computer Science at Iowa State University. His primary affiliations include the Program Analysis & AI Lab and collaborative work with Mayo Clinic. He holds a Ph.D. in Computer Science from the University of Virginia (2010). His research focuses on the intersection of AI and software engineering, particularly in trustworthy AI systems, vulnerability detection, and program analysis. Key areas include AI for medicine, analyzing AI models, and improving software reliability through techniques like dataflow analysis and symbolic execution. Recent work emphasizes efficient vulnerability detection using deep learning (e.g., ICSE 2024), numerical instability in ML applications (FSE 2025), and GPU numerical testing (SC 2024). His research has been supported by NSF, Google, and DARPA. Notable awards include the Distinguished Paper Award at FSE 2016 and Best Presentation at FSE 2008. He has advised over 10 students and collaborates with institutions like Columbia University and UCLA. Teaching responsibilities include courses on program analysis (COM S 413/513), principles of programming languages, and advanced AI topics. He actively contributes to conferences as a PC member and area chair (e.g., ICSE, FSE).

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

مدرس

• Software Engineering
• Machine Learning Trustworthiness
• Fairness Testing
• +۵ مورد دیگر

Dr. Jie Zhang is a Lecturer in Computer Science (Software Engineering) at King's College London, Department of Informatics. Her research bridges software engineering and artificial intelligence, focusing on enhancing trustworthiness in both fields. She obtained her PhD in Computer Science from Peking University (2018) and was a Research Fellow at University College London (2019–2022). She leads the King's Trusted Autonomous Systems Hub and contributes to the Sustainability, Finance, Health, and Security research hubs. Her work addresses fairness in AI systems, code generation efficiency, and vulnerability detection. Education : PhD in Computer Science, Peking University (2015–2018) Visiting Student, University College London (2016–2016) Intern, Microsoft Research Asia (2017) Research Interests : AI for Software Engineering: Code generation, automated testing, and program repair using LLMs. SE for AI: Fairness testing, bias mitigation, and model validation in machine learning systems. Trustworthiness of autonomous systems and cybersecurity applications. Recent Trends in Articles : Focus on fairness in autonomous systems, efficiency of generated code (EFFIBENCH), and empirical analysis of ChatGPT's non-determinism in code generation. Her work addresses intersectional fairness, stealthy backdoor attacks in code models, and benchmarking AI-generated outputs. Awards : 2025 ACM Sigsoft Early Career Award (for pioneering SE for AI contributions) 2022 IEEE TSE Best Paper Award Royal Society International Exchange Grant (2024) 2023 Chinese Female Young Scholars in AI+X Grants & Projects : ITEA GENIUS (2025–2028): Trustworthy autonomous systems ITEA GreenCode (2024–2027): Sustainable software engineering Labs/Teams : Active in King's Cybersecurity Centre, Software Systems Group, and Computing Education Research Centre (CERC).

Jeff Offuttمشاهده پروفایل

استاد

• Software Testing
• Mutation Testing
• Model-Based Testing
• +۸ مورد دیگر

Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, part of the College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University, where he led the MS in Software Engineering program and developed numerous courses in software testing, web engineering, and software analysis. His research has significantly influenced both academia and industry in software testing and engineering education. His research interests span software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has pioneered techniques such as bypass testing and model-based testing, with applications embedded in tools like Selenium. His work emphasizes practical, impactful research—what he calls "science fiction"—with a clear path to real-world use by software engineers. His recent publications reflect a strong trend in cost-effective mutation testing, model-based testing strategies, educational innovations like self-paced learning models (e.g., SPARC), and security aspects of web applications. The keywords across his work include software testing, empirical studies, automation, and education, with subfields such as fault localization, test oracles, input partitioning, and scalable pedagogy. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University Faculty Member of the Year (2020) Virginia Outstanding Faculty Award (2019) George Mason Teaching Excellence Award (2013) 10-year Most Influential Paper Award, MODELS 2020 Best Paper Award, ICST 2021 Most Influential Paper, ISSRE (2019) Jeff Offutt has advised numerous students and collaborated internationally, including at Swedish universities. He has led major educational initiatives such as the NSF-funded SPARC project, aimed at improving scalability and diversity in introductory CS courses. He has also been actively involved in curriculum development, including co-authoring IEEE/ACM guidelines for software engineering programs. His leadership extends to founding and chairing major conferences like IEEE ICST and serving as Editor-in-Chief of Software Testing, Verification and Reliability . He leads research projects on smart test automation, minimal mutation, and K–5 computer science integration. His work has resulted in widely used tools including muJava, Mothra, and SpecTest. He frequently gives keynote talks on testing, education, and research methodology, and is known for his popular talk "How to Get Your Paper Rejected."

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

استاد

• Search Based Software Engineering
• Software Testing
• Program Analysis
• +۳ مورد دیگر

Mark Harman is a part-time Professor of Software Engineering at University College London's Department of Computer Science within the Faculty of Engineering Sciences, while working full-time as a Research Scientist at Meta Platforms in the Instagram Product Performance team. He previously served as head of Software Engineering at UCL and director of its CREST centre from 2006 to 2017 before joining Meta when his startup Majicke was acquired in 2017. Harman's research spans multiple domains of software engineering, with particular emphasis on Search Based Software Engineering (SBSE), which he co-founded in 2001. His work has evolved to include LLM-based software engineering, software testing, program analysis, and bias mitigation in machine learning systems. He has made significant contributions to automated testing through systems like Sapienz and WW that have been deployed at scale at Meta. His publication record shows a clear evolution from traditional software testing and analysis toward increasingly sophisticated integration of machine learning techniques. Recent work demonstrates strong focus on addressing fairness challenges in ML systems, improving test reliability in continuous integration environments, and exploring the applications of large language models in software engineering tasks. This reflects both his ability to identify emerging challenges and his commitment to practical, industry-relevant research. IEEE Harlan Mills Award (2019) ACM Outstanding Research Award (2019) Fellowship of the Royal Academy of Engineering (2020) Harman maintains a unique bridge between academia and industry, having co-founded the Simulation-Based Testing team at Meta and previously directing UCL's CREST research centre. His work on Sapienz grew from his startup Majicke and has had significant industrial impact while maintaining strong academic foundations. He frequently participates in academic conferences as both contributor and committee member, demonstrating ongoing commitment to the research community despite his industry position. At Meta, Harman works within the Instagram Product Performance team, building on his earlier work with the Simulation-Based Testing team where he co-developed platforms for client- and server-side testing. His research on cyber-cyber digital twins represents an innovative application of simulation techniques to virtual software systems rather than physical ones.

• Computer Systems Performance Analysis
• Autonomic Computing
• Cloud Computing
• +۵ مورد دیگر

Daniel Brazier is a part-time Research Affiliate at George Mason University, focusing on advanced computing systems research. His work intersects autonomic computing, cybersecurity, and distributed systems optimization. He specializes in performance modeling for cloud/fog environments, dynamic reconfiguration strategies, and resilience engineering. Key research areas include: Autonomic resource management in edge and cloud systems Stochastic optimization algorithms Security mechanisms like moving target defense Performance-security tradeoff analysis Decentralized runtime system modeling His recent work emphasizes practical frameworks for distributed system trustworthiness and adaptive elasticity control under variable workloads. Outputs include novel meta-heuristic algorithms for virtual network optimization and analytic models for parallel server architectures. Publications highlight contributions to fog/cloud computing, manufacturing process optimization, and security-aware system design. Current efforts focus on applying decision analytics to smart manufacturing and autonomic emergency department frameworks.

Alessandra Gorlaمشاهده پروفایل

دانشیار

• Malware detection for mobile applications
• Automatic software repair
• Software testing
• +۴ مورد دیگر

Alessandra Gorla is an associate researcher professor at IMDEA Software Institute in Madrid, Spain, with a strong background in software engineering research. She previously worked as a postdoctoral researcher with Andreas Zeller at Saarland University in Germany and completed her PhD under Mauro Pezzè at the University of Lugano in Switzerland. Her research bridges theoretical foundations with practical applications in mobile software systems. Her research focuses on malware detection for mobile applications, automatic software repair, software testing and analysis. She has developed techniques for detecting behavior anomalies in graphical user interfaces, identifying third-party libraries in mobile apps, and leveraging intrinsic software redundancy for reliability. Her work spans both Android and iOS ecosystems, with particular attention to permission systems, release practices, and security implications. Analysis of her recent publications reveals a strong trend toward mobile application security and analysis, with increasing focus on iOS systems alongside traditional Android research. Her work combines static and dynamic analysis techniques, often incorporating natural language processing for comment analysis and test generation. There's a clear progression from foundational work on intrinsic software redundancy to more applied research on mobile security and testing. FRITZ-KUTTER AWARD! for PhD thesis on Automatic Workarounds BEST PAPER AWARD! for Search-based Security Testing of Web Applications BEST STUDENT POSTER AWARD! for Automatic Workarounds as Failure Recoveries Dr. Gorla actively mentors students and seeks motivated individuals for internship and PhD opportunities in software engineering. She has served in various organizational roles including Tool Demonstrations co-chair for FSE 2016, Artifact Evaluation co-chair for ESSoS 2016 and ISSTA 2016, and multiple program committee positions at top software engineering conferences. Her work has been supported through collaborations with major research institutions and industry partners. At IMDEA Software Institute, Dr. Gorla leads research on mobile application analysis, particularly focusing on behavioral analysis of Android and iOS applications. Her CHABADA prototype for clustering Android apps by description topics and identifying API usage outliers demonstrates her practical approach to malware detection. She also investigates intrinsic software redundancy for building more resilient systems.

Chris Poskittمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Chris Poskitt is an Associate Professor of Computer Science (Education) at the School of Computing and Information Systems (SCIS) at Singapore Management University (SMU). He also serves as Director of the BSc (IS) Smart-City Management & Technology Major and Director of Undergraduate Administration at SCIS. Dr. Poskitt is an active member of the System Analysis and Verification (SAV) research group within SCIS. Dr. Poskitt completed his PhD in 2014 at the University of York (UK) under the supervision of Detlef Plump. Prior to joining SMU, he was a postdoctoral researcher for three years at ETH Zürich, where he worked with Bertrand Meyer. His academic journey reflects a strong foundation in formal methods and software engineering principles. Dr. Poskitt's research broadly addresses the problem of engineering correct and secure software and systems. His work spans several key areas including software engineering, formal methods, cybersecurity, and computer science education. He has developed innovative techniques for testing and defending cyber-physical systems using fuzzing and machine learning, tools for analyzing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs. His research projects include AI agent safety, autonomous vehicle testing, critical infrastructure security, defending cyber-physical systems, analyzing actor-like concurrency models, verifying graph programs, and software engineering education. Dr. Poskitt's recent publications (2024-2026) demonstrate a strong focus on safety and security of autonomous systems, particularly autonomous vehicles and LLM agents. His work combines formal methods with practical applications, addressing challenges in runtime enforcement, causality analysis, and automatic repair of system behaviors. There's a clear progression from foundational work on graph transformation and formal verification toward applied research on cyber-physical systems and AI safety, with an increasing emphasis on real-world impact. Dr. Poskitt serves as research advisor to students including Huang Shaofei, WANG Haoyu, and ZHAO Lu. His research has been supported by various grants that have enabled publications across top software engineering and security venues including ICSE, FSE, ASE, and IEEE Transactions. He has served on numerous prestigious program committees including ICSE, FSE, ASE, and ICGT, indicating recognition by his peers in the software engineering community. Dr. Poskitt is part of the System Analysis and Verification (SAV) group at SMU's School of Computing and Information Systems. This research group focuses on formal methods and verification techniques for software systems, with particular emphasis on safety and security properties. His work often involves collaboration with researchers at institutions including ETH Zürich and other international partners.

• Cybersecurity
• Privacy
• Data management
• +۴ مورد دیگر

Dr. Wanlun Ma is a Postdoctoral Research Fellow at the School of Science, Computing and Emerging Technologies , Swinburne University of Technology . He earned a Bachelor's and Master's in Information and Communication Engineering from the University of Electronic Science and Technology of China (UESTC) in 2017 and 2020, respectively, followed by a Ph.D. in Computer Science from Swinburne University of Technology in 2024. His research focuses on Trustworthy and Responsible AI , particularly in adversarial machine learning, network security, and privacy preservation. Education B.E., M.E. in Information and Communication Engineering, UESTC (2017, 2020) Ph.D. in Computer Science, Swinburne University of Technology (2024) Research Interests Trustworthy AI systems Adversarial machine learning Network security and privacy AI ethics and accountability Grants Australian Research Council (ARC) grant (2025-2029) for AI Models for Digital Manufacturing Supervision Available to supervise Ph.D. candidates

Martin Monperrusمشاهده پروفایل

استاد

• Software Engineering
• Program Repair
• Artificial Intelligence for Software Engineering
• +۵ مورد دیگر

Martin Monperrus is a Professor of Software Technology at KTH Royal Institute of Technology in Stockholm, Sweden. He leads the software engineering research group focusing on program repair, AI-driven software development, and software supply chain security. His work spans theoretical computer science and practical applications in blockchain, testing, and diversity in systems. Teaches courses such as Automated Software Testing, Blockchain Systems, and Advanced Software Engineering. Research centers on inventing tools for modern software engineering, including program synthesis, neural repair, and resilient systems. Pioneers initiatives like Repairnator (automatic bug fixing bot) and open-source tools like Astor and Gumtree. Research interests include: Automated program repair using large language models Blockchain security and decentralized systems Reproducible builds and dependency management Formal methods for smart contracts Recent work emphasizes: Generating mocks and test data with AI Supply chain attacks in Java/Golang Leaderboards for program repair models Labs/Teams: Leads the KTH Software Technology Group , collaborating with PhD/Master's students on cutting-edge projects.

Abhik Roychoudhuryمشاهده پروفایل

استاد

• Program Analysis
• Software Testing
• Software Security
• +۵ مورد دیگر

Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has been working since 2001. He serves as the Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) and chairs the FSE Steering Committee. Professor Roychoudhury leads the TSUNAMi center, a five-year research effort funded by the National Research Foundation in trust-worthy software, and is the Lead Principal Investigator of the Singapore Cyber-security Consortium. Professor Roychoudhury received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His academic journey has been primarily at NUS, where he has built a distinguished career in software engineering research. His research focuses on software testing and analysis, software security, and trust-worthy software construction. Professor Roychoudhury's research group has developed scalable techniques for testing, debugging, and repair of programs using systematic semantic analysis. His work on automatic program repair has been particularly influential, contributing to the vision of self-healing software. Current research directions include integrating large language models with traditional program analysis techniques for autonomous software engineering, as exemplified by the AutoCodeRover project. Professor Roychoudhury's recent publications demonstrate a strong focus on automated program repair, with increasing integration of large language models and AI techniques. His work spans both theoretical foundations and practical applications, with numerous contributions to top software engineering conferences. The research shows a clear trajectory toward more autonomous software engineering systems that can understand code intent, generate repairs, and verify their correctness. IEEE TCSE New Directions Award (2022) ICSE 2023 Most Influential Paper Award ACM Distinguished Speaker (2013-2019) Fellow of the ACM Professor Roychoudhury has successfully mentored numerous Ph.D. students who have gone on to academic positions at prestigious institutions worldwide, including University College London, Max-Planck Institute, and University of Melbourne. His research is supported by significant grants, including a five-year program on Automated Program Repair at NUS funded by the National Research Foundation, and collaborations with industry partners through the Singapore Cyber-security Consortium. The TSUNAMi center represents a major research initiative with substantial funding for trust-worthy software research. Professor Roychoudhury leads an active research group focused on software analysis and repair. The group has developed several notable systems including AutoCodeRover, an autonomous software engineer that can resolve GitHub issues with minimal LLM cost. The group collaborates extensively with industry, as evidenced by the recent acquisition of AutoCodeRover by Sonar. Current research directions include next-generation fuzzing of stateful systems and the integration of AI techniques with formal methods for more reliable software.

Liqian Chenمشاهده پروفایل

استاد

• Program analysis
• Program verification
• Abstract interpretation
• +۳ مورد دیگر

Liqian Chen is a Full Professor and PhD Supervisor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT) in Changsha, China. With a prolific research career spanning over a decade, Professor Chen has established himself as a leading expert in program analysis, verification, and automated program repair. His work bridges theoretical foundations with practical applications, particularly in the areas of abstract interpretation and numerical program analysis. Professor Chen's primary research interests include: Program analysis and verification Abstract interpretation Automated program repair Floating-point analysis Neural network verification His research focuses on developing rigorous theoretical frameworks for program analysis while ensuring practical applicability to real-world software systems. A significant portion of his work addresses the challenges of numerical accuracy in software, particularly in floating-point computations, and has extended these techniques to the emerging domain of neural network verification. Analysis of Professor Chen's recent publications reveals several key trends in his research trajectory. His work has evolved from foundational abstract interpretation techniques to address increasingly complex software systems, including neural networks. There's a clear progression from theoretical developments in abstract domains to practical applications in software verification and repair. His recent work demonstrates a growing emphasis on the intersection of traditional program analysis with machine learning systems, particularly in verifying neural network behavior and addressing numerical instability in AI systems. Professor Chen has received notable recognition for his contributions to the field: ACM SIGSOFT Distinguished Paper Award (ISSTA 2024) Best Paper Award (APSEC 2017) Best Paper Award Nomination (EMSOFT 2015) As an academic advisor, Professor Chen supervises numerous PhD and Master's students working on cutting-edge research in program analysis and verification. His team has developed several influential tools including AutoRNP (for automatically detecting and repairing floating-point errors), Software Apron (a library for numerical abstract domains), and F-IKOS (a static analyzer for Fortran programs). Professor Chen has secured substantial research funding to support his work, though specific grant details are not provided in the available information. He actively serves the research community through program committee roles for major conferences including ASE, SAS, and VMCAI, and as a guest editor for journals such as Automated Software Engineering Journal and Journal of Systems Architecture. Professor Chen leads a vibrant research group focused on high-confidence software technologies. His team, comprising PhD students, Master's students, and research engineers, collaborates closely on projects spanning from theoretical foundations of program analysis to practical tool development. The group maintains strong connections with both academic institutions and industry partners, facilitating the transfer of research innovations to real-world applications. Their work is characterized by rigorous theoretical underpinnings combined with practical validation on real software systems.

Prateek SAXENAمشاهده پروفایل

دانشیار

• Computer Security
• Machine Learning Security
• Trustworthy AI
• +۴ مورد دیگر

Prateek SAXENA is an Associate Professor in the Computer Science Department at the School of Computing, National University of Singapore. He serves as Co-Director of the CRYSTAL Centre and teaches courses including CS3235 Computer Security and CS5562 Trustworthy Machine Learning. His research spans multiple domains within computer security and systems. Dr. SAXENA earned his Ph.D. in Computer Science from the University of California, Berkeley (2012), an M.S. in Computer Science from Stony Brook University (2007), and a B.E. in Computer Engineering from the University of Pune, India (2004). His research focuses on building better security and privacy in practical systems through principled approaches combining formal reasoning, tools and ideas from several computer science domains. Current research thrusts include machine learning security, decentralized systems security, security processors, and automatic program translation. His work has resulted in several practical artifacts powering real-world systems, including spinoffs like Zilliqa and Kyber Network. His publication record demonstrates consistent high-impact research across security domains including web security, blockchain, trusted execution environments, and machine learning security. His work shows a progression from foundational web security research to cutting-edge work on blockchain systems and machine learning security. MIT Technical Review, Top 10 Innovators under 35, Asia - 2017 Security and Privacy Research Award, 2018 Young Research Award, NUS, 2017 David J. Sakrison Memorial Prize for outstanding doctoral work, UC Berkeley, 2012 AT&T Best Applied Security Research Paper Award 2010 Dr. SAXENA has advised numerous successful PhD students who have gone on to prominent positions at Microsoft Research, Georgia Tech, ETH Zurich, and industry leaders like Zilliqa and Kyber. His research has been generously supported by CISCO Research, Google, Intel, Symantec, MoE-Singapore, DSO Labs, and NRF-Singapore. He leads the KISP Lab (Keep It Secure and Private), which has produced influential research in blockchain, trusted execution environments, and security tools.