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

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

استاد

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

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

Yao Qinمشاهده پروفایل

استادیار

• Machine Learning
• Adversarial Robustness
• Out-of-Distribution Generalization
• +۵ مورد دیگر

Yao Qin is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara (UCSB), with dual affiliation in the Department of Computer Science. She concurrently serves as Co-Director of the REAL AI Initiative at UCSB and holds a Senior Research Scientist position at Google DeepMind, where she contributes to the Gemini Multimodal project. Her academic credentials include a PhD in Computer Science and Engineering from the University of California, San Diego (advised by Prof. Garrison W. Cottrell) and a BS in Electrical Engineering from Dalian University of Technology. During her doctoral studies, she completed internships with pioneering researchers Geoffrey Hinton and Ian Goodfellow. Dr. Qin's research program centers on machine learning robustness, with emphasis on adversarial robustness, out-of-distribution generalization, and fairness. She develops reliable AI systems specifically for healthcare applications, with diabetes management as a primary focus. Her lab explores critical themes including AI safety in multimodal models and diabetes-specific AI solutions, particularly exercise metabolism modeling and glycemic effect prediction. Recent publications reveal a strong trajectory in robust machine learning with cross-domain applications. Her work consistently bridges theoretical robustness concepts with practical healthcare implementations, particularly in diabetes care. Key publication venues include CVPR, ICML, NeurIPS, and ICLR, with notable contributions to out-of-distribution detection, adversarial transfer learning, and multimodal AI safety. Her distinguished recognition includes: EECS Rising Star at MIT (2021) UCSB Regents' Junior Faculty Fellowship Award Helmsley Charitable Trust award for Type 1 diabetes research UCSB Faculty Research Grant American Diabetes Association Abstract Award (ADA-2025) Dr. Qin actively mentors four PhD students—Mehak Dhaliwal, Andong Hua, Kenan Tang, and Youngseok Yoon—on projects spanning LLMs for diabetes, multimodal robustness, and generative time-series modeling. Her research is funded by the Helmsley Charitable Trust and UCSB, with recent grants supporting exercise-specific AID algorithms for diabetes management. As Co-Director of the REAL AI Initiative, she leads a research ecosystem focused on developing reliable artificial intelligence. Current lab activities include organizing workshops at NeurIPS-2024 (AdvML-Frontiers and AIM-FM) and developing next-generation diabetes management tools through collaborations with medical institutions.

Anna Choromanskaمشاهده پروفایل

دانشیار

• Machine Learning
• Deep Learning
• Optimization
• +۶ مورد دیگر

Anna Choromanska is an Associate Professor in the Department of Electrical and Computer Engineering at NYU Tandon School of Engineering, with affiliations to NYU Center for Data Science (CDS), NYU Center for Urban Science and Progress (CUSP), NYU Center for Advanced Technology in Communications (CATT), and the C2SMART Center. Her research focuses on deep learning optimization, generalization, and applications in autonomous driving and large-scale data analysis. She holds an Alfred P. Sloan Fellowship and NSF CAREER Award, and her work impacts industries like NVIDIA and Facebook. She directs the Learning Systems Laboratory (LSL), emphasizing interdisciplinary experimental/theoretical work. Research Interests: Machine Learning fundamentals, DL optimization, continual learning, autonomous vehicle systems, large data analysis. Her lab explores DNN learning dynamics, training architecture design, and scalable algorithms. Professional Impact: Over 50 invited talks, workshop organization for top ML conferences, and contributions to open-source projects like Vowpal Wabbit. Her algorithms are deployed in production systems at Facebook and Baidu. Awards: NSF CAREER Award Alfred P. Sloan Fellowship IBM Global University Program Academic Award (2x) Columbia University Presidential Fellowship Advising & Labs: Leads LSL, supervising interdisciplinary projects in optimization and autonomy. Actively involved in NYU's Modern AI seminar series and industry partnerships through CATT. Personal Interests: Accomplished pianist, salsa dancer, and fashion design enthusiast with notable performances and certifications in dance and music.

