mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-09 10:40:34 -05:00
Added poster
This commit is contained in:
parent
8ac2b37ca8
commit
bf52e98957
2 changed files with 6 additions and 0 deletions
|
@ -44,6 +44,12 @@ Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01)
|
||||||
|
|
||||||
## Presentations
|
## Presentations
|
||||||
|
|
||||||
|
Efficient Parallel Verification of Natural Deduction Proof Graphs
|
||||||
|
- Authors: James Oswald and *Brandon Rozek*
|
||||||
|
- Venue: Rensselaer Computer Science Graduate Poster Session, April 2019.
|
||||||
|
- [Poster](/files/research/PV-Poster.pdf)
|
||||||
|
|
||||||
|
|
||||||
QEP: The Quality Policy Evaluation Algorithm
|
QEP: The Quality Policy Evaluation Algorithm
|
||||||
- Venue: Research and Creativity Day at University of Mary Washington, 2019.
|
- Venue: Research and Creativity Day at University of Mary Washington, 2019.
|
||||||
- [Program](/files/research/UMW-RC-2019.pdf#page=3) | [Slides](/files/research/QEP.pptx)
|
- [Program](/files/research/UMW-RC-2019.pdf#page=3) | [Slides](/files/research/QEP.pptx)
|
||||||
|
|
BIN
static/files/research/PV-Poster.pdf
Normal file
BIN
static/files/research/PV-Poster.pdf
Normal file
Binary file not shown.
Loading…
Reference in a new issue