brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-09 22:41:13 +00:00
Code Issues Projects Releases Packages Activity

Updated research and publications

Browse source
This commit is contained in:
Brandon Rozek 2020-08-30 00:47:10 -04:00
parent 21919b3271
commit 228a587825
2 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/research/_index.md
View file

@ -37,7 +37,7 @@ Worked with Dr. Andrew Marshall under an ONR grant in collaboration with Univers
During that time period I built a free algebra library, rewrite library, parts of the crypto tool, and dabbled in Unification algorithms. We're hoping to open source the code base by 2021. (Ping me if its past due)
Currently I'm an external collaborator focused on strengthing the rewrite library. My dream is to slowly work towards building an easy to use theorem prover.
Currently, I am an external collaborator who mainly helps maintain the codebase I started as well as contribute to the research where I can. We presented our work at [UNIF 2020](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58) and have a couple other papers in the works.
### Programming Languages