Yuanbo Xiangliمشاهده پروفایل

پژوهشگر

• 3D Computer Vision
• Deep Generative Modeling
• Photorealistic Scene Reconstruction
• +۳ مورد دیگر

Yuanbo Xiangli is a postdoctoral researcher at Cornell University , advised by Prof. Noah Snavely. Previously, he obtained his Ph.D. from the Multimedia Lab in the Department of Information Engineering at the Chinese University of Hong Kong (CUHK) , supervised by Prof. Dahua Lin. His research focuses on 3D computer vision and deep generative modeling for urban scene reconstruction. 3D scene reconstruction from sparse images Neural rendering and Gaussian splatting Deep generative modeling for urban environments Multi-source geospatial data processing City-scale modeling and synthetic datasets His recent work includes advanced NeRF extensions (BungeeNeRF, GridNeRF), Gaussian splatting enhancements (GSDF, Scaffold-GS), and urban scene datasets (MatrixCity, OmniCity). A pioneer in combining classical vision techniques with modern deep learning approaches. ICLR 2020 Spotlight Award Collaborates with leading researchers in photorealistic rendering, including Noah Snavely and Dahua Lin. Develops systems enabling efficient 3D reconstruction from diverse data sources like satellite imagery and street-level panoramas.

Jinhan Kimمشاهده پروفایل

پژوهشگر

• Software Engineering
• Mutation Testing
• Fault Localization
• +۴ مورد دیگر

Jinhan Kim is a Postdoctoral Researcher at the Università della Svizzera italiana (USI) in the Faculty of Informatics, working in the TAU lab under Prof. Paolo Tonella. He earned his Ph.D. from KAIST under Prof. Shin Yoo, focusing on software engineering research in mutation testing, fault localization, and deep learning system testing. His work bridges traditional software engineering techniques with AI-driven methodologies, emphasizing AI4SE and SE4AI paradigms. Education: Ph.D. in Software Engineering, KAIST, 2023 Research Interests: Mutation Testing Deep Learning System Testing Autonomous Systems Testing Adversarial Attack Detection Empirical Software Engineering Service and Leadership: Organized SBFT 2026 and DeepTest 2026 (co-located with ICSE 2026) Program Committee Member for ASE, ISSTA, Mutation, and DeMeSSAI Board of Distinguished Reviewers for TOSEM (2024–2025) Labs and Teams: Active contributor to the TAU Lab at USI, focusing on advanced software testing and AI integration.

Bowen Xuمشاهده پروفایل

استادیار

• Software Engineering
• Machine Learning
• Program Analysis
• +۱۲ مورد دیگر

Bowen Xu is an Assistant Professor in the Department of Computer Science at North Carolina State University (NC State), College of Engineering. His research focuses on software engineering, machine learning, and program analysis, particularly in securing AI models and improving code quality. He holds a PhD from Singapore Management University (SMU), where he also conducted postdoctoral research. Education: PhD in Computer Science, Singapore Management University (SMU) Postdoctoral Researcher, SMU School of Computing and Information Systems Research Interests: AI for Code, Backdoor Attacks on Code Models, Vulnerability Detection Code Representation Learning, Model Compression, Safety of AI Systems Chatbot Development for Developers, Automatic Code Review Key Contributions: Developed PTM4Tag+, a Stack Overflow tag recommendation system using pre-trained models Explored stealthy backdoor attacks in code and reinforcement learning systems Pioneered work on automatic vulnerability repair using LLMs and broader input analysis Awards: 2022: Honorable Mention Award (ACSAC) 2018: Highly Commended Full Paper Award (ESEM) Service Roles: Editorial Board Member, Empirical Software Engineering Journal Program Committee Co-chair for ICSE/FSE Research Tracks Organized workshops like FORGE, MaLTeSQuE, and SEA4DQ Labs & Teams: Leads the Softmax Lab at NC State, advising 12+ students across PhD, Master's, and undergraduate levels. Alumni include industry professionals at Microsoft, Barclays, and Marvell Semiconductor.

