X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/eb1aab372e720aaf68aef33d49f8b80950ff566c..7602da8369400d57d81c4dccd3f05071547d7850:/mmath.m4 diff --git a/mmath.m4 b/mmath.m4 index 28c4138..e2fb23b 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -6,29 +6,31 @@ include(header.html)dnl <article> <h1>Master of Mathematics</h1> -<p>I graduated from the University of Waterloo with the degree of -Master of Mathematics in Computer Science in Spring 2020. My research -at the <a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a> -group focused on formal logic, model checking, and verification; under -supervision of -<a href="//cs.uwaterloo.ca/~nday/">Dr. Nancy A. Day</a>.</p> +<p class="justify">I graduated from the University of Waterloo with +the degree of Master of Mathematics in Computer Science in Spring +2020. My research at the <a href="//watform.uwaterloo.ca">Waterloo +Formal Methods</a> group focused on formal logic, model checking, and +verification; under supervision of +<a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p> <h2>A Comprehensive Study of Declarative Modelling Languages</h2> - -<!--<p><em>Jump to:</em> -<a href="#thesis">thesis</a> | -<a href="#presentation">presentation</a> | -<a href="#models">models</a></p>--> +dnl +dnl<p><em>Jump to:</em> +dnl<a href="#thesis">thesis</a> | +dnl<a href="#presentation">presentation</a> | +dnl<a href="#models">models</a></p> <h3 id="thesis">Thesis</h3> <p>Reference version: <a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> | -bib (coming soon)<br/> -LaTeX sources: -zip | tar.gz (coming soon)</p> +<a href="bandali-bib#bandali2020">bib</a><br/> +__latex sources: +<a href="//p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> | +<a href="//p.bndl.org/bandali-mmath-thesis.zip">zip</a></p> -<h4 class="center-text">Abstract</h4> +<details> +<summary>Abstract</summary> <blockquote id="abstract"> <p>Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and @@ -67,13 +69,37 @@ may be most suited for modelling their system, we present recommendations based on our observations about the differentiating characteristics of each of these languages.</p> </blockquote> +</details> + +<details open> +<summary>License</summary> +<pre> +This thesis is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +This thesis is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this thesis. If not, see <<a href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</a>>. +</pre> +</details> + +<p>A copy of the GNU General Public License is available +from <a href="gpl-3.0.html">gpl-3.0.html</a>, as well as in +the <code>COPYING</code> file included in both of the __latex source +archives linked above.</p> <h3 id="presentation">Presentation</h3> <p>Reference version: pdf (coming soon)<br/> -LaTeX sources: -zip | tar.gz (coming soon)</p> +__latex sources: +tar.gz | zip (coming soon)</p> <p>This is the presentation I delivered to my supervisor and the second readers of my thesis on Jun 30, 2020, as @@ -83,7 +109,7 @@ on the Cheriton School of Computer Science website.</p> <h3 id="models">Models</h3> <p>Reference version: -zip | tar.gz (coming soon)</p> +tar.gz | zip (coming soon)</p> </article> define(__copy, `2020')dnl