Hongseok Yang

79 posts

Hongseok Yang

Hongseok Yang

@hyang144

Professor at the School of Computational Sciences, KIAS.

Katılım Eylül 2016
139 Takip Edilen316 Takipçiler
Percy Liang
Percy Liang@percyliang·
Academic titles are funny. After 14 years, I finally have the official title that people might have always assumed I had.
English
93
22
1.3K
115.8K
Hongseok Yang retweetledi
Quanta Magazine
Quanta Magazine@QuantaMagazine·
The famously intimidating field of metamathematics analyzes math proofs. For example: Why are some problems hard to solve, while others are straightforward? A recent proof shows that three distinct theorems are logically equivalent.
Quanta Magazine tweet media
English
4
33
179
12.8K
Hongseok Yang
Hongseok Yang@hyang144·
Ten openings for the AI Fellow positions in KIAS (a Korean version of IAS), which I will join next year. See tinyurl.com/kiasjob. The positions are for both ML but theoretical PL folks, in particular, those interested in applying their techniques for advancing math research.
English
0
1
2
127
Derek Dreyer
Derek Dreyer@HerrDreyer·
Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. youtube.com/live/ZKwpY0g9L…
YouTube video
YouTube
Derek Dreyer tweet media
English
8
21
127
10.3K
Shriram Krishnamurthi (primary: Bluesky)
Extremely sad to report that Alan Jeffrey (most recently of Roblox/Luau) has passed away, far too young. The cancer finally got him. This lovely photo, which so nicely encapsulates him, is courtesy of his family. @asaj@mastodon.scot/112734953591545839" target="_blank" rel="nofollow noopener">mastodon.social/@asaj@mastodon
Shriram Krishnamurthi (primary: Bluesky) tweet media
English
11
19
129
17.4K
Hongseok Yang retweetledi
Tom Rainforth
Tom Rainforth@tom_rainforth·
We are delighted to announce an ACM-TOPML special issue on "Probabilistic Programming". Please see the attached call for papers for details
Tom Rainforth tweet media
English
1
6
33
5.5K
Hongseok Yang retweetledi
Mayur Naik
Mayur Naik@AI4Code·
Delighted to receive this Test-of-Time award for my first research project starting out my career in @GeorgiaTech's College of Computing. The lead authors Aravind Machiry and Rohan Tahiliani were both Masters students then. Grateful to the selection cmte for recognizing our work.
David Lo@davidlo2015

🏆 @FSEconf 23 Test-of-Time Award celebrates "Dynodroid: an input generation system for Android apps"! Kudos to @machiry_msidc, Rohan & @AI4Code! 🎉 Catch the talk on Dec 6, 9:30 am. A huge shoutout to the 16 committee members! 🙌 Check them out: 2023.esec-fse.org/committee/fse-… #FSE2023

English
7
0
69
5.9K
Dan Roy
Dan Roy@roydanroy·
Professional update: I've been named Research Co-Director of the Vector Institute. This is an exciting opportunity but also a big responsibility: Vector has grown tremendously since 2017, with now over 700 researchers. One top priority: attracting next-gen top AI talent. 1/2
Vector Institute@VectorInst

👏Exciting news! @roydanroy has been named the Vector Research Co-Director, leading the way in cutting-edge AI research along with current Research Director, Graham Taylor. Learn more about his appointment here: vectorinstitute.ai/dan-roy-named-…

English
81
13
762
112.5K
Tom Rainforth
Tom Rainforth@tom_rainforth·
I'm delighted to share that I have been awarded an ERC Starting Grant for my project "Data-Driven Algorithms for Data Acquisition." The grant will provide €1.45M of funding over the next 5 years for research into new methods for intelligently and adaptively gathering data
English
19
6
153
15.2K
Youyou Cong
Youyou Cong@yuyuchazuke·
Time to update my profile...
Youyou Cong tweet media
English
10
4
142
14.6K
Hongseok Yang retweetledi
Matthew Parkinson
Matthew Parkinson@ParkyMatthew·
I am immensely honoured that yesterday at #popl23 the Views paper has been names the “Most Influential Paper from POPL’13”. I have always loved POPL, and to receive this honour is truly amazing.
Matthew Parkinson tweet media
English
11
30
208
27.5K
Hongseok Yang
Hongseok Yang@hyang144·
@sioum 축하드려요, 엄교수님. 연구도 훌륭하게 하시고, 포닥, 후배, 동료 연구자를 잘 챙겨주시고, 학계를 위한 서비스도 잘 하시는 것을 보면서 많이 배웁니다. 다시 한번 축하드려요.
한국어
0
0
0
0
Dino Sejdinovic
Dino Sejdinovic@sejDino·
After 8 years as Oxford faculty, working in the amazing @oxcsml group, I am delighted to announce that I will be joining @UniofAdelaide as a Professor in the School of Mathematical Sciences. My young family and I are very excited about a fresh start in beautiful Adelaide!
English
31
6
263
0
지러
지러@mK4QnPUIHj2hdPA·
드디어... 하나 붙었다...
한국어
3
0
10
0
Mike Hicks
Mike Hicks@michael_w_hicks·
I am very honored to win this award! It takes a village — I have worked with so many fantastic leaders and volunteers who work hard to make things better. We have accomplished a lot. The PL community inspires!
English
12
14
158
0