X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/a0e46d57508b45f23f360daa9ba6432e2b2f19f5..7808cfc75162b31f8a0a3fa6c462bea40c82d360:/mmath.html diff --git a/mmath.html b/mmath.html index 91d9097..b9dcbea 100644 --- a/mmath.html +++ b/mmath.html @@ -1,78 +1,52 @@ - - - + master of mathematics — bandali - + + - +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;}} +

bandali's master of mathematics

I graduated from the University of Waterloo with the degree of -Master of Mathematics in Computer Science in Spring 2020. My research -at the Waterloo Formal Methods +Master of Mathematics in Computer Science in Spring 2020. +My research at +the Waterloo Formal Methods group focused on formal logic, model checking, and verification; under -supervision of -Prof. Nancy Day.

+supervision +of Prof. Nancy Day.

A Comprehensive Study of Declarative Modelling Languages

- +models

Thesis

Reference version: pdf | -bib
+bib
L^aT_eX sources: tar.gz | @@ -161,12 +135,10 @@ on the Cheriton School of Computer Science website.

tar.gz | zip (coming soon)

Copying and distribution of this file, with or without +

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.