Hongseok Yang
79 posts
Hongseok Yang
@hyang144
Professor at the School of Computational Sciences, KIAS.
Katılım Eylül 2016
139 Takip Edilen316 Takipçiler
Academic titles are funny. After 14 years, I finally have the official title that people might have always assumed I had.
English
Hongseok Yang retweetledi
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.
English
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
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
English
English
Incredibly honored to receive this award, thank you @sigact I am grateful to all my collaborators, students and colleagues from @PennEngineers and @CIS_Penn
Moshe Vardi@vardi
Congratulations to Rajeev Alur! sigact.org/prizes/knuth/c…
English
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…
English
Hongseok Yang retweetledi
We are delighted to announce an ACM-TOPML special issue on "Probabilistic Programming". Please see the attached call for papers for details
English
Hongseok Yang retweetledi
이번주 밤 11시 40분에는 테렌스 타오 교수가 EBS TV에서 강의를 하고 계십니다.
EBS@EBSstory
이번 주 위대한 수업은? 10/25~11/2 테렌스 타오 - 모두를 위한 수학 1강 직관적으로 문제 이해하기 2강 어려운 문제를 푸는 법 3강 그룹 테스트: 매독 환자 골라내기 4강 최고의 검색 엔진 만들기 5강 스마트폰이 내 얼굴을 알아보는 법 6강 인공지능의 고군분투기 7강 안전하게 인터넷 결제하기
한국어
@AI4Code @GeorgiaTech Many congratulations, Mayur and co-authors!
English
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
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
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
cst.cam.ac.uk/news/professor… - thanks to all the great colleagues over the years
English
Applying Hazard Pointers to More Concurrent Data Structures.
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang. SPAA 2023 (accepted).
지러@mK4QnPUIHj2hdPA
지금 본격 구상부터 제출까지 25일 논문 완성 프로젝트를 하고 있는데 학생들이 고생이 많다... (...) 돌이켜보면 이렇게까지 서두를 필요가 있었을까 싶지만 이제와서 포기하기엔 지금까지 지불한 매몰비용이 너무 크네...
English
Hongseok Yang retweetledi
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.
English
@sioum 축하드려요, 엄교수님. 연구도 훌륭하게 하시고, 포닥, 후배, 동료 연구자를 잘 챙겨주시고, 학계를 위한 서비스도 잘 하시는 것을 보면서 많이 배웁니다. 다시 한번 축하드려요.
한국어
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
@michael_w_hicks Many congratulations for your fully deserved award, Mike!
English
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