Difference between revisions of "Ivoire:About"

From Ivoire
Jump to navigation Jump to search
Line 20: Line 20:
 
'''[https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Software Engineering and Programming Languages Group]'''
 
'''[https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Software Engineering and Programming Languages Group]'''
  
[[File:Hhu..png||500px]]
+
[[File:Hhu..png||500px|Heinrich Heine University Düsseldorf]]
  
 
=== Austria, Johannes 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|Johannes Kepler University Linz]]

Revision as of 12:29, 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

Heinrich Heine University Düsseldorf

Austria, Johannes Kepler University (JKU)

Institute for Software and Systems Engeneering

Johannes Kepler University Linz