add student projects

Author: rodrigo7491

_pages/teaching.md

@@ -5,8 +5,17 @@ author_profile: true
 redirect_from: 
 ---
 
+## Student Projects
+
+Available projects can be found in the [projects page of the Fundamental Computing group].
+
+Feel free to [contact me] if you are interested in one of the available projects, or would like to discuss your own idea.
+
 ## Courses
 
 ### Introduction to Automated Reasoning (WBCS063-05)
 
-- New BSc in the academic year 2026/27, details to follow.
+- New BSc course starting in the academic year 2026/27, details to follow.
+
+[contact me]: https://www.rug.nl/staff/r.b.otoni
+[projects page of the Fundamental Computing group]: https://fundamentalcomputing.github.io/student-projects