Go to JKU Homepage
LIT Secure and Correct Systems Lab
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Details.

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.

Management

Univ.-Prof. Dr.
Daniel Große

function

room

phone

e-mail

Head

S40318

+43 732 2468 4560

daniel.grosse(at)jku.at

I am full professor and head of the Institute for Complex Systems at JKU as well as the head of the LIT Secure and Correct Systems Lab. I work in the field of Electronic Design Automation (EDA). My research interests include (formal) verification, virtual prototyping, debugging, and synthesis. I have published 3 books and more than 140 research articles in premier international journals and conferences. I served in program committees of numerous conferences, including ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, FDL, and MEMOCODE. Moreover, I received best paper awards at FDL 2007, DVCon Europe 2018, ICCAD 2018 and FDL 2020.

Daniel Große Daniel Große ©JKU

Univ.-Prof. DI Dr.
Rene Mayrhofer
 

function

room

phone

e-mail

Head

S30230

+43 732 2468 4121

rene.mayrhofer(at)jku.at

I act as the head of the Institute for Networks and Security and co-lead of the LIT Secure and Correct Systems Lab. My main research interests are digital identities, usable secure systems, mobile security, and cryptographic network protocols. From 2017 to 2019, I acted as Director of Android Platform Security at Google headquarters and continue to work as advisor for Android security.

Rene Mayrhofer Rene Mayrhofer ©Michael Riegler

A.Univ.-Prof. DI Dr.
Josef Küng
 

function

room

phone

e-mail

Head Graduate School

S30344/1

+43 732 2468 4182

josef.kueng(at)jku.at

I am an associate Professor at the Institute for Application-oriented Knowledge Processing. My research areas include Information Systems, Knowledge Processing Systems, and security aspects therein. Regularly I am teaching within these topics and can reference to many scientific publications and a lot of successful co-operations with partners from academics, industry and public administration. Additionally, I have been heavily involved in organizing scientific conference series such as DEXA (Database and Expert Systems Applications) and FDSE (Future Data and Security Engineering).

Photo Josef Küng Josef Küng ©Michael Riegler

Univ.-Prof. Priv.-Doz. DDI Dr.
Stefan Rass

room

phone

e-mail

OIC

+43 732 2468 9545

stefan.rass(at)jku.at

I am Professor for Secure Systems, and a mathematician and computer scientist by training. My research interests include, but are not limited to, decision theory and game-theory, with applications in system security, robotics security, as well as security of artificial intelligence, complexity theory, cryptography and data science for security. I contributed to roughly 200 papers and more than 20 research projects as of 2021, and was chair of the 2015 Central European Conference on Cryptography, the 8 th Conference on Decision and Game Theory for Security in 2017, as well as several workshops on security topics. I am a member of IEEE and ACM, and spent research visits in, Cyprus, Germany, Great Britain, Poland and the USA, and am part of the Secure and Correct Systems Lab since September 2021.

Stefan Rass Stefan Rass ©JKU

Office

Katrin Burger

room

phone

e-mail

OIC

+43 732 2468 9530

katrin.burger(at)jku.at

I am the secretary of the LIT Secure and Correct Systems Lab since November 2023. My fields of responsibility included being an intermediary between the professors, students and clients, organizing the Lab’s events, hosting our guests, and taking care of our public presence. 

Katrin Burger Katrin Burger

Vivien Knapp

room

phone

e-mail

OIC

+43 732 2468 9546

vivien.knapp(at)jku.at

I am the secretary of the LIT Secure Systems Group and Correct Systems Lab. My tasks include the administrative and management responsibilities of our group. I am the contact point for professors and students and also in charge of the planning and supporting of business trips, events and the online presence.

Vivien Knapp ©Vivien Knapp

Andrei Naddour
BSc.

room

phone

e-mail

OIC

+43 732 2468 9547

andrei.naddour(at)jku.at

Well, I am Andrei, and I am a master student in computer science majoring in networks and security, and I really like it. I joined Secure Systems Group as an IT supporter, who never quits until he has restored a system. My goals at the end of the day are simple: Safety and Security. Similar to “writing is thinking”, I truly believe that “coding is thinking” as well, therefore my favorite quote is: “Talk is cheap. Show me the code.” ― Linus Torvalds

