PhD Candidate in CS. Research Interests: ontology engineering, structured knowledge, AI verification, robotics safety, semantic alignment, knowledge representation, agent-based systems, explainable AI, symbolic reasoning, trustworthy autonomy.