Update teaching.
This commit is contained in:
parent
d621e92e18
commit
9cf7b96522
|
@ -1,3 +1,6 @@
|
|||
+ **09/2019** This fall, I'm teaching a graduate seminar **Security and Privacy
|
||||
in Data Science (CS 763)**. Follow along
|
||||
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs763/)!
|
||||
+ **08/2019** I am helping organize the [**Programming Languages Mentoring
|
||||
Workshop (PLMW)**](https://popl20.sigplan.org/home/PLMW-POPL-2020) at
|
||||
[**POPL 2020**](https://popl20.sigplan.org/)! We have funding available to
|
||||
|
@ -13,7 +16,3 @@
|
|||
Reasoning via Metrics** to appear at **LICS 2019**!
|
||||
+ **02/2019** **Scalable Verification of Probabilistic Network Programs**
|
||||
(conditionally) accepted to **PLDI 2019**!
|
||||
+ **01/2019** This spring, I'm teaching a new undergraduate course on
|
||||
**Introduction to the Theory and Design of Programming Languages (CS 538)**.
|
||||
Follow along
|
||||
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)!
|
||||
|
|
Loading…
Reference in New Issue