Difference between revisions of "Ivoire:About"

From Ivoire
Jump to navigation Jump to search
m
Line 12: Line 12:
  
  
= 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 particepants has been partly funded by the LIT Secure and Correct Systems Lab sponsored by the province of Upper Austria.  
  
= Universities =
+
== Universities ==
 +
 
 +
=== Germany, Heinrich Heine University (HHU) ===
 +
'''[https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Institute for Softwaretechnik und Programmiersprachen]'''
  
=== '''Germany, Heinrich Heine University (HHU)''': ===
 
==== [https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Institute for Softwaretechnik und Programmiersprachen] ====
 
 
[[File:Hhu..png||500px]]
 
[[File:Hhu..png||500px]]
  
=== '''Austria, Johanes Kepler University (JKU)''': ===
+
=== Austria, Johannes Kepler University (JKU) ===
==== [https://www.jku.at/en/institute-of-software-systems-engineering/ Institute for Software and Systems Engeneering] ====
+
'''[https://www.jku.at/en/institute-of-software-systems-engineering/ Institute for Software and Systems Engeneering]'''
 +
 
 
[[File:Jku.png||400px]]
 
[[File:Jku.png||400px]]

Revision as of 12:22, 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 particepants 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)

Institute for Softwaretechnik und Programmiersprachen

Hhu..png

Austria, Johannes Kepler University (JKU)

Institute for Software and Systems Engeneering

Jku.png