Difference between revisions of "Ivoire:About"

From Ivoire
Jump to navigation Jump to search
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== People ==  
 
== People ==  
  
=== Principal Investigator ===
+
=== Principal Investigators ===
* Dr. Atif Mashkoor
+
* Dr. [https://www.jku.at/en/lit-secure-and-correct-systems-lab/about-us/team/details/#c91113 Atif Mashkoor], JKU
 
* Prof. Dr. [https://www.jku.at/en/institute-of-software-systems-engineering/about-us/team/alexander-egyed/ Alexander Egyed], JKU
 
* Prof. Dr. [https://www.jku.at/en/institute-of-software-systems-engineering/about-us/team/alexander-egyed/ Alexander Egyed], JKU
 
* Prof. Dr. [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], HHU
 
* Prof. Dr. [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], HHU
  
 
=== PhD. Students ===  
 
=== PhD. Students ===  
* Sebastian Stock, JKU
+
* [https://www.jku.at/en/lit-secure-and-correct-systems-lab/about-us/team/details/#c136541 Sebastian Stock], JKU  
* Fabian Vu, HHU
+
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team Fabian Vu], HHU
* David Geleßus, HHU
+
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team David Geleßus], HHU
  
  
= 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 ==
  
=== '''Germany, Heinrich Heine University (HHU)''': ===
+
=== Germany, Heinrich Heine University (HHU) ===
==== [https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Institute for Softwaretechnik und Programmiersprachen] ====
+
'''[https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages Software Engineering and Programming Languages Group]'''
[[File:Hhu..png||500px]]
 
  
=== '''Austria, Johanes Kepler University (JKU)''': ===
+
[[File:Hhu..png||500px|Heinrich Heine University Düsseldorf]]
==== [https://www.jku.at/en/institute-of-software-systems-engineering/ Institute for Software and Systems Engeneering] ====
+
 
[[File:Jku.png||400px]]
+
=== Austria, Johannes Kepler University (JKU) ===
 +
'''[https://www.jku.at/en/institute-of-software-systems-engineering/ Institute for Software and Systems Engeneering]'''
 +
 
 +
[[File:Jku.png||400px|Johannes Kepler University Linz]]

Latest revision as of 08:45, 13 May 2024

People

Principal Investigators

PhD. Students


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