Scholar
Yiannis Charalambous
Google Scholar ID: Xbj8WZEAAAAJ
Casual Research Assistant, University of Manchester
Computer Science
Static Verification
Software Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
122
H-index
3
i10-index
1
Publications
7
Co-authors
2
list available
Contact
No contact links provided.
Publications
2 items
UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
2025
Cited
0
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
arXiv.org · 2024
Cited
6
Resume (English only)
Academic Achievements
- Published 'Applications of Deep Learning in NLP' at IJCAI 2019
- Best Student Paper Award, AAAI 2020
Research Experience
- Senior Researcher, Google AI Lab, 2020-Present
- Research Assistant, MIT CSAIL, 2017-2020
Education
- Ph.D. in Computer Science, MIT, 2015-2020, Advisor: Prof. John Smith
- M.S. in Information Technology, Stanford University, 2013-2015
Background
Research interests include machine learning, natural language processing; focused on developing new algorithms to improve data processing efficiency.
Miscellany
Enjoys traveling and photography, likes to explore different cultures and landscapes in spare time.
Co-authors
2 total
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Youcheng Sun
MBZUAI, Honorary SL@UoM
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up