-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathteaching.html
executable file
·117 lines (111 loc) · 5.57 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
<!doctype html>
<html lang="en">
<head>
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico">
<meta charset="utf-8">
<title> Ashutosh Trivedi | Computer Science | University of Colorado Boulder</title>
<meta name="MobileOptimized" content="width">
<meta name="HandheldFriendly" content="true">
<meta name="viewport" content="width=device-width">
<link rel="stylesheet" href="css/grid.css">
<link rel="stylesheet" href="css/ucb-styles.css">
<link rel="stylesheet" href="css/styles.css">
<link href="https://fonts.googleapis.com/css?family=Roboto:400,700|Roboto+Condensed:700" rel="stylesheet">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/all.css" integrity="sha384-mzrmE5qonljUremFsqc01SB46JvROS7bZs3IO2EmfFsd15uHvIt+Y8vEf7N7fWAU" crossorigin="anonymous">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/v4-shims.css">
<script src="https://code.jquery.com/jquery-2.2.4.min.js" integrity="sha256-BbhdlvQf/xTY9gja0Dq3HiwQF8LaCRTXxZKRutelT44=" crossorigin="anonymous"></script>
<link href='http://fonts.googleapis.com/css?family=Ultra' rel='stylesheet' type='text/css'>
<link href="https://fonts.googleapis.com/css?family=Shrikhand" rel="stylesheet">
<link href="https://fonts.googleapis.com/css?family=Open+Sans:400,800" rel="stylesheet">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin="">
<link href="https://fonts.googleapis.com/css2?family=Roboto+Condensed:wght@700&family=Roboto:wght@400;700&display=swap" rel="stylesheet">
</head>
<!-- Body Starts here -->
<body class="headings-bold background-color-white">
<div class="page">
<!-- CU Boulder bar -->
<div class="background-black brand-bar brand-bar-black">
<div class="container">
<script type="text/javascript" src="https://cdn.colorado.edu/static/brand-assets/live/js/brand-bar.js" id="ucb-brand-bar-embed" data-color="black"></script>
</div>
</div>
<!-- CS/CEAS header -->
<header class="ucb light" role="banner">
<div class="container">
<a href="/">Department of Computer Science</a>
<div class="affiliation">
<a href="https://www.colorado.edu/engineering">College of Engineering and Applied Science</a>
</div>
</div>
</header>
<!-- navigation bar -->
<div class="background-color-gray-dark">
<div class="container">
<nav role="navigation" class="ucb-navbar ucb-navbar-dark text-minify">
<label for="show-main-menu" class="show-menu">
<i class="fa fa-bars" aria-hidden="true"></i>
<span class="element-invisible">Menu</span>
</label>
<input type="checkbox" id="show-main-menu" role="button">
<ul>
<li><a href="index.html" class="active"> <i class="fa fa-home"></i>
<span class="display-inline invisible-md invisible-lg">Home</span></a></li>
<li><a href="pubs.html">Publications</a></li>
<li><a href="teaching.html">Teaching</a></li>
<li><a href="ser.html">Service</a></li>
<li><a href="bio.html">Bio</a></li>
</ul>
</nav>
</div>
</div>
<div class="background-white padding-large-top padding-large-bottom">
<div class="container">
<h3>
List of courses taught:
</h3>
<section class="about">
<ul class="dashed">
<li> Recent (@ CU Boulder)
<ul>
<li> CSCI 7000 (Automata for Verification, Synthesis, and Learning): Fall 2019.
<li> CSCI 2270 (Data
Structures):
Spring 2019, 2020, 2021, 20202.
<li> CSCI 5854 (Verification and Control of Cyber-Physical Systems): Spring 2018.
<li> CSCI 5454 (Design and Analysis of Algorithms) : Fall 2017.
<li> CSCI 5444 (Theory of Computation): Spring 2017, Fall 2018, Fall
2020
<li> CSCI 3434 (Theory of Computation): Fall 2016.
</ul>
<br><br>
<!-- <li> Older (@ IIT Bombay) -->
<!-- <ul> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs226.html"> CS 226 (Digital Logic Design) : Spring 2014 </a> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs254.html"> CS 254 (Digital Logic Design Lab) : Spring 2014 </a> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208.html"> CS 208 (Automata Theory and Logic) : Spring 2014 </a> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208.html"> CS 208 (Automata Theory and Logic) : Spring 2013 </a> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs620.html"> CS 620 (New Trends in Information Technology) : Autumn 2013 </a> -->
<!-- <li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208-summer13.html"> CS 208 (Automata Theory and Logic) : Summer 2012 </a> -->
<!-- </ul> -->
<!-- </ul> -->
</section>
</div>
<footer class="background-black padding-top padding-bottom">
<div class="container">
<div class="row">
<div class="col-lg-4 col-md-4 col-sm-6 col-xs-12">
This HTML template is a resource provided by <a href="https://www.colorado.edu/strategicrelations">Strategic Relations and Communications</a>.
</div>
<div class="col-log-4 col-md-4 col-sm-6 col-xs-12 offset-lg-4 offset-md-4">
<script type="text/javascript"
src="https://cdn.colorado.edu/static/brand-assets/live/js/footer.js"
id="ucb-footer-embed" data-color="white"></script>
</div>
</div>
</div>
</footer>
</div>
</div>
</body>
</html>