kaist.md

name	description	url	logo	continent	courses	location
KAIST	KAIST (Korea Advanced Institute of Science and Technology) is a national research university located in Daejeon, Korea.	https://www.kaist.ac.kr/	academic_institution/kaist.png	Asia	name acronym url year teacher lecture_notes Introduction to Information Security CS348 https://github.com/prosyslab-classroom/cs348-information-security 2023 Kihong Heo true name acronym url year teacher lecture_notes Program Reasoning CS492 https://github.com/prosyslab-classroom/cs492-program-reasoning 2023 Kihong Heo true name acronym url year teacher lecture_notes Program Analysis CS524 https://github.com/prosyslab-classroom/cs524-program-analysis 2023 Kihong Heo true	lat long 36.372 127.363