Vahid Rafe

Dr. Vahid Rafe is Lecturer and co-program lead for Computer Science at Goldsmiths, University of London. His research focuses on search-based software engineering and blockchain technology, with additional expertise in formal verification and model transformation.

Research integrates artificial intelligence with software engineering practices including automated testing techniques, bug localization, and formal verification. Recent work applies machine learning to software quality assurance, combinatorial testing optimization, and blockchain security analysis.

Publications demonstrate consistent innovation in AI-enhanced software engineering methods, particularly hybrid algorithms for test generation and deep learning approaches for software maintenance. Recent work addresses security vulnerabilities in cryptographic systems.