|
|
0e5f69e827
|
Research page updates
|
2022-08-21 00:08:38 -04:00 |
|
|
|
73e972db60
|
Added new section on automated theorem proving
|
2022-05-16 18:21:53 -04:00 |
|
|
|
2d0ebc5415
|
Moved publications page
|
2022-05-16 18:21:16 -04:00 |
|
|
|
f6314f9b2a
|
Added links to program guides
|
2022-05-01 21:16:24 -04:00 |
|
|
|
eb301db693
|
Uploaded and updated references for WRLA presentation
|
2022-04-03 10:24:04 -04:00 |
|
|
|
eefa5a3941
|
Updated publications list
|
2022-03-31 14:28:45 -04:00 |
|
|
|
b019f70488
|
Small research page updates
|
2022-02-17 13:40:33 -05:00 |
|
|
|
a12db74b98
|
Updated research page
|
2022-02-17 13:37:46 -05:00 |
|
|
|
ddb17eb698
|
Updated publication list
|
2022-01-12 23:45:27 -05:00 |
|
|
|
fd62fbaf72
|
Cleaned up some old pages and uploaded some proceedings
|
2021-12-13 16:56:35 -05:00 |
|
|
|
d222df272b
|
Research updates
|
2021-10-18 21:55:58 -04:00 |
|
|
|
74211e125c
|
Added links to other's personal websites
|
2021-10-11 00:13:05 -04:00 |
|
|
|
2489aa163b
|
Updated research section on website
|
2021-10-10 23:15:46 -04:00 |
|
|
|
6575a655e8
|
Added UNIF 2020 slides
|
2021-07-26 10:54:18 -04:00 |
|
|
|
6b8de62ee2
|
Added publication
|
2021-07-26 10:46:59 -04:00 |
|
|
|
7ccec419fc
|
Reflowed research page to mainly highlight RL and SM.
|
2021-07-26 09:13:58 -04:00 |
|
|
|
330ace0de9
|
Fixed titles, math rendering, and links on some pages
|
2021-07-26 09:13:20 -04:00 |
|
|
|
39dabcf8c6
|
Fixed link
|
2021-02-15 23:06:28 -05:00 |
|
|
|
1febd163f3
|
Added link to now published CryptoSolve tool.
|
2020-11-27 20:16:09 -05:00 |
|
|
|
88d085f67d
|
Slightly restructured publications page
|
2020-09-28 22:52:26 -04:00 |
|
|
|
228a587825
|
Updated research and publications
|
2020-08-30 00:47:10 -04:00 |
|
|
|
d6bcdece60
|
Added Eagle Scholar Entry
|
2020-04-27 23:11:10 -04:00 |
|
|
|
a4246d52a3
|
Updated theme and rearranged files to agree with hugo standard
|
2020-03-01 09:47:54 -05:00 |
|
|
|
50ec3688a5
|
Website snapshot
|
2020-01-15 21:51:49 -05:00 |
|
