Merge branch 'gh-pages' of github.com:CLC-UIowa/clc.github.io into gh-pages

Author: ahubers

_bibliography/papers.bib

@@ -2,7 +2,19 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
-
+@inproceedings{EkiEtAl-PxTP-19,
+  author    = {Burak Ekici and Arjun Viswanathan and Yoni Zohar and Clark Barrett and Cesare Tinelli},
+  title     = {Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)},
+  booktitle = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving},
+  pages     = {57--89},
+  year      = {2019},
+  url       = {https://doi.org/10.4204/EPTCS.301},
+  doi       = {10.4204/EPTCS.301},
+  editor    = {Giselle Reis and Haniel Barbosa},
+  series    = {Electronic Proceedings in Theoretical Computer Science},
+  volume    = {301},
+  publisher = {Open Publishing Association},
+}
 
 @inproceedings{IngleHM22,
 	author = {Apoorv Ingle and

_members/kosaian.md

@@ -0,0 +1,12 @@
+---
+name: Katherine Kosaian
+role: Professor
+subrole: Assistant Professor
+interests: Formal Verification, Interactive Theorem Proving
+email: katherine-kosaian@uiowa.edu
+website: https://sites.google.com/view/katherinekosaian
+photo: kosaian.jpeg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->

_members/tinelli.md

@@ -0,0 +1,12 @@
+---
+name: Cesare Tinelli
+role: Professor
+subrole: Professor
+interests: Automated Reasoning, Formal Methods
+email: cesare-tinelli@uiowa.edu
+website: https://homepage.cs.uiowa.edu/~tinelli/
+photo: tinelli.jpg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->