-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathteaching.html
156 lines (130 loc) · 5.64 KB
/
teaching.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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<meta name="description" content="">
<meta name="author" content="">
<link rel="icon" href="favicon.ico">
<title>Matt Fredrikson</title>
<!-- Bootstrap core CSS -->
<link href="assets/css/bootstrap.css" rel="stylesheet">
<!-- Bootstrap theme -->
<link href="assets/css/bootstrap-theme.css" rel="stylesheet">
<!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
<link href="assets/css/ie10-viewport-bug-workaround.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="theme.css" rel="stylesheet">
<script src="assets/js/ie-emulation-modes-warning.js"></script>
<script src="assets/js/ga.js"></script>
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
</head>
<body role="document">
<!-- Fixed navbar -->
<nav class="navbar navbar-default">
<div class="container banner">
<div class="container header-bar">
<div class="row">
<div class="col-sm-10">
<h2>Matt Fredrikson</h2>
<ul class="contactlist">
<li><span class="avoidwrap"><span class='glyphicon glyphicon-envelope'></span> mfredrik [at] cs.cmu.edu</span></li>
<li><span class="avoidwrap"><span class='glyphicon glyphicon-map-marker'></span> CIC 2126</span></li>
<li><span class="avoidwrap"><span class='glyphicon glyphicon-earphone'></span> 412/268-3992</span></li>
</ul>
<p><h4>
Assistant Professor<br>
<span class="avoidwrap">School of Computer Science</span><br>
Carnegie Mellon University
</h4></p>
</div>
<div class="col-sm-2 hidden-xs">
<img src="images/mfredrik.jpg" width=144>
</div>
</div>
</div>
<div class="navbar-header">
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
</div>
<div id="navbar" class="navbar-collapse collapse">
<ul class="nav navbar-nav navbar-left">
<li><a href="index.html">Overview</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="#">Teaching</a></li>
</ul>
</div>
</div>
</nav>
<div class="container bodytext">
<h3>Teaching</h3>
<hr>
<dl class="dl-horizontal dl-unstyled">
<dt><a href="https://15316-cmu.github.io/index.html">Software Foundations of Security and Privacy</a></dt>
<dd>
<i>15-316</i> Software Foundations of Security and Privacy
</dd>
<dt><a href="https://cs.cmu.edu/~15414">Spring 2020</a></dt>
<dd>
<i>15-414</i> Bug Catching: Automated Program Verification and Testing
</dd>
<dt><a href="https://15316-cmu.github.io/index.html">Fall 2019</a></dt>
<dd>
<i>15-316</i> Software Foundations of Security and Privacy
</dd>
<dt><a href="https://cs.cmu.edu/~15414">Fall 2018</a></dt>
<dd>
<i>15-414</i> Bug Catching: Automated Program Verification and Testing
</dd>
<dt><a href="https://15316-cmu.github.io/index.html">Spring 2018</a></dt>
<dd>
<i>15-316</i> Software Foundations of Security and Privacy
</dd>
<dt><a href="https://cs.cmu.edu/~15414">Fall 2017</a></dt>
<dd>
<i>15-414/15-614</i> Bug Catching: Automated Program Verification and Testing
</dd>
<dt><a href="http://privacy.cs.cmu.edu/seminar/">Fall 2017</a></dt>
<dd>
<i>08-602</i> Current Topics in Privacy Seminar
</dd>
<dt><a href="https://cs.cmu.edu/~15316">Spring 2017</a></dt>
<dd>
<i>15-316</i> Software Foundations of Security and Privacy
</dd>
<dt><a href="15414/index.html">Fall 2016</a></dt>
<dd>
<i>15-414/15-614</i> Bug Catching: Automated Program Verification and Testing
</dd>
<dt><a href="http://privacy.cs.cmu.edu/seminar/">Fall 2016</a></dt>
<dd>
<i>08-602</i> Current Topics in Privacy Seminar
</dd>
<dt><a href="http://cs.cmu.edu/~15811">Spring 2016</a></dt>
<dd>
<i>15-811/18-739</i> Special Topics: Formal Foundations of Software Security
</dd>
<dt><a href="http://privacy.cs.cmu.edu/seminar/">Fall 2015</a></dt>
<dd>
<i>08-602</i> Current Topics in Privacy Seminar
</dd>
</dl>
<hr>
<i>Last updated 9/28/20</i>
</div>
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="assets/js/bootstrap.min.js"></script>
</body>
</html>