<p>I have taught following courses at Augusta University.</p>
<table>
<thead>
<tr>
<th align="left">Semester</th>
<th align="left">Course title (enrollment)</th>
<th></th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">2021 FA</td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (21)</td>
<td><a href="/syllabus/csci1301_fa21.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2021 SU</td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (15)</td>
<td><a href="/syllabus/csci1301_su21.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2021 SP<sup><a href="#user-content-fn-1" id="user-content-fnref-1" data-footnote-ref aria-describedby="footnote-label">1</a></sup></td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (54)</td>
<td><a href="/syllabus/csci1301_sp21.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2020 FA</td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (29)</td>
<td><a href="/syllabus/csci1301_fa20.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2020 SP</td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (56)</td>
<td><a href="/syllabus/csci1301_sp20.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2019 FA</td>
<td align="left">CSCI 1301 - Principles of Computer Programming I   (53)</td>
<td><a href="/syllabus/csci1301_fa19.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2019 SU</td>
<td align="left">CSCI 1200 - Introduction to Computers and Programming (7)</td>
<td><a href="/syllabus/csci1200_su19.pdf">Syllabus</a></td>
</tr>
<tr>
<td align="left">2019 SP</td>
<td align="left">CSCI 1200 - Introduction to Computers and Programming (17)</td>
<td><a href="/syllabus/csci1200_sp19.pdf">Syllabus</a></td>
</tr>
</tbody>
</table>
<p><strong>Catalog Descriptions</strong></p>
<ul>
<li><a href="http://catalog.augusta.edu/preview_course_nopop.php?catoid=40&#x26;coid=172387&#x26;">CSCI 1301 - Principles of Computer Programming I</a></li>
<li><a href="http://catalog.augusta.edu/preview_course_nopop.php?catoid=32&#x26;coid=101750&#x26;">CSCI 1200 - Introduction to Computers and Programming</a></li>
</ul>
<h3>Projects</h3>
<p>In 2021, I participated in the CSCI 1301 course resources <a href="https://csci-1301.github.io/about#authors">transformation project</a>.
These resources are now shared between course sections, free to access, and <a href="https://github.com/princomp">open source</a>.</p>
<section data-footnotes class="footnotes"><h2 class="sr-only" id="footnote-label">Footnotes</h2>
<ol>
<li id="user-content-fn-1">
<p>Co-teaching assignment <a href="#user-content-fnref-1" data-footnote-backref="" aria-label="Back to reference 1" class="data-footnote-backref">↩</a></p>
</li>
</ol>
</section>

Teaching experience

Applied Implicit Computational Complexity

Fresh Perspectives on Implicit Computational Complexity

An Information Flow Calculus for Non-Interference

Implicit Computational Complexity: From Theory to Practice

3MT: Smashing Software Bugs with Proofs

pymwp: A Static Analyzer Determining Polynomial Growth Bounds

mwp-Analysis Improvement and Implementation

Certifying Complexity Analysis

Distributing and Parallelizing Non-canonical Loops

Formally Verified Resource Bounds Through Implicit Computational Complexity

Realizing Implicit Computational Complexity

Semantic-preserving optimization algorithm for automatic program parallelization

Implementing the mwp-flow analysis

Certifying the complexity and correctness of critical software

Semester	Course title (enrollment)
2021 FA	CSCI 1301 - Principles of Computer Programming I (21)	Syllabus
2021 SU	CSCI 1301 - Principles of Computer Programming I (15)	Syllabus
2021 SP¹	CSCI 1301 - Principles of Computer Programming I (54)	Syllabus
2020 FA	CSCI 1301 - Principles of Computer Programming I (29)	Syllabus
2020 SP	CSCI 1301 - Principles of Computer Programming I (56)	Syllabus
2019 FA	CSCI 1301 - Principles of Computer Programming I (53)	Syllabus
2019 SU	CSCI 1200 - Introduction to Computers and Programming (7)	Syllabus
2019 SP	CSCI 1200 - Introduction to Computers and Programming (17)	Syllabus