Related Research Articles
Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.
Sir Charles Antony Richard Hoare also known as Tony Hoare or by his initials C. A. R. Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the concept of design by contract.
Per Brinch Hansen was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.
Organic computing is computing that behaves and interacts with humans in an organic manner. The term "organic" is used to describe the system's behavior, and does not imply that they are constructed from organic materials. It is based on the insight that we will soon be surrounded by large collections of autonomous systems, which are equipped with sensors and actuators, aware of their environment, communicate freely, and organize themselves in order to perform the actions and services that seem to be required.
The actor model in computer science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation. In response to a message it receives, an actor can: make local decisions, create more actors, send more messages, and determine how to respond to the next message received. Actors may modify their own private state, but can only affect each other indirectly through messaging.
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
Harlan D. Mills was professor of computer science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida. Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career.
Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.
Akinori Yonezawa(born June 17, 1947) is a Japanese computer scientist. Professor Emeritus of the University of Tokyo. Received Ph.D. from the Massachusetts Institute of Technology (MIT). Currently, a senior fellow at the Chiba Institute of Technology, Software Technology and Artificial Intelligence Research Center. Former member of the Science Council of Japan. Specializes in object-oriented programming languages, distributed computing and information security. From its beginning, he contributed to the promotion and development of object-oriented programming, which is the basis of programming languages most commonly used today, and served as a program committee member and chairman of the main international conferences OOPSLA and ECOOP. At the same time, he is internationally known as a pioneer of the concepts and models of “concurrent/parallel objects". In software systems constructed based on concurrent/parallel objects, information processing and computation proceed by concurrent/parallel message passing among a large number of objects. Yonezawa's concurrent (parallel) objects are influenced by Actors, the concept of which was proposed by Carl Hewitt at MIT's AI Lab in the early 1970s and later rigorously formulated by Gul Agha. However, concurrent objects and actors are fundamentally different. An actor is an object that does not have a "state," whereas Yonezawa's concurrent (parallel) object can have a persistent state. For this reason, concurrent (parallel) objects are often used in implementing large parallel processing software systems. Large-scale software systems built and put into practical use based on concurrent (parallel) objects include an online virtual world system Second Life, social networking services such as Facebook and X (Twitter), and large-scale molecular dynamics simulation systems such as NAMD.
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."
The Knowledge Based Software Assistant (KBSA) was a research program funded by the United States Air Force. The goal of the program was to apply concepts from artificial intelligence to the problem of designing and implementing computer software. Software would be described by models in very high level languages (essentially equivalent to first order logic) and then transformation rules would transform the specification into efficient code. The air force hoped to be able to generate the software to control weapons systems and other command and control systems using this method. As software was becoming ever more critical to USAF weapons systems it was realized that improving the quality and productivity of the software development process could have significant benefits for the military, as well as for information technology in other major US industries.
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.
Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He heads the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He authored a number of scientific books and served as editor-in-chief of the journal Acta Informatica and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.
Tanja Lange is a German cryptographer and number theorist at the Eindhoven University of Technology. She is known for her research on post-quantum cryptography.
The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according to the International Federation for Information Processing Working Group on Concurrency Theory. The conference is organised annually since 1988. Since 2015, papers presented at CONCUR are published in the LIPIcs–Leibniz International Proceedings in Informatics, a "series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl –Leibniz Center for Informatics". Before, CONCUR papers were published in the series Lecture Notes in Computer Science.
Sven Apel is a German computer scientist and professor of software engineering at Saarland University.
Corinna Bath is a German computer scientist and university lecturer. After holding the Maria Goeppert-Mayer Professorship for Gender, Technology and Mobility from 2012 to 2022, she has since been Head of the Coordination and Research Centre of the Women's Studies and Gender Studies Network at the University of Duisburg-Essen.
References
- ↑ "Informatik: Emeritierte/Im Ruhestand befindliche Professoren", Institute der Carl-Friedrich-Gauß-Fakultät (in German), Technical University of Braunschweig, retrieved 2021-10-17
- ↑ Professorin Ursula Goltz koordiniert neuen DFG-Schwerpunkt für langlebige Softwaresysteme [Professor Ursula Goltz coordinates the new DFG focus on durable software systems] (Press release) (in German), Technical University of Braunschweig, 21 April 2011, retrieved 2021-10-17
- ↑ Ursula Goltz at the Mathematics Genealogy Project
- ↑ Van Glabbeek, Rob, Action refinement , retrieved 2021-10-17
- ↑ Contact the Arden2ByteCode team, Technical University of Braunschweig, retrieved 2021-10-17
- ↑ "Ursula Goltz", Concurrency Mailing List, retrieved 2024-11-01
| International | |
|---|---|
| National | |
| Academics | |
