»Ob im Handy, im Auto oder auf dem PC - die Komplexität technischer Softwaresysteme nimmt immer mehr zu, und damit auch ihre Fehleranfälligkeit«, erklärt Prof. Dr. Lajios. »Daher haben Qualität und Zuverlässigkeit von Software eine hohe Relevanz. Dieses Forschungsgebiet fasziniert mich als studierten Mathematiker auch deswegen, weil hier formale mathematische Methoden praktisch angewendet werden können. Den Studierenden diese praktische Seite der manchmal theoretisch erscheinenden Mathematik zu vermitteln, liegt mir in meinen Vorlesungen besonders am Herzen.«
Im Jahr 2000 machte Georgios Lajios an der Universität Düsseldorf sein Diplom in Mathematik und begann als Software-Entwickler für den IT-Dienstleister sd&m AG in München und Düsseldorf zu arbeiten. »Die Erfahrungen, die ich dabei auf dem Gebiet des Software-Engineering machte, reizten mich zu einer wissenschaftlichen Auseinandersetzung mit diesem Gebiet.« Lajios promovierte an der Universität Dortmund in Informatik und forschte während seines Postdoc-Aufenthaltes an der University of Leicester (UK) weiter. Danach war Prof. Dr. Lajios als Projektleiter im Bereich der Softwareentwicklung beim Versicherungsverbund Die Continentale tätig. Seinen Schwerpunkt legte Lajios auf die Fragen der Softwarequalität komplexer IT-Systeme, die in großen Teams entwickelt werden.