andrei Andrei Naddour

Faculty


 

Dr.
Dagmar Auer
 

room

phone

e-mail

OIC

+43 732 2468 9538

dagmar.auer(at)jku.at

I am a senior researcher with a PhD in Business Informatics - Software Engineering from the JKU and more than 25 years of research and development experience in software and data engineering. Currently I focus on knowledge-intensive business processes (KiBPs) in combination with graph data models. Graphs are promising for the high level of flexibility and adaptability needed for KiBPs, but pose special challenges concerning appropriate concepts for authorization and access control.

Photo Dagmar Auer Dagmar Auer ©Michael Riegler

Prof. Dr.
Alexander Egyed
 

room

phone

e-mail

S30246/2

+43 732 2468 4382

alexander.egyed(at)jku.at

I am a Full Professor and Chair at the Institute for Software Systems Engineering. I received my Doctorate degree from the University of Southern California, USA, was a Postdoc at the University College London, UK, and worked in industry for many years. I am most recognized for my work on software and systems modeling – particularly on variability, consistency, and traceability. I have published over 200 refereed scientific books, journals, and conferences with over 5000 citations to date. I was recognized as a Top 1% scholar in software engineering in Communications of the ACM, Springer Scientometrics, and Microsoft Academic Search. I was also named an IBM Research Faculty Fellow in recognition of  my contributions to consistency checking, received a Recognition of Service Award from the ACM, Best Paper Awards from COMPSAC and WICSA, and an Outstanding Achievement Award from the USC. I served as program chair/steering committee member (ASE, FASE, MoDELS,…) and as editorial board member (TSE, SoSyM,…). I am a member of the IEEE, IEEE Computer Society, ACM, and ACM SigSoft.

Photo Alexander Egyed Alexander Egyed ©Michael Riegler

Dr.
Maksim Goman
 

room

phone

e-mail

OIC

+43 732 2468 9549

maksim.goman(at)jku.at, opens in new window

I am a Post-doc researcher at the LIT Secure and Correct Systems Lab. I hold a Master’s degree in computer science from TU Ilmenau and completed my PhD in Business Informatics at JKU Linz. My research interests include quantitative analysis of IT-related risk, IT risk and security management, risk analysis in projects, correct methods of decision-making support, practical uncertainty analysis.

Maksim Goman Maksim Goman ©JKU

Dr.
Jan Horacek

 

room

phone

e-mail

SP3 231

+43 732 2468 4131

jan.horacek(at)ins.jku.at

I am a Postdoc at the Institute for Networks and Security. I received my Doctorate degree from the University of Passau. My research interests include how to design solving methods for cryptanalysis and how to use them to break real-world cryptographic primitives (such as lightweight block ciphers or hash functions). Additionally, I am interested in side-channel attacks, privacy on smartphones and anomaly detection in cybersecurity. I have also some non-academic experience in network security and blue team operations.

Jan Horacek Jan Horacek

Dr.
Atif Mashkoor
 

I'm a senior research scientist at LIT Secure and Correct Systems Lab and also at Software Competence Center Hagenberg GmbH. My research interests are rigorous methods and software engineering, and I've rich hands-on experience with modeling and analysis of safe and secure systems. I was one of the guest editors of the IEEE Software Magazine Jan-Feb 2018 issue on safety and security. I’m also the co-chair of the International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS). I hold a PhD from the University of Lorraine, France, and M.S. from the University of Umeå, Sweden in Computer Science. Additionally, I've studied Computational Linguistics at the Rovira i Virgili University, Spain.

Photo Atif Mashkoor Atif Mashkoor ©Michael Riegler

Dr. Aya Mohamed
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9538

aya.mohamed(at)jku.at

I am a Post doc and research assistant in the field of Computer Science. With a master thesis on the integration of satellite data into a No-SQL database using a microservice architecture and a Bachelor in Embedded Systems, I now, work on security, especially access control, in the context of graph databases.

Photo Aya Mohamed Aya Mohamed ©Michael Riegler

Univ.-Prof. Dr.
Armando Rastelli
 

room

phone

e-mail

HP0020

+43 732 2468 9601

armando.rastelli(at)jku.at

