The main goal of my research is
improving <strong>software and systems reliability</strong>
through application of
-<a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.</p>
+<a href="//en.wikipedia.org/wiki/Formal_methods">formal
+methods</a>.</p>
<p>My research at WatForm focuses on formal logic, model checking, and
verification. I am also interested in programming languages, proof
<section id="notes">
<h2>Notes</h2>
<p>Here are notes about a variety of topics and issues I care
-about.<!--<br/>
-They're also available via
+about.<br/>
+They are also available via
<a href="notes.atom">
-<img class="feed-icon" src="/icon-12px.png"
- alt="subscribe to atom feed">Atom</a>
+<img class="feed-icon" src="icon-12px.png"
+ alt="subscribe to Atom feed">Atom</a>
and
<a href="notes.rss">
-<img class="feed-icon" src="/icon-12px.png"
- alt="subscribe to rss feed">RSS</a> feeds.--></p>
+<img class="feed-icon" src="icon-12px.png"
+ alt="subscribe to RSS feed">RSS</a> feeds.</p>
<table class="post-list">
<tbody>
<td><a href="computing">How I do my Computing</a></td>
<td><small>September 14, 2019</small></td>
</tr>
-
<tr>
<td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td>
<td><small>November 1, 2016</small></td>