Scholar
Shengchao Qin
Google Scholar ID: 5ehyiboAAAAJ
Professor of Computer Science, Teesside University
Citations & Impact
Citations
1,658
H-index
21
i10-index
42
Publications
20
Co-authors
24
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- ["Published 'From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs' at ACL 2025.", "Published 'LLM-aided Automatic Modeling for Security Protocol Verification' at ICSE 2025.", "Published 'ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation' at AAAI 2025.", "Published 'Parf: Adaptive Parameter Tuning for Abstract Interpretation' at ASE 2024.", "Published 'Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification' at CAV 2024.", "Published 'Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?' in TKDD 2024.", "Published 'RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support' at ICSE 2024.", "Published 'Controlled Concurrency Testing via Periodical Scheduling' at ICSE 2022.", 'Published 'Demystifying "Bad" Error Messages in Data Science Libraries' at ESEC/FSE 2021.', "Published 'Speeding up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study' in ACM Transactions on Software Engineering and Methodology, 2021.", "Published 'Understanding Performance Concerns in the API Documentation of Data Science Libraries' at ASE 2020."]
Research Experience
- Honorary Professor at Teesside University since May 2021.
- Chair Professor of Computer Science at Teesside University from June 2011 to May 2021.
- Associate Dean (Research & Innovation) at School of Computing, Media & Arts → School of Computing, Media & Technology → School of Computing, Digital Technology, Teesside University from August 2016 to September 2019.
- Reader of Computer Science at Teesside University from June 2010 to May 2011.
- University Lecturer at Department of Computer Science, Durham University from January 2005 to May 2010.
- Research Fellow at Singapore-MIT Alliance, National University of Singapore from July 2002 to December 2004.
