[SNU CSE ROPAS Seminar] Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)최준원(Joonwon Choi)|Apple2023/4/28 (금) 오전 11:00|302동 309-1호
[SNU CSE ROPAS Seminar] Uncertainty Learning for Trustworthy and Secure AI박상돈(Sangdon Park)|Georgia Institute of Technology2023/4/27 (목) 오전 10:00|302동 309-1호
Interactive Visual Comparison Using Representation LearningTakanori Fujiwara|Linköping University2023/4/17 (월) 오후 04:30|소프트웨어실습실 (302동 311-1호)
Quickstrom: Property-based Acceptance Testing with LTL SpecificationsLiam O’Connor|Univeristy of Edinburgh2023/3/22 (수) 오후 05:00|302동 309-1호
How to be a successful engineer in Silicon ValleyEphraim Park|Meta Platforms, Inc2023/2/01 (수) 오전 11:00|302동 309-1호
Advantages and Risks of Sensing for Cyber-Physical Security한준 (Jun Han)|Yonsei University2023/1/30 (월) 오전 10:30|302동 308호
Data-driven computational approaches for identifying novel therapeutic targets and drug repositioning opportunities한남식 (Namshik Han)|Milner Therapeutics Institute, University of Cambridge2022/12/15 (목) 오후 01:00|302동 107호
Human-Data Interaction for User EmpowermentBongshin Lee|HCI and EPIC research groups at Microsoft Research2022/12/12 (월) 오전 11:00|302동 311-1호 (소프트웨어 실습실)
Mining of Real-world Hypergraphs: Patterns, Tools, and Generators신기정(Kijung Shin)|KAIST2022/12/07 (수) 오후 03:00|138동(컴퓨터연구소) 315호
