Announcement_21

I am delighted to share that I have become a Senior Lecturer in Computing Science at JAIST, where I run a laboratory on Formal Methods for Quantum Computing (FM4QC).