•
การประยุกต์ใช้งานและประสบการณ์
•
โมเดลการประสานงาน
•
ภาษาเฉพาะโดเมน
•
ภาษาทางการและออโตมาตะ
•
แคลคูลัสแลมบ์ดา ทฤษฎีประเภท
และทฤษฎีหมวดหมู่
•
ลอจิกในวิทยาการคอมพิวเตอร์
•
การตรวจสอบแบบจำลองและการพิสูจน์ทฤษฎีบท
•
แบบจำลองวัตถุและส่วนประกอบ
•
การสร้างและการเปลี่ยนแปลงโปรแกรม
•
ความปลอดภัยและความเป็นส่วนตัว
•
ความหมายของภาษาโปรแกรม
•
การทดสอบซอฟต์แวร์
•
การตรวจสอบซอฟต์แวร์
•
การวิเคราะห์แบบคงที่
•
ลักษณะทางทฤษฎีของการคำนวณควอนตัม
•
ทฤษฎีการเห็นพ้องต้องกันและความคล่องตัว
•
ทฤษฎีการคำนวณแบบกระจาย
•
ทฤษฎีและวิธีการของ AI
ที่น่าเชื่อถือ
• ระบบตั้งเวลา
ระบบไฮบริด ระบบฝังตัว
และระบบไซเบอร์-กายภาพ
