大三那年,Jserv 老師提議我可以在 HKOSCon 投稿一個議程,但是其實那個時候我對投稿內容完全沒有準備,但是還是硬著頭皮投了一個議程,四個月後我站在台上很荒謬地介紹智能合約的形式化驗證。本議程旨在分享一個大學生先後前往新加坡與香港參加開源研討會的經歷,以及其中獲得的心得體會。
About 陳奕熹
大學期間有參與一些開源社群的活動,後來前往北京清華大學就讀研究所想要體驗學術研究的生活模式。但是經過三年的科研毒打後,現在暫時不想碰論文發表的卑微研究所應屆畢業生。
RoomRB105 | RoomAU101 | RoomTR209 | RoomTR211 | RoomTR212 | RoomTR213 | RoomTR214 | RoomTR310-1 | RoomTR310-2 | RoomTR311 | RoomTR313 | RoomTR409-1 | RoomTR409-2 | RoomTR410 | RoomTR411 | RoomTR412-1 | RoomTR412-2 | RoomTR413-1 | RoomTR413-2 | RoomTR510 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
大三那年,Jserv 老師提議我可以在 HKOSCon 投稿一個議程,但是其實那個時候我對投稿內容完全沒有準備,但是還是硬著頭皮投了一個議程,四個月後我站在台上很荒謬地介紹智能合約的形式化驗證。本議程旨在分享一個大學生先後前往新加坡與香港參加開源研討會的經歷,以及其中獲得的心得體會。
大學期間有參與一些開源社群的活動,後來前往北京清華大學就讀研究所想要體驗學術研究的生活模式。但是經過三年的科研毒打後,現在暫時不想碰論文發表的卑微研究所應屆畢業生。