Difference between revisions of "Ivoire:About"

From Ivoire
Jump to navigation Jump to search
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/#c136541 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 ==

Revision as of 11:28, 10 May 2022

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