Go to JKU Homepage
The LIT Secure and Correct Systems Lab is a cross-institute, interdisciplinary research platform of the following JKU institutes to jointly push the domain of secure and correct systems.
The LIT Secure and Correct Systems Lab Team ©Barbara Lehner
Management
Name | Role | Room | Extension | |
|---|---|---|---|---|
Head | S40318 | 4560 | ||
Head | S30230 | 4121 | ||
Head Graduate School | S30344/1 | 4182 | ||
| Stefan Rass | Head Secure Systems Group | OIC | 9545 | stefan.rass(at)jku.at |
Office
Name | affiliated to | Room | Extension | |
| Katrin Burger | LIT Secure and Correct Systems Lab | OIC, Ground Floor | 9530 | katrin.burger(at)jku.at |
| Vivien Knapp | Secure Systems Group | OIC, Ground Floor | 9546 | vivien.knapp(at)jku.at |
| Andrei Naddour | IT Support | OIC, Ground Floor | 9547 | andrei.naddour(at)jku.at |
Faculty
Name | affiliated to | Room | Extension | |
| Dagmar Auer | Application-oriented Knowledge Processing | OIC 1. Floor | 9536 | |
| Alexander Egyed | Software Systems Engineering | SCP3 246/2 | 4382 | |
| Maksim Goman | Secure Systems Group | OIC 1. Floor | 9549 | |
| Jan Horacek | Institute of Networks and Security | SP3 231 | 4131 | jan.horacek(at)ins.jku.at |
| Atif Mashkoor | Software Systems Engineering | SCP3 240 | 4391 | |
| Aya Mohamed | Application-oriented Knowledge Processing | OIC, 1. Floor | 9538 | aya.mohamed(at)jku.at |
| Armando Rastelli | Semiconductor and Solid State Physics | HP 0020 | 9601 | armando.rastelli(at)jku.at |
| Johannes Sametinger | Business Informatics - Software Engineering | SCP3 439 | 4251 | johannes.sametinger(at)jku.at |
| Josef Scharinger | Computational Perception | SCP3 439 | 4715 |
PhD students
Name | affiliated to | Room | Extension | |
| Shahzad Ahmad | Secure Systems Group | OIC, Ground Floor | 9548 | shahzad.ahmad(at)jku.at |
| Maximilian Aigner | Semiconductor Physics Division | OIC, Ground Floor | 9667 | maximilian.aigner(at)jku.at |
| Mohammad Fiuzy | LIT Secure and Correct Systems Lab | OIC, Ground Floor | 9540 | |
| Edvin Herac | Institute of Software Systems Engineering | SCP3, Room 238 | 4381 | |
| Mario Lins | Network and Security (INS) | SCP3, Room 229 | 4132 | mario.lins(at)jku.at |
| Peter Pfeiffer | Symbolic Artificial Intelligence | SCP4, Room 321 | 4563 | peter.pfeiffer(at)jku.at |
| Manfred Schlägl | Complex Systems | SCP4, Room 317 | 4565 | manfred.schlägl@jku.at |
| Philipp Schwarz | Computational Perception | OIC, Ground Floor | 9539 | philipp.schwarz(at)jku.at |
| Marco Stadler | Business Informatics - Software Engineering | OIC, Ground Floor | 9531 | marco.stadler(at)jku.at |
