![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Pics/ | 2018-05-06 20:10 | - | |
| Talks/ | 2018-05-06 20:10 | - | |
| home.html | 2022-08-22 10:51 | 3.4K | |
| papers.html | 2017-03-24 11:59 | 14K | |
| pdfs/ | 2016-08-03 14:20 | - | |
| research.html | 2015-09-30 15:22 | 920 | |
| research/ | 2015-09-30 15:20 | - | |
| style.css | 2012-08-29 14:50 | 1.0K | |
| talks.html | 2013-04-11 16:51 | 9.9K | |
| teaching.html | 2022-08-22 11:55 | 4.4K | |