Cedric Richter

Cedric Richter is a Research Scientist at University of Oldenburg specializing in the intersection of Machine Learning and Software Verification. He actively contributes to major software engineering conferences including ASE, ICST, and ISSTA as both author and program committee member.

His research focuses on applying machine learning techniques to software verification and bug detection problems. Key areas include neural bug detectors, program analysis, abstract syntax tree processing, and code differencing.

Richter has developed several open-source tools including code_tokenize, code_ast, code_diff, and code_graph that facilitate AST-based code analysis and program graph generation. His work on TSSB-3M has contributed large-scale datasets of single statement bug fixes in Python.

His publications demonstrate a consistent research trajectory exploring how machine learning can enhance traditional software verification techniques, with recent work examining the application of large language models like ChatGPT to support verification tools.

Richter serves on program committees for major software engineering conferences including ASE (2023, 2025), ICSE (2022-2025), and ESEC/FSE, demonstrating his standing in the software engineering research community.