Difference between revisions of "Ivoire:About"

From Ivoire
Jump to navigation Jump to search
m
Line 13: Line 13:
 
== Funding ==
 
== Funding ==
  
IVOIRE is a collaborated research project founded by "Deutsche Forschungsgemeinschaft" (DFG) and the Austrian Science Fund (FWF) grant \# I 4744-N. The work of Austrian particepants has been partly funded by the LIT Secure and Correct Systems Lab sponsored by the province of Upper Austria.  
+
IVOIRE is a collaborated research project founded by "Deutsche Forschungsgemeinschaft" (DFG) and the Austrian Science Fund (FWF) grant # I 4744-N. The work of Austrian participants has been partly funded by the LIT Secure and Correct Systems Lab sponsored by the province of Upper Austria.
  
 
== Universities ==
 
== Universities ==

Revision as of 12:27, 11 April 2022

People

Principal Investigator

PhD. Students

  • Sebastian Stock, JKU
  • Fabian Vu, HHU
  • David Geleßus, HHU

Funding

IVOIRE is a collaborated research project founded by "Deutsche Forschungsgemeinschaft" (DFG) and the Austrian Science Fund (FWF) grant # I 4744-N. The work of Austrian participants has been partly funded by the LIT Secure and Correct Systems Lab sponsored by the province of Upper Austria.

Universities

Germany, Heinrich Heine University (HHU)

Software Engineering and Programming Languages Group

Hhu..png

Austria, Johannes Kepler University (JKU)

Institute for Software and Systems Engeneering

Jku.png