Please visit formal-verification-research.github.io to see this webpage.

Build Instructions

1. Export citations from Zotero or your favorite citation manager in BibTeX format.
2. Modify refs/template.html to update static content (i.e., researcher bios, etc.)
3. Run parse_bib.py <input_bibtex_file> <template_html_file> <output_html_file>.
4. If you are happy with the output html file, move the output html file to index.html and push changes.
5. Github should build and host the site automagically when changes are pushed.