
PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory
Glasgow, United Kingdom
Joined July 2009
- Tweets9.4K
- Following186
- Followers632
- Likes301
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
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
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
We’re celebrating the acceptance of our paper at a Thai restaurant! Ready for the next move. 🎉 @michele_seve @OanaMAndrei
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
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
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…


















