projects / ~bandali / bndl.org / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
switch back to hand-written html and feeds
[~bandali/bndl.org] / mmath.html
diff --git a/mmath.html b/mmath.html
index 91d9097..b9dcbea 100644 (file)
--- a/mmath.html
+++ b/mmath.html
@@ -1,78 +1,52 @@
-<!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 &mdash; bandali</title>
 <meta charset="utf-8" />
 <meta name="author" content="bandali" />
 <meta name="viewport" content="width=device-width, initial-scale=1" />
 <title>master of mathematics &mdash; 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>
 <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
 <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
 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>
 
 
 <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="#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> |
 
 <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> |
 
 <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> |
@@ -161,12 +135,10 @@ on the Cheriton School of Computer Science website.</p>
 tar.gz | zip (coming soon)</p>
 
 <hr />
 tar.gz | zip (coming soon)</p>
 
 <hr />
-<details id="copy">
-<summary>Copyright &copy; 2020 bandali</summary>
-<p>Copying and distribution of this file, with or without
+<p id="copy">Copyright &copy; 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>
 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>
 </body>
 </html>
Sources for my personal site