I am an Italian physicist and Professor for Semiconductor Physics at JKU, where I head the Semiconductor Physics Division and the Nanoscale Semiconductors group. Together with my group and external collaborators, I focus on the fabrication of semiconductor nanostructures via epitaxial methods, their characterization and physical understanding, the development of methods to precisely control their properties, their integration in photonic devices, and their use as sources of quantum light for applications in emerging quantum technologies.

Photo Armando Rastelli Armando Rastelli ©Michael Riegler

A.Univ.-Prof. DI Dr.
Johannes Sametinger
 

room

phone

e-mail

S30072

+43 732 2468 4251

johannes.sametinger(at)jku.at

I am a Professor at the Johannes Kepler University Linz (JKU) at the Department of Business Informatics – Software Engineering. My research interests include various aspects of software engineering in general and software security in particular. I have spent several years at universities in the USA (Texas A&M University, Brown University, University of Arizona) and in Canada (University of Toronto, Université de Montréal). Besides the JKU, I have also worked in Germany at the University of Regensburg and with Siemens in Munich.

Photo Johannes Sametinger Johannes Sametinger ©Michael Riegler

A.Univ.-Prof. Dr.
Josef Scharinger
 

room

phone

e-mail

S30439

+43 732 2468 4715

josef.scharinger(at)jku.at

I am an Associate Professor at the Institute of Computational Perception at the Johannes Kepler University Linz, Austria. In my work, I have a focus on image processing, cryptography and biometric identification. These technologies allow me to develop methods for secure communication, authentication and identification.

Photo Josef Scharinger Josef Scharinger ©Michael Riegler

PhD students


 

Shahzad Ahmad
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9548

shahzad.ahmad(at)jku.at

I am a PhD student at the LIT Secure and Correct Systems Lab, with a Master degree in Communication and Information Systems and a Bachelor degree in Electronics engineering. My particular interests are in Cryptography, Network Security and Secure Communication. The reasons for my great desire to research, with a special interest in Cryptography, are numerous, including the fact that many industries and businesses are confronting security challenges, and that demand for Information Security will surge by the end of this decade. The need of the hour is to plunge into cryptography leveraging machine learning and AI to improve the current security features.

Shahzad Ahmad Shahzad Ahmad ©JKU

Maximilian Aigner
BSc
 

room

phone

e-mail

OIC

+43 732 2468 9541

maximilian.aigner@jku.at

It is a fascinating challenge to navigate through the counterintuitive nature of quantum mechanics while finding connections for real-world applications. During my bachelor and master studies in physics, I learned methods and gained insights to tackle questions that may arise from this challenge. Now I am working as a PhD student in a research group in the field of semiconductor physics. Our research area is the fabrication of semiconductor nanostructures and devices for photonic quantum technologies. I focus on the optical characterization of these devices and utilizing them in various quantum optics experiments.

Maximilian Aigner

M. Eng. Mohammad Fiuzy

room

phone

e-mail

OIC

+43 732 2468 9540

mohammad.fiuzy(at)jku.at

I am a PhD student at the LIT Secure and Correct Systems Lab. As a passionate researcher I intend to study Cyber-Physical Security Systems. My research spans various domains, including Mathematics, Control Theory, Convex Optimization, Networked-Control Systems, and AI-based learning control systems. I am driven by a passion for using these disciplines to improve the security and efficiency of interconnected systems. I aim to create innovative solutions that blend theoretical insights with practical applications, advancing both academic research and industrial practices.

Mohammad Fiuzy

DI Edvin Herac, BSc

room

phone

e-mail

SP3 238

+43 732 2468 4394

edvin.herac(at)jku.at

I am a PhD student at the LIT Secure and Correct Systems Lab.

 

 

 

Edvin Herac Edvin Herac

DI Mario Lins
 

room

phone

e-mail

SP3 0229

+43 732 2468 4132

mario.lins(at)jku.at

I completed my master studies in computer science at the Graz University of Technology with a focus on Information Security and Software Technology. After working for an international company for several years, I am now pursuing my PhD in the field of security at the JKU in Linz. My research interests include, but are not limited to, threat modeling, system security, digital identities as well as supply chain security, especially with focus on verifiable data structures without computationally intensive consensus mechanisms.

Mario Lins Mario Lins

DI Peter Pfeiffer
 

room

phone

e-mail

SP4 0321

