Ph.D. Student in formal methods