jaytux/jaytux.com
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added Foundations'25

Browse Source
This commit is contained in:
jay-tux
2025-09-24 18:37:59 +02:00
parent e676474090
commit 2b828878c7
2 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
index.html
View File

@@ -247,11 +247,15 @@ Coming soon!
<hr />
<h2 id="teaching">Teaching</h2>
<ul>
<li><strong>Software Engineering Lab 1</strong> (Teaching
<li><p><strong>Software Engineering Lab 1</strong> (Teaching
Assistant)<br />
<em>Semester:</em> Spring 2025<br />
<em>Description:</em> A project-oriented course meant to teach students
to work in a professional setting, building a mobile app.</li>
to work in a professional setting, by building a mobile app.</p></li>
<li><p><strong>Foundations of Programming Languages</strong> (Teaching
Assistant) <em>Semester:</em> Fall 2025 <em>Descriptoin:</em> A course
in formalization, teaching students to reason formally about programming
languages and the use of the Rocq theorem prover.</p></li>
</ul>
<hr />
<h2 id="education">Education</h2>