-<!doctype html>
-<html lang="en">
-<head>
+<!doctype html><html lang="en"><head>
<meta charset="utf-8" />
<meta name="author" content="bandali" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>master of mathematics — bandali</title>
-<link rel="canonical" href="https://bndl.org/mmath.html" />
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/mmath" />
<link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-blockquote { text-align: justify; }
-.tex {
- font-family: "Tex Gyre Termes", serif;
- text-transform: uppercase;
-}
-.tex sub {
- font-size: 1em;
- margin-left: -0.1667em;
- margin-right: -0.125em;
- vertical-align: -0.5ex;
-}
-.tex sup {
- font-size: 0.85em;
- margin-left: -0.36em;
- margin-right: -0.15em;
- vertical-align: 0.15em;
-}
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
- .box { background: #1b1d1e; border-color: #373c34; }
-}
-</style>
-</head>
+body{line-height:1.6;padding:0 2em;}p,details{max-width:37.5em}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+details{margin:1em 0}details summary{cursor:pointer}
+blockquote{text-align:justify}
+.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
+.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
+.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
+vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
+margin-right:-0.15em;vertical-align:0.15em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
<body>
<h1><a href=".">bandali</a>'s 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="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
+Master of Mathematics in Computer Science in Spring 2020.
+My research at
+the <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
group focused on formal logic, model checking, and verification; under
-supervision of
-<a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
+supervision
+of <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
+
<h2>A Comprehensive Study of Declarative Modelling Languages</h2>
-<!-- <p><em>Jump to:</em>
+<p><em>Jump to:</em>
<a href="#thesis">thesis</a> |
<a href="#presentation">presentation</a> |
-<a href="#models">models</a></p> -->
+<a href="#models">models</a></p>
<h3 id="thesis">Thesis</h3>
<p>Reference version:
<a href="https://p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
-<a href="bandali-bib.html#bandali2020">bib</a><br />
+<a href="bandali.bib">bib</a><br />
<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
<a href="https://p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> |
tar.gz | zip (coming soon)</p>
<hr />
-<details id="copy">
-<summary>Copyright © 2020 bandali</summary>
-<p>Copying and distribution of this file, with or without
+<p id="copy">Copyright © 2020 bandali</p>
+<p id="license">Copying and distribution of this file, with or without
modification, are permitted in any medium without royalty provided the
copyright notice and this notice are preserved. This file is offered
as-is, without any warranty.</p>
-</details>
</body>
</html>
projects / ~bandali / bndl.org / blobdiff