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

Update teaching

Browse Source
This commit is contained in:
jay-tux
2026-02-22 23:39:38 +01:00
parent f8145c5409
commit 25d928c75f
2 changed files with 13 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
index.html
View File

@@ -226,18 +226,17 @@ Phoenix, a data-parallel programming language
<h2 id="news">News</h2> <h2 id="news">News</h2>
<ul> <ul>
<li><a <li><a
href="https://pliss.org/2025/"><strong>PLISS’25</strong></a><br />
<small>May 26 - May 31, 2025</small><br />
I attended the summer school in Bertinoro! This was followed by a short
trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.</li>
<li><a
href="https://www.asplos-conference.org/asplos2025/"><strong>ASPLOS/EuroSys’20</strong></a><br /> href="https://www.asplos-conference.org/asplos2025/"><strong>ASPLOS/EuroSys’20</strong></a><br />
<small>March 30 - April 3, 2025</small><br /> <small>March 30 - April 3, 2025</small><br />
I presented a talk titled <em>Modular Data and Parallelization I presented a talk titled <em>Modular Data and Parallelization
Abstractions for Programming Heterogeneous Systems</em> at <a Abstractions for Programming Heterogeneous Systems</em> at <a
href="https://eurodw25.github.io/">EuroDW’25</a> in Rotterdam, and href="https://eurodw25.github.io/">EuroDW’25</a> in Rotterdam, and
stayed for the full conference.<br /> stayed for the full conference.</li>
</li>
<li><a
href="https://pliss.org/2025/"><strong>PLISS’25</strong></a><br />
<small>May 26 - May 31, 2025</small><br />
I attended the summer school in Bertinoro! This was followed by a short
trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.</li>
</ul> </ul>
<hr /> <hr />
<h2 id="publications">Publications</h2> <h2 id="publications">Publications</h2>
@@ -249,12 +248,12 @@ Coming soon!
<ul> <ul>
<li><p><strong>Software Engineering Lab 1</strong> (Teaching <li><p><strong>Software Engineering Lab 1</strong> (Teaching
Assistant)<br /> Assistant)<br />
<em>Semester:</em> Spring 2025<br /> <small><em>Semesters:</em> Spring 2025, Spring 2026</small><br />
<em>Description:</em> A project-oriented course meant to teach students <em>Description:</em> A project-oriented course meant to teach students
to work in a professional setting, by building a mobile app.</p></li> to work in a professional setting, by building a mobile app.</p></li>
<li><p><strong>Foundations of Programming Languages</strong> (Teaching <li><p><strong>Foundations of Programming Languages</strong> (Teaching
Assistant)<br /> Assistant)<br />
<em>Semester:</em> Fall 2025<br /> <small><em>Semesters:</em> Fall 2025</small><br />
<em>Description:</em> A course in formalization, teaching students to <em>Description:</em> A course in formalization, teaching students to
reason formally about programming languages and the use of the Rocq reason formally about programming languages and the use of the Rocq
theorem prover.</p></li> theorem prover.</p></li>

10
jaytux.com.md
View File

@@ -40,12 +40,12 @@ header-includes:
## News ## News
- [**ASPLOS/EuroSys'20**](https://www.asplos-conference.org/asplos2025/)
<small>March 30 - April 3, 2025</small>
I presented a talk titled *Modular Data and Parallelization Abstractions for Programming Heterogeneous Systems* at [EuroDW'25](https://eurodw25.github.io/) in Rotterdam, and stayed for the full conference.
- [**PLISS'25**](https://pliss.org/2025/) - [**PLISS'25**](https://pliss.org/2025/)
<small>May 26 - May 31, 2025</small> <small>May 26 - May 31, 2025</small>
I attended the summer school in Bertinoro! This was followed by a short trip to Firenze/Florence, Muenchen/Munich, and Ravenstein. I attended the summer school in Bertinoro! This was followed by a short trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.
- [**ASPLOS/EuroSys'20**](https://www.asplos-conference.org/asplos2025/)
<small>March 30 - April 3, 2025</small>
I presented a talk titled *Modular Data and Parallelization Abstractions for Programming Heterogeneous Systems* at [EuroDW'25](https://eurodw25.github.io/) in Rotterdam, and stayed for the full conference.
--- ---
@@ -58,11 +58,11 @@ header-includes:
## Teaching ## Teaching
- **Software Engineering Lab 1** (Teaching Assistant) - **Software Engineering Lab 1** (Teaching Assistant)
*Semester:* Spring 2025 <small>*Semesters:* Spring 2025, Spring 2026</small>
*Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app. *Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app.
- **Foundations of Programming Languages** (Teaching Assistant) - **Foundations of Programming Languages** (Teaching Assistant)
*Semester:* Fall 2025 <small>*Semesters:* Fall 2025</small>
*Description:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover. *Description:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.
--- ---