---
# System prepended metadata

title: Academia Sinica IIS - Intern Note
tags: [中研院 IIS, internship]

---

# Academia Sinica IIS - Intern Note
<!-- - 分為學習和日記兩部分做紀錄 -->

## Learning
- [Academia Sinica IIS Intern [Learning] - Program Verification](/omv93WvKRUWnq6lUa9AIsg)
- [Academia Sinica IIS Intern [Learning] - Hoare Logic](/1ZlKSNijQCyJyf-gnCGjKQ)
- [Academia Sinica IIS Intern [Learning] - Z3](/YIDiWETPRPG4EBoV4uTmjw)
- [Academia Sinica IIS Intern [Learning] - CryptoLine](/tCNMWzNhQleOWtHmMwgE4w)
- [Academia Sinica IIS intern [Learning] - Intermediate Representation](/CpCgfOjaRrOZmK9GHwLoJQ)

<!-- ## Diary
- [Academia Sinica IIS Intern [Diary] - 2024/07/01](/qXB3uGBYRKacXVFFFcIQxw)
- [Academia Sinica IIS Intern [Diary] - 2024/07/02](/sfl2AiQPSVCttE5-vCFNag)
- [Academia Sinica IIS Intern [Diary] - 2024/07/09](/BLd5UlYYT2um5Xd7-b7UnA)
- [Academia Sinica IIS Intern [Diary] - 2024/07/12](/vF1FRzu0QzC9YXcQXanH3Q)
- [Academia Sinica IIS Intern [Diary] - 2024/07/19](/5auOGQbcS7Sq47ga79X4vQ)
- [Academia Sinica IIS Intern [Diary] - 2024/07/26](/gWM-o2YpR4uRIL_0OsBcZw)
- [Academia Sinica IIS Intern [Diary] - 2024/07/31](/gP2AvWKVQEGUfKF0C3p0Ig) -->