+43 732 2468 4563

peter.pfeiffer(at)jku.at

I am a PhD student at the LIT Secure and Correct Systems Lab. Prior to this, I earned my bachelor's degree in computer science, followed by a master's degree in computational engineering at JKU Linz in 2023. My research interests are ranging from hardware logic design to symbolic aritifical intelligence. More specifically, I am trying to establish more common ground between these areas.
 

Peter Pfeiffer Peter Pfeiffer

DI Manfred Schlägl

 

room

phone

e-mail

OIC

+43 732 2468 4565

manfred.schlaegl(at)jku.at

I am a PhD student at the LIT Secure and Correct Systems Lab. For 15 years I worked at Ginzinger electronic systems GmbH, an Austrian embedded systems design and electronics manufacturing company. There I led a small team and focused mainly on low-level firmware and operating systems for SoCs and microcontrollers, their development, integration and long-term maintenance. In 2021 I left Ginzinger to resume my studies. I finished my Master's degree in Computer Science in 2023 and started my PhD immediately afterwards. My main research interest is hardware/software co-simulation using virtual prototypes. I am also deeply interested in operating systems, hardware platforms and computer architectures, especially RISC-V.

Manfred Schlägl Manfred Schlägl

DI
Philipp Schwarz
 

room

phone

e-mail

OIC

+43 732 2468 9539

philipp.schwarz(at)jku.at

I am a PhD student with a Master in Computer Science. My most recent work focuses on fingerprint orientation estimation - a problem in the field of biometry, more specifically on fingerprints. When it comes to finding solutions, I try to incorporate methods from the field of artificial intelligence such as neural networks.

Photo Philipp Schwarz Philipp Schwarz ©Michael Riegler

Marco Stadler
MSc

room

phone

e-mail

OIC

+43 732 2468 9531

marco.stadler(at)jku.at

I am a Ph.D. student in the Business Informatics program at the LIT Secure and Correct Systems Lab. Prior to joining the JKU, I completed a bachelor's degree in Business Informatics at the University of Regensburg, Germany and a master's degree in Business Informatics at the JKU with a focus on Networks & Security and Software Engineering. In addition to my studies, I worked as a software developer in the IT finance industry and as a frontend developer at a marketing agency near Munich. During my master's degree, I conducted research on runtime monitoring for robotic systems, and my current research focuses on securing systems using security modes and digital twins.

Marco Stadler Marco Stadler

Alumni

Univ.-Prof. Dr. 
Armin Biere
 

From 2004 to 2021 I chaired the institute of Formal Models and Verification at JKU. My primary research interests are applied formal methods, with the focus on developing efficient SAT and SMT solvers. I am the author of 208 papers, serve on 5 editorial boards, organized 5 conferences and various other meetings, took part in 150 program committees, and received 89 medals (including 52 first prizes) in SAT, SMT and QBF competitions.

Photo Armin Biere Armin Biere ©Michael Riegler

Dr.
Lukas Burgholzer
 

room

phone

e-mail

OIC

+43 732 2468 9536

lukas.burgholzer(at)jku.at

I am a PhD student with a Master degree in Mathematics and a Bachelor degree in Computer Science. In my work, I am combining my expertise from both domains to develop methods for the design of quantum computers. For this future technology, I develop proper data-structures and algorithms that allow me to tackle the immense complexity that has to be dealt with, when working with corresponding devices.

Photo Lukas Burgholzer Lukas Burgholzer ©Michael Riegler

DI
Daniel Hofer
 

I studied Computer Science at JKU Linz where I have chosen Networks and Security as the main topic for my master program. In my master thesis, I worked on placing invisible watermarks into texts in web documents and implemented a prototype therefore. Additionally, I have rich experience in log file analytics for detecting security issues.

Photo Daniel Hofer Daniel Hofer ©Michael Riegler

Dr.
Daniel Huber

At the LIT Secure and Correct Systems Lab I worked as a Postdoc with a PhD degree in physics. My research was focused on semiconductor quantum dots, nanostructures allowing for “on demand” generation of single photons and entangled photon-pairs. The aim of my work was to establish quantum dots as an entanglement resource for emerging quantum technologies such as quantum computers and quantum communication networks.

Photo Daniel Huber Daniel Huber ©Michael Riegler

