Surasak Phetmanee (@phsurasak) header
Surasak Phetmanee (@phsurasak) profile picture

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

Glasgow, United Kingdom
Joined July 2009
Open Equaliser Research Lab ทดลองเพิ่มหลายฟีเจอร์ที่ช่วยให้เพลงเพราะขึ้น - Loudness ตามมาตรฐาน ISO 226 แบบใน Yamaha YPAO, Marantz ฟังเบา ๆ แล้วเบสกับรายละเอียดเสียงสูงยังอยู่ครบ - Crossfeed ผสมเสียงซ้ายขวาข้ามกันเล็กน้อย พร้อมหน่วงเวลาและกรองความถี่ ให้ฟังเหมือนลำโพงตรงหน้า มี 3 preset คือ Default, Chu Moy และ Jan Meier และลองทำ Signal Processing แบบใหม่ ๆ - Psychoacoustic EQ ตามสเกลการได้ยินของมนุษย์ แทนการแบ่งความถี่แบบเดิม และ Fourier Transform เราลอง Real time FFT EQ ทำ STFT ทั้งหมดประมวลผลบน macOS ใช้พลังของ Apple Silicon ล้วน ๆ ตอนนี้กิน CPU ราว 2% บน App Store โหลดฟรี ทั้ง 175 ประเทศ  apps.apple.com/th/app/oerl/i…
177
Graduation day with my supervisors! #UofGgrad25
109
SAFECOMP 2025 Workshops Stockholm, Sweden
81
Spectacular Shostakovich Royal Scottish National Orchestra - Festive Overture - Cello Concerto No2 - Symphony No11 The Year 1905 Conductor Thomas Søndergård
78
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🙏
68
The first snowdrops of 2025 at @UofGlasgow , January 23rd.
78
Surasak Phetmanee retweeted
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
4
14
688
We’re celebrating the acceptance of our paper at a Thai restaurant! Ready for the next move. 🎉 @michele_seve @OanaMAndrei
1
10
403
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
1
6
346
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.
1
2
360
29 Feb 2024 Register Domain g7iyx2xrjobhv9751cj9thrwif45… 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.😀
1
1
163
Romantic Valentine's: Romeo and Juliet - Royal Scottish National Orchestra
3
154
The first snowdrops of 2024 @UofGlasgow, January 16th.
7
191
วันนี้ 🏃🏻‍♂️24 กม. 🏊‍♂️ 45 นาที 🧖‍♂️15 นาที
2
146
at University of Glasgow Sport
2
144
Surasak Phetmanee retweeted
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: my.corehr.com/pls/uogrecruit…
5
3
487
Tchaikovsky's Nutcracker at Glasgow Royal Concert Hall
5
179