Funding
Our research has been supported over time by funds from the following institutions, agencies and companies.
![[DARPA]](pictures/darpa.jpg)
![[NSF]](pictures/nsf.jpg)
![[NASA]](pictures/nasa.jpg)
![[DOD]](pictures/dod.jpg)
![[AFOSR]](pictures/afosr.jpg)
![[AFRL]](pictures/afrl.jpg)
![[ONR]](pictures/onr.png)
![[Amazon Web Services]](pictures/AWS.png)
![[GE Global Research]](pictures/ge.jpg)
![[Ethereum Foundation]](pictures/ethereum.jpg)
![[Novi]](pictures/novi.png)
![[Certora]](pictures/certora.jpg){kind=small}
![[Rockwell Collins]](pictures/rockwell-collins.png)
![[UTRC]](pictures/utrc.gif)
![[Intel Labs]](pictures/intel.png
)
Department of Computer Science
The University of Iowa
Our research has been supported over time by funds from the following institutions, agencies and companies.