Haiming Chen

Haiming Chen is a researcher at the Institute of Software, Chinese Academy of Sciences, specializing in programming languages, formal methods, and software security. His work bridges theoretical computer science with practical security applications.

His research interests focus on web data and programming techniques, computation models, formal languages and automata theory, program analysis, and programming languages. Chen's work demonstrates a strong emphasis on practical applications of formal methods, particularly in the domain of regular expressions and vulnerability analysis.

Chen's publication record shows a consistent focus on regular expression technologies and software security. His recent work on vulnerability-affected versions identification represents a shift toward broader software security concerns, while maintaining his technical expertise in formal language theory. His research demonstrates a progression from theoretical aspects of regular expressions toward practical security applications.

As an active contributor to open source projects like Ciphey (a decryption/decoding tool), Chen bridges academic research with practical tool development for the security community.