-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
80 lines (68 loc) · 5.21 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<!--This file was converted to xhtml by LibreOffice - see https://cgit.freedesktop.org/libreoffice/core/tree/filter/source/xslt for the code.-->
<head profile="http://dublincore.org/documents/dcmi-terms/">
<meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
<title xml:lang="en-US ">alistair michael</title>
<meta name="DCTERMS.title" content="alistair michael" xml:lang="en-US "/>
<meta name="DCTERMS.language" content="en-US " scheme="DCTERMS.RFC4646"/>
<meta name="DCTERMS.source" content="http://xml.openoffice.org/odf2xhtml"/>
<meta name="DCTERMS.issued" content="2023-11-17T20:56:00.354227446" scheme="DCTERMS.W3CDTF"/>
<meta name="DCTERMS.modified" content="2023-11-17T21:34:19.700020713" scheme="DCTERMS.W3CDTF"/>
<meta name="DCTERMS.provenance" content=" " xml:lang="en-US "/>
<meta name="xsl:vendor" content="libxslt"/>
<link rel="schema.DC" href="http://purl.org/dc/elements/1.1/" hreflang="en"/>
<link rel="schema.DCTERMS" href="http://purl.org/dc/terms/" hreflang="en"/>
<link rel="schema.DCTYPE" href="http://purl.org/dc/dcmitype/" hreflang="en"/>
<link rel="schema.DCAM" href="http://purl.org/dc/dcam/" hreflang="en"/>
<style>
table { border-collapse:collapse; border-spacing:0; empty-cells:show }
td, th { vertical-align:top; font-size:12pt;}
h1, h2, h3, h4, h5, h6 { clear:both;}
ol, ul { margin:0; padding:0;}
li { list-style: none; margin:0; padding:0;}
span.footnodeNumber { padding-right:1em; }
span.annotation_style_by_filter { font-size:95%; font-family:Arial; background-color:#fff000; margin:0; border:0; padding:0; }
span.heading_numbering { margin-right: 0.8rem; }* { margin:0;}
.P1 { font-size:12pt; font-weight:bold; margin-bottom:0.212cm; margin-top:0.423cm; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;}
.P10 { font-size:12pt; font-family:'Liberation Serif'; writing-mode:horizontal-tb; direction:ltr;}
.P2 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;}
.P3 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;text-decoration:underline; }
.P4 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;text-decoration:none ! important; }
.P5 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;text-decoration:none ! important; }
.P6 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;text-decoration:none ! important; }
.P8 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;}
.P9 { font-size:12pt; font-family:'CMU Serif'; writing-mode:horizontal-tb; direction:ltr;text-align:left ! important; }
.Table1 { width:17cm; float:none; }
.Table1_A1 { border-top-style:none; border-left-style:none; border-bottom-style:none; border-right-style:none; padding:0.097cm; }
.Table1_A { width:3.295cm; }
.Table1_B { width:1.011cm; }
.Table1_C { width:12.695cm; }
.Internet_20_link { color:#000080; text-decoration:underline; }
.T2 { font-family:'CMU Serif'; }
/* ODF styles with no properties representable as CSS:
.Endnote_20_Symbol .Footnote_20_Symbol .T1 { } */
</style>
</head>
<body dir="ltr" style="max-width:21.001cm;margin-top:2cm; margin-bottom:2cm; margin-left:2cm; margin-right:2cm; ">
<h1 class="P1"><a id="a__alistairmichael_com"><span/></a><span class="T1">alistairmichael</span>.com</h1>
<p class="P2"> </p>
<p class="P3">about</p>
<p class="P2"> </p>
<p class="P2">I am a researcher / software developer working on program verification <span class="T1">and static analysis tools.</span> </p>
<p class="P2"> </p><p class="P2">I live and work in Meanjin or so-called Brisbane, Australia <span class="T1">and </span>have an undergraduate degree from the University of Queensland in Mathematics (Applied) and Computer Science. <span> </span>
</p><p class="P6"> </p><table border="0" cellspacing="0" cellpadding="0" class="Table1"><colgroup><col width="144"/><col width="44"/><col width="555"/></colgroup><tr><td style="text-align:left;width:3.295cm; " class="Table1_A1">
<p class="P9">orcid:</p>
</td><td style="text-align:left;width:1.011cm; " class="Table1_A1"><p class="P9"> </p></td><td style="text-align:left;width:12.695cm; " class="Table1_A1">
<p class="P10"><a href="https://orcid.org/0009-0000-7316-9112" class="Internet_20_link"><span class="T2">0009-0000-7316-9112</span></a></p>
</td></tr><tr><td style="text-align:left;width:3.295cm; " class="Table1_A1">
<p class="P9">email:</p>
</td><td style="text-align:left;width:1.011cm; " class="Table1_A1"><p class="P9"> </p></td><td style="text-align:left;width:12.695cm; " class="Table1_A1">
<p class="P8">alistair dot michael at uq.edu.au</p>
</td></tr></table><p class="P6"> </p><p class="P2"> </p>
<p class="P3">interests</p>
<p class="P4"> </p>
<p class="P4">Software security and performance, binary analysis static analysis, <span class="T1">compilers and language design.</span></p>
<p class="P5"> </p></body>
</html>