Ho Chi Minh City University of Technology

Reasoning in Artificial Intelligence and Software Engineering

RAISE studies trustworthy AI, software engineering, formal methods, code intelligence, multilingual AI, and rigorous evaluation of intelligent systems.

Research Themes

  • LLMs for Software Engineering
  • Formal Reasoning and Verification
  • Secure and Trustworthy AI Systems
  • Multilingual and Responsible AI

What we do

We build methods, tools, and datasets for reliable intelligent systems, with emphasis on reasoning, evaluation, and real-world software engineering applications.