git.shemshak.org - ~bandali/bndl.org/blob - research.html

   1 <!DOCTYPE html>
   2 <html lang="en">
   3   <head>
   4     <meta charset="utf-8" />
   5     <meta name=viewport content="width=device-width, initial-scale=1" />
   6     <title>Amin Bandali's Research Interests</title>
   7     <meta
   8       name="description"
   9       content="Amin Bandali's scientific and research interests" />
  10     <link rel="stylesheet" href="/style.css" />
  11   </head>
  12   <body>
  13     <main>
  14       <header>
  15         <h1 id="title"><a href="/">bandali</a></h1>
  16         <h2 id="subtitle">Research interests</h2>
  17       </header>
  18       <section>
  19         <p>
  20           The main goal of my research is improving
  21           <strong>software&nbsp;reliability</strong>
  22           through application of <em>formal methods</em>.
  23         </p>
  24
  25         <p>
  26           My current research
  27           at <a href="https://watform.uwaterloo.ca">WatForm</a>
  28           focuses on formal logic, model checking, and verification.
  29           I am also interested in programming languages, type systems,
  30           and interactive theorem proving.
  31         </p>
  32
  33         <p>
  34           You may wish to view my
  35           academic <a href="cv">curriculum vitae</a>.
  36         </p>
  37       </section>
  38     </main>
  39   </body>
  40 </html>