Related Research Articles
Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines. Though more often considered an academic discipline, computer science is closely related to computer programming.
Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract.
James Reginald Cordy is a Canadian computer scientist and educator who is Professor Emeritus in the School of Computing at Queen's University. As a researcher he is most recently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis and machine intelligence. He has a long record of previous work in programming languages, compiler technology, and software architecture.
Per Brinch Hansen was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.
The University of Bremen is a public university in Bremen, Germany, with approximately 23,500 people from 115 countries. It is one of 11 institutions which were successful in the category "Institutional Strategies" of the Excellence Initiative launched by the Federal Government and the Federal States in 2012. The university was also successful in the categories "Graduate Schools" and "Clusters of Excellence" of the initiative.
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.
TU9 German Universities of Technology e. V. is the alliance of nine leading Technical Universities in Germany. The current president of TU9 is Wolfram Ressel, rector of the University of Stuttgart.
Leonhard Wolfgang Bibel is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in the German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.
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.
Arden2ByteCode is a free Arden Syntax compiler. The compiler translates HL7 International Arden Syntax for Medical Logic Modules (MLMs) to Java Bytecode. The Arden Syntax is a standardized language that can be used to express medical knowledge. Arden2ByteCode runs on the Java Virtual Machine and can be used on a wide variety of platforms.
Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He is heading the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal are methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Prof. Olderog has been 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.
The Department of Computer Science is a department of the Technische Universität Darmstadt. With a total of 36 professorships and about 3,700 students in 12 study courses, the Department of Computer Science is the largest department of the university. The department shapes the two research profile areas "Cybersecurity (CYSEC)" and "Internet and Digitization (InDi)" of the university.
Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University, Stony Brook, New York.
Sven Apel is a German computer scientist and professor of software engineering at Saarland University.
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
| International | |
|---|---|
| National | |
| Academics | |
