Surasak Phetmanee

PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory

[Surasak Phetmanee @phsurasak]

Graduation day with my supervisors!
#UofGgrad25

[Surasak Phetmanee @phsurasak]

Nobel Prize Museum

[Surasak Phetmanee @phsurasak]

SAFECOMP 2025 Workshops
Stockholm, Sweden

[Surasak Phetmanee @phsurasak]

Spectacular Shostakovich
Royal Scottish National Orchestra

- Festive Overture
- Cello Concerto No2
- Symphony No11 The Year 1905

Conductor
Thomas Søndergård

[Surasak Phetmanee @phsurasak]

SENSEI Workshop @SAFECOMP2025 🎉
Sep 9, Stockholm

Key Contributions:
• 126 CVEs Dataset
• New rPATL for Stackelberg
• STEVE v2.0 Repeated Security Games

With thanks to @michele_seve @OanaMAndrei🙏

[Surasak Phetmanee @phsurasak]

The first snowdrops of 2025 at @UofGlasgow , January 23rd.

[Oana Andrei @OanaMAndrei]

Exciting first day at our #Cryptography Workshop, part of the @QTS_Glasgow! @Blair_Archibald and I want to thank to the amazing tutors as well as @GlasgowCS and @UofGGAs for their support in making this event possible! #QTSGlasgow2024 #Outreach #STEMEducation #QuantumTech

[Surasak Phetmanee @phsurasak]

We’re celebrating the acceptance of our paper at a Thai restaurant! Ready for the next move. 🎉 @michele_seve @OanaMAndrei

[Surasak Phetmanee @phsurasak]

Night ride at @UofGlasgow

[Surasak Phetmanee @phsurasak]

Congratulations! 🎉

“STEVE: A Rational Verification Tool for Stackelberg Security Games” by Surasak Phetmanee, @michele_seve, and @OanaMAndrei

Accepted at the 19th International Conference on Integrated Formal Methods!

📅 13–15 November 2024
📍 University of Manchester

[Surasak Phetmanee @phsurasak]

The Music of John Williams
Royal Scottish National Orchestra

Richard Kaufman
Conductor

Soundtracks like Star Wars, Harry Potter, Catch Me If You Can, Jaws, Superman, and Indiana Jones are performed live in concert by the full force of Scotland’s National Orchestra.

[Surasak Phetmanee @phsurasak]

Happy Leap Day!

[Surasak Phetmanee @phsurasak]

29 Feb 2024
Register Domain

https://t.co/lJcQiBF4vj

It has a unique combination of letters and numbers that suggest depth and complexity, leading to endless possibilities for exploration and discovery. It feels like a gateway to a vast array of stories and innovations.😀

[Surasak Phetmanee @phsurasak]

Romantic Valentine's: Romeo and Juliet
- Royal Scottish National Orchestra

[Surasak Phetmanee @phsurasak]

The first snowdrops of 2024 @UofGlasgow, January 16th.

[Surasak Phetmanee @phsurasak]

วันนี้ 🏃🏻‍♂️24 กม. 🏊‍♂️ 45 นาที 🧖‍♂️15 นาที

[Surasak Phetmanee @phsurasak]

at University of Glasgow Sport

[Michele Sevegnani @michele_seve]

Please RT: We are looking for a research assistant to work on formal modelling and verification of wireless communication protocols.

Deadline 7 Jan, apply here:

https://t.co/CSdJSDvF6U

[Surasak Phetmanee @phsurasak]

Tchaikovsky's Nutcracker at Glasgow Royal Concert Hall

[Surasak Phetmanee @phsurasak]

Huge Congratulations! @jparkinson_csed 🎉🎉🎉