Kübra Karatas

I was the secretary of the Secure Systems Group. My fields of responsibility include providing administrative support for lectures, being an intermediary between professor and students and taking care of our public presence.

Avatar, Icon

Dr.
Barbara Lehner

I studied Physics in Linz. I did my bachelor and master thesis at the Institute for Semiconductor and Solid State Physics in the group of Armando Rastelli. After my master, I will start my PhD at the LIT Secure and Correct Systems Lab. Nowadays, secure communication is an important topic. Quantum physics offers possibilities to make communication secure. I am looking forward to joining the LIT Secure and Correct Systems Lab team and to contribute to the field of physics.

Photo Barbara Lehner Barbara Lehner ©Michael Riegler

Anja Mayr
MA
 

I was not only the secretary of the Lab, but also the intermediary between the professors, students and clients. Furthermore, I organized our events, hosted our guests and took care of our public presence. Before that, I studied Literature and Cultural Studies and I am also a singer.

Photo Anja Mayr Anja Mayr ©Michael Riegler

Dr.
Christoph Mayr-Dorn
 

I'm a senior researcher at the Institute for Software Systems Engineering and worked at the LIT Secure and Correct Systems Lab from 2021-2022. My research interests include supporting software engineering processes of safety critical systems, especially automated quality assurance and traceability. My work also addresses developer coordination during change propagation as well as the study of flexible software architectures for cyber-physical production systems.I was a visiting researcher on a Marie Curie/Erwin Schrödinger co-funded fellowship at the University of California, Irvine from February 2011 to August 2012. I completed my PhD at TU Wien in the field of distributed systems and I hold a Master in Business Informatics also from TU Wien.

Photo Christoph Mayr-Dorn Christoph Mayr-Dorn

Dr.
Gabriela Michelon

I am a software engineer and was a PhD student at the LIT Secure and Correct Systems Lab where I gradutated in November 2022 with my work on "Evolving System Families in Space and Time". My research interests during my studies were configurable systems and its variants as well as software product line and version control systems. My aim was to raise a systematic mechanism to reuse artifacts based on feature-oriented development to derive variants in a secure, correct and automatic way.

Photo Gabriela Michelon Gabriela Michelon ©Michael Riegler

Dr.
Omid Mir

I am a third-year PhD student at the Institute of Networks and Security and also LIT Secure and Correct Systems under the supervision of Prof. Rene Mayrhofer. I also received a Masters degree in information security and a Bachelor degree in computer science. My research spans various topics in cryptography and security with a focus on secure protocols: develops new cryptographic tools, zero-knowledge proofs, data privacy with a special focus in private authentication techniques, anonymous credentials (digital identity) and secure computations, blockchains, functional encryption.

Photo Omid Mir Omid Mir ©Michael Riegler

Dr.
Sibylle Möhle-Rotondi
 

At the LIT Secure and Correct Systems Lab I was a PhD student with a diploma in Computer Science and graduated in July 2022. In my research, I focused mainly on exact propositional model counting with an emphasis on formal methods. I devised calculi for propositional model counting and related topics and showed their correctness by means of formal proofs and their evaluation in practice. I am particularly interested in applications of model counting and related techniques in a wide range of fields comprising hardware and software verification, cryptography, model-based diagnosis, and product configuration as well as probabilistic reasoning and Bayesian networks, which are adopted in medical diagnosis and planning.

Photo Sibylle Möhle-Rotondi Sibylle Möhle-Rotondi ©Michael Riegler

Prof. Dr. Dr. h.c
Hanspeter Mössenböck
 

I am a full professor of Computer Science and the head of the Institute for System Software at JKU. My research interests are in programming languages, compilers and virtual machines. In a long-standing collaboration with Oracle Labs we are working on techniques for the dynamic optimization of programs in JIT compilers using aggressive feedback-directed optimizations. Further research areas are static and dynamic program analyses, application performance monitoring, software error analytics and secure code, as well as domain-specific languages. I am the author of several textbooks on Java, C#, .NET and compiler technology.

Photo Hanspeter Mössenböck Hanspeter Mössenböck ©Michael Riegler

Doris Nikolaus

I work as a secretary at the Institute of Integrated Circuits at the JKU. My area of responsibility is the administration of the institute and its departments. Together with Anja Hoffmann I also manage the financial matters of the LIT Lab.

Photo Doris Nikolaus Doris Nikolaus ©Michael Riegler

DI
Daniel Pekarek
 

I am a PhD student with a Master degree in Computer Science. The focus of my work is on compiler technology to foster secure code, to analyze program anomalies, and to detect vulnerabilities. For that, I developed an x86 interpreter in which I am trying to do online analyses and to record the executed instructions to analyze them offline. The interpreted code is JIT-compiled to efficient machine code.

Photo Daniel Pekarek Daniel Pekarek ©Michael Riegler

Eva Maria Resch
MA
 

I was the secretary of the LIT Secure and Correct Systems Lab in 2021-23. My fields of responsibility included being an intermediary between the professors, students and clients, organizing the Lab’s events, hosting our guests, and taking care of our public presence. Before working at the LIT, I completed an MA degree in Literary and Cultural Studies at the Paris Lodron University Salzburg.

Eva Maria Resch Eva Maria Resch

Michael Riegler
MSc
 

I am a PhD student at the LIT Secure and Correct Systems Lab. After finishing my Master in Business Informatics with a focus on security engineering and management, I worked five years for the company ENGEL, an Austrian manufacturer of plastic processing machines. My research interests include software security of cyber-physical systems like medical devices or industrial systems. Further, I am interested in methods and tools to defend devices even at a time when they had already been hacked.

Photo Michael Riegler Michael Riegler ©Michael Riegler

DI
Sarah Schneider

I was a PhD student in Computer Science at the LIT Secure and Correct Systems Lab. Before that, I wrote a masters thesis on SAT encodings for quantum computation in computational engineering. In my work, I aimed to combine knowledge about satisfiability problems to develop algorithms especially aimed towards the development and use of quantum computers.

Sarah Schneider Profilbild Sarah Schneider

Hannes Sochor
MSc

I am a PhD student with a Master in IT-Security from the University of Applied Sciences Hagenberg. I am working as a Researcher in Secure Software Analytics at the Software Competence Center Hagenberg. My research interests include Grammar-based Fuzzing where I try to include Grammar Mining and Program Analysis methods.

Hannes Sochor ©Michael Riegler

Assoz.-Prof. Mag. DI Dr.
Michael Sonntag
 

Mag. Dipl.-Ing. Dr. Michael Sonntag is Associate Professor at the Johannes Kepler University Linz at the Institute for Networks and Security. He studied both Computer Science and Law and is researching and teaching in the areas of privacy, web security, computer forensics, and IT law. Besides the universities Linz and Graz he regularly teaches at the ELTE in Budapest and the University of Economics in Prague.

Photo Michael Sonntag Michael Sonntag ©Michael Riegler

Sebastian Stock
MSc

I was a Ph.D. student in the area of formal methods and in a research project called IVOIRE. In the research project, we focus on introducing so-called 'Validations Obligations' for formal methods. I did my master thesis in Düsseldorf, Germany, focusing on formal methods and prototyped a mechanism to reuse traces through the state space of a model on refactorings of this model. My main interests are in formal methods but also in 'elegant' programming in various languages.

Sebastian Stock

Dr.
Michael Vierhauser

 

I'm a senior researcher at the LIT Secure and Correct Systems Lab. I work in the field of Software Engineering and my research interests include Requirements Engineering, Safety-Critical Systems, and Traceability. In my work, I focus on providing runtime monitoring support for Cyber-Physical Systems, and Safety Assurance. In 2017 I was awarded an Erwin Schrödinger fellowship and was a visiting researcher at the University of Notre Dame, in the United States, from 2017 to 2019. I completed my PhD at the Johannes Kepler University in 2016 in the field of Software Engineering.

Michael Vierhauser ©Michael Riegler Michael Vierhauser ©Michael Riegler

Univ.-Prof. Dr.
Robert Wille
 

I was the head of the LIT Secure and Correct Systems Lab as well as the Institute for Integrated Circuits. My expertise is in the development of design technologies for various application areas – with a particular focus on the design, verification, and test of circuits and systems. I consider conventional as well as emerging computing technologies such as quantum computing, reversible circuits, or microfluidic biochips.

Photo Robert Wille Robert Wille ©Michael Riegler