In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Bernhard Rosenkränzer is the founder and main developer of Ark Linux and a contributor to various other free software projects such as KDE and OpenOffice.org. To many in the Linux community he is known as "Bero", a concatenation of the first two letters of his given and surnames.
Peter Pin-Shan Chen is a Taiwanese-American computer scientist and applied mathematician. He is a retired distinguished career scientist and faculty member at Carnegie Mellon University and Distinguished Chair Professor Emeritus at Louisiana State University. He is known for the development of the entity–relationship model in 1976.
Kevin C. Lano is a British computer scientist.
The Journal of Object Technology is an online scientific journal welcoming manuscripts describing theoretical, empirical, conceptual, and experimental results in the area of software and language engineering, including
Professor Jean-Marc Jézéquel is a French computer scientist.
LISA is a language to describe the instruction set architecture of a processor. LISA captures the information required to generate software tools and implementation hardware of a given processor.
Klaus Henning is a German information scientist. He held the professorship of Information Management in Mechanical Engineering and was director of the Center for Learning and Knowledge Management at RWTH Aachen.
Willibrordus Martinus Pancratius van der Aalst is a Dutch computer scientist and full professor at RWTH Aachen University, leading the Process and Data Science (PADS) group. His research and teaching interests include information systems, workflow management, Petri nets, process mining, specification languages, and simulation. He is also known for his work on workflow patterns.
Dorothea Wagner is a German computer scientist, known for her research in graph drawing, route planning, and social network analysis. She heads the Institute of Theoretical Informatics at the Karlsruhe Institute of Technology.
Sabina Jeschke is a German university professor for information sciences in mechanical engineering at the RWTH Aachen University. As of 10 November 2017, she was named member of the management board of Deutschen Bahn AG for digitalization and technology. She is also the director of the Cybernetics Lab IMA/ZLW & IfU. In the summer semester of 2017, she is on sabbatical leave to develop her research in the area of artificial consciousness, and is involved in building a think tank "Strong Artificial Intelligence" at the Volvo Car Corporation in Göteborg. Since May 2015, Jeschke has been a member of the supervisory board of Körber AG, since April 2012 chairman of the board of VDI Aachen. Beginning of January 2023 she took on an additional position as a senior advisor at Arthur D. Little.
Bernhard Rumpe is a German computer scientist, professor of computer science and head of the Software Engineering Department at the RWTH Aachen University. His research focusses on "technologies, methods, tools ... necessary to create software in the necessary quality that is as efficient and sustainable as possible."
Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning.
Bernhard H. Walke is a pioneer of mobile Internet access and professor emeritus at RWTH Aachen University in Germany. He is a driver of wireless and mobile 2G to 5G cellular radio networks technologies. In 1985, he proposed a local cellular radio network comprising technologies in use today in 2G, 4G and discussed for 5G systems. For example, self-organization of a radio mesh network, integration of circuit- and packet switching, de-centralized radio resource control, TDMA/spread spectrum data transmission, antenna beam steering, spatial beam multiplexing, interference coordination, S-Aloha based multiple access and demand assigned traffic channels, mobile broadband transmission using mm-waves, and multi-hop communication.
John Mylopoulos is a Greek-Canadian computer scientist, Professor at the University of Toronto, Canada, and at the University of Trento, Italy. He is known for his work in the field of conceptual modeling, specifically the development an agent-oriented software development methodology. called TROPOS.
Klaus Pohl is a German computer scientist and Professor for Software Systems Engineering at the University of Duisburg-Essen, mainly known for his work in Requirements Engineering and Software product line engineering.
Ludwig Staiger is a German mathematician and computer scientist at the Martin Luther University of Halle-Wittenberg.
Joost-Pieter Katoen is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.
Martin Grohe is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, descriptive complexity theory, and graph neural networks. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.
Robert Bertrand France was a Jamaica-born American computer scientist.
