Skip to main navigation
Skip to search
Skip to main content
Queen's University Belfast Home
Help & FAQ
Link opens in a new tab
Search content at Queen's University Belfast
Home
Profiles
Research units
Research output
Projects
Impacts
Datasets
Activities
Prizes
Press/Media
Student theses
Equipment
Formal verification of AI, traceability, architectures and applications
Sharma, V.
(Invited speaker)
School of Electronics, Electrical Engineering and Computer Science
Activity
:
Talk or presentation types
›
Invited talk
Period
30 Apr 2026
Event title
Agentic Security Workshop
Event type
Workshop
Location
Belfast, Northern Ireland, United Kingdom
Show on map
Degree of Recognition
International
X