Julia Lawallمشاهده پروفایل

پژوهشگر

• Operating Systems
• Domain-Specific Languages
• Program Transformation
• +۴ مورد دیگر

Julia Lawall is a Senior Research Scientist (Directrice de Recherche) at Inria-Paris, where she leads research in the Whisper group. She has made significant contributions to the fields of programming languages, operating systems, and software engineering, with a particular focus on program transformation and Linux kernel development. Her work bridges theoretical computer science with practical software engineering challenges. Dr. Lawall's research primarily centers on the design and implementation of domain-specific languages for operating system problems, program transformation techniques, and automated software evolution. Her most notable contribution is the Coccinelle framework, which has been instrumental in automating the evolution of Linux device drivers for over a decade. Her work spans from theoretical foundations in optimal reduction of the lambda calculus to practical tools that address real-world software maintenance challenges in large-scale systems like the Linux kernel. Her publication record demonstrates consistent contributions across multiple domains, with recent work focusing on Android API evolution, Linux kernel bug detection, and program transformation techniques. The trajectory of her research shows a progression from theoretical programming language concepts to increasingly practical applications in system software maintenance and evolution. EuroSys Test of time award for 'Documenting and Automating Collateral Evolutions in Linux Device Drivers' at EuroSys 2008 Best paper award for 'Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel' at ASE 2012 Most Influential ICFP Paper Award for foundational work on lambda calculus Best Reviewer at GPCE 2020 and Distinguished Reviewer at ASE 2020 Dr. Lawall has been actively involved in the academic community, serving as program co-chair for numerous prestigious conferences including ASE 2019, FSE 2026, and EuroSys 2025. She has also contributed to community initiatives as the Linux kernel coordinator for Outreachy (2015-2018) and as a member of the advisory board for Software Heritage. Her leadership extends to editorial roles, including associate editor for Higher-Order and Symbolic Computation and membership on the editorial board of Science of Computer Programming. She leads the Whisper research group at Inria-Paris, which focuses on program transformation techniques and their applications to system software. The group has developed several influential tools including Coccinelle, Coccinelle4J, LiLiput, Prequel, and JMake, which have had substantial impact on both academic research and industrial practice in software maintenance and evolution.

Fredrik Kjolstadمشاهده پروفایل

استادیار

• Compilers
• Programming Models
• Systems
• +۵ مورد دیگر

Fredrik Kjolstad is an Assistant Professor of Computer Science at Stanford University. His research focuses on compilers, programming models, and systems for sparse computing, with an emphasis on separating algorithms from data representation. He leads efforts in developing compilers like TACO, Simit, and Legate Sparse to optimize sparse tensor algebra and distributed computations. Kjolstad's work spans compiler design, hardware-software co-design, and programming languages for high-performance computing. His research group aims to enable portable applications across diverse data representations and architectures. Notable projects include the TACO compiler for sparse tensor algebra, the Simit programming language for physical simulations, and the Copy-and-Patch compilation technique for fast runtime code generation. He has also contributed to distributed systems like Legate Sparse and hardware accelerators such as Onyx. Kjolstad has received prestigious awards including the NSF CAREER Award and the MIT EECS PhD Thesis Award. His publications cover topics like sparse tensor compilation, compiler optimization, and agile hardware design. He advises multiple PhD students and collaborates with researchers like Kunle Olukotun and Alex Aiken. Key areas of impact include efficient sparse data processing, compiler-driven hardware design, and scalable distributed computing frameworks. His work bridges theoretical compiler techniques with practical system implementations, aiming to simplify and accelerate complex computational tasks.

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.

Marcel Campenمشاهده پروفایل

استاد

• Computer Graphics
• Geometry Processing
• Surface Parametrization
• +۴ مورد دیگر

Marcel Campen is a Professor at Osnabrück University specializing in Computer Graphics and Geometry Processing. His research focuses on surface parametrization, quad mesh generation, and computational geometry. He has made significant contributions to the field of geometry processing, particularly in developing algorithms for quad layout generation, surface mapping, and mesh repair. His research interests span Computer Graphics, Geometry Processing, Surface Parametrization, Quad Mesh Generation, 3D Modeling, and Mesh Repair. Campen's work addresses fundamental challenges in representing and processing complex geometric shapes, with applications ranging from animation and simulation to reverse engineering and meshing. His research often combines theoretical insights with practical implementations, resulting in algorithms that are both mathematically sound and computationally efficient. Campen's publications demonstrate a strong focus on developing robust and efficient methods for geometry processing. His work on quad layout generation, parametrization techniques, and surface mapping has resulted in several award-winning papers, including Best Paper Awards at SGP 2021 and 2022. His research often bridges theoretical concepts with practical implementations, making his contributions highly influential in both academic and industrial settings. Best Paper Award (1st place) at SGP 2022 Best Paper Award at SGP 2021 Campen has made significant contributions to the field through his doctoral thesis on quad layout generation and numerous publications in top-tier conferences including SIGGRAPH, Eurographics, and SGP. His work on directional field synthesis, similarity maps, and bijective mappings has advanced the state of the art in geometry processing. He has also contributed to practical tools like libQEx for robust quad mesh extraction, demonstrating his commitment to making theoretical advances accessible to practitioners.

• Software Security
• Vulnerability Analysis
• Static Analysis
• +۸ مورد دیگر

Yeting Li is a researcher at the Institute of Information Engineering, Chinese Academy of Sciences, with academic affiliation at the University of Chinese Academy of Sciences. Their work bridges software security and artificial intelligence, focusing on practical vulnerabilities in modern systems. Research spans vulnerability analysis in Kubernetes ecosystems, AI-driven binary similarity detection , and semantic-enhanced static analysis for baseband firmware. Recent work explores large language models for security applications including fuzz driver generation and data contamination mitigation in benchmarking, alongside accessibility-focused testing for speech recognition systems. Publications reveal a clear trajectory toward integrating AI with traditional security analysis, particularly in containerized environments and binary code analysis. Emerging themes include LLM-based tooling for vulnerability identification and specialized testing methodologies for emerging technologies like automatic speech recognition and deep learning operators. Key contributions include Kubernetes resource injection vulnerability studies, Aster for stutterer accessibility testing, and ACETest for deep learning operator validation. Research demonstrates consistent focus on empirical evaluation of security tools across ASE, ICSE, and ISSTA venues from 2023-2025.

Yagiz Aksoyمشاهده پروفایل

استادیار

• Computational Photography
• Computer Graphics
• Image Editing
• +۵ مورد دیگر

Yağız Aksoy is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Computational Photography Lab. His research focuses on inverse rendering and computational photography, aiming to enable 3D physical control over light and geometry in image editing and movie post-production. His work is funded by NSERC, CFI, BC government, Adobe Research, and Meta Reality Labs. Education: PhD in Computer Science, ETH Zurich (2019), supervised by Marc Pollefeys. Postdoctoral research at MIT CSAIL with Wojciech Matusik and Disney Research Zurich. MSc in Computer Engineering, Middle East Technical University (2013). Research Interests: His lab develops physically-based methods for relighting, intrinsic image decomposition, HDR reconstruction, and monocular depth estimation. Recent breakthroughs include Physically Controllable Relighting (SIGGRAPH 2025) and Colorful Diffuse Intrinsic Decomposition (SIGGRAPH Asia 2024, Best Paper Honorable Mention). Grants & Awards: Best Paper Award Honorable Mention at SIGGRAPH Asia 2024. NSERC Discovery Grant, CFI John R. Evans Leaders Fund, and BC Early Career Research Award. Industry partnerships with Adobe and Meta. Students & Lab: Supervises PhD/MSc students including Chris Careaga, Sebastian Dille, and Mahdi Miangoleh. The lab's Computational Photography Studio operates in a production environment, emphasizing real-world applicability. Active projects include RGB+NIR editing, dynamic scene rendering, and physically-aware compositing tools.

Sebastian Kuckukمشاهده پروفایل

پژوهشگر

• High Performance Computing
• GPU Programming
• Parallel Computing
• +۷ مورد دیگر

Dr. Sebastian Kuckuk is a researcher and head of training at the Erlangen National High Performance Computing Center (NHR@FAU), Friedrich-Alexander-Universität Erlangen-Nürnberg. He is affiliated with the Department of Computer Science and contributes to the Chair of System Simulation. His work bridges research, training, and software development in high-performance computing. Education: PhD in Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (2019) His research focuses on enhancing performance portability and programmer productivity using domain-specific languages, code generation, automatic parallelization, and GPU programming. These techniques are applied to develop massively parallel numerical solvers for computational fluid dynamics, particularly for the shallow water equations. He is a core developer of the ExaStencils framework, which enables automated generation of efficient multigrid solvers for structured and patch-structured grids. Analysis of his recent publications (2020–2025) reveals a consistent focus on code generation, GPU acceleration, and solver optimization for fluid dynamics problems. Key themes include heterogeneous computing, block-structured grids, and adaptive methods. His work integrates advanced compiler techniques with numerical mathematics to improve scalability and performance on modern HPC architectures. Scientific Recognition: NVIDIA Deep Learning Institute (DLI) University Ambassador Certified Instructor for DLI courses in GPU programming and CUDA He actively contributes to teaching and training through courses such as Programming Techniques for Supercomputers and High-End Simulation in Practice . He conducts workshops and tutorials on GPU programming and performance optimization. While no formal students are listed, his mentoring role is evident through collaborative research and training activities. He has no recorded grants in the provided text, but his involvement in NHR and KONWIHR projects indicates active participation in funded HPC initiatives. Laboratories and Projects: Lead developer of ExaStencils , a code generation framework for multigrid solvers Contributor to GHODDESS , a module for higher-order discretizations in shallow water modeling Active in NHR@FAU and KONWIHR projects focused on GPU computing and performance optimization

Yasutaka Furukawaمشاهده پروفایل

دانشیار

• Computer Vision
• 3D Reconstruction
• Neural Networks
• +۵ مورد دیگر

Yasutaka Furukawa is a Principal Scientist at Wayve and an Associate Professor of Computing Science at Simon Fraser University (SFU). He leads the SFU Visual Computing Group, ranked 12th globally in Computer Vision and Graphics. His research focuses on 3D reconstruction, neural networks, and computer graphics, with notable contributions in multi-view stereo, CAD modeling, and diffusion models. Furukawa holds a Ph.D. from the University of Illinois at Urbana-Champaign (2008) and has held roles at Washington University in St. Louis, Google, and the University of Washington. Education: Ph.D., Computer Science, UIUC, 2008 Postdoctoral Research, University of Washington (with Prof. Steven Seitz and Brian Curless) Research Interests: Furukawa’s work bridges computer vision and graphics, emphasizing robust 3D reconstruction techniques. His projects include PuzzleFusion++ (diffusion-based fracture assembly), BrepGen (B-rep CAD generation), and HouseDiffusion (floorplan synthesis). He explores applications in autonomous systems, AR/VR, and robotics. Key Projects: Generative Adversarial Networks for architectural design (House-GAN series) Neural networks for inertial navigation (RoNIN) Diffusion models for spatial puzzles and CAD modeling Awards: Recipient of the PAMI Longuet-Higgins Prize (2020), NSF CAREER Award (2015), and multiple Google Faculty Research Awards. Teaching: Courses include CMPT412 Computer Vision and CMPT762 Advanced Computer Vision at SFU. Active in supervising over 30 graduate students and postdocs.

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.