Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia.

Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor Li7st auf.

Mila Majster Cederbaum ( * 1949) ist eine Hochschullehrerin an der Ludwig-Maximilians-Universität München im Institut für Informatik. Sie war außerdem 1984 die erste Lehrstuhlinhaberin der Informatik an der Universität Mannheim.

Mila Majster Cederbaum arbeitete im Institut der Informatik an der Universität Mannheim. 1984, mit nur 35 Jahre, wurde sie dort zur ersten weiblichen Lehrstuhlinhaberin der Informatik ernannt.

Sie sprach zudem darüber, dass sie sich an der Universität Mannheim häufig gegen ihre männlichen Kollegen durchsetzen musste:" Bei Gruppenarbeiten wurde mir von Dozenten unterstellt, ich schreibe meinen Namen nur mit aufs Papier. Als ich zur Dekanin ernannt wurde, ist der Respekt jedoch deutlich gewachsen." ^[1]

Des Weiteren ist sie seit 1999 Mitglied im Senat der Universität Mannheim.

Seit vielen Jahren unterstützt sie die Studienstiftung des Deutschen Volkes als Jurorin. Außerdem war sie fünf Jahre lang ein Mitglied der Senatskommission zur Förderung der gleichberechtigten Entfaltung von Frauen in Forschung und Lehre. Darüber hinaus ist sie auch noch ein Mitglied der GIBU (Beirat der Universitätsprofessoren) ^[2]

Heute arbeitet sie an der Ludwig-Maximilians-Universität München, ebenfalls im Institut für Informatik.

Sie recherchiert besonders in den Bereichen: Prinzipien der Computersprache, Spezifikation und Verifikation der reaktiven Systeme und im Bereich der Bioinformatik. ^[3]

Mila Majster Cederbaum arbeitet an einigen Werken mit und hat etwa um die 77 Artikel/ Konferenzpapiere veröffentlicht.^[4]

Majster-Cederbaum, Mila; Semmelrock, Nils: A basis for compositionally ensuring safety properties and its connection to relational algebraic operators. In: Science of Computer Programming 98, S. 516–530.

Lambertz, Christian; Majster-Cederbaum, Mila: Efficient deadlock analysis of component-based software architectures. In: Science of Computer Programming 78 (12), S. 2488–2510.

Majster-Cederbaum, Mila; Semmelrock, Nils: A basis for compositionally ensuring safety properties and its connection to relational algebraic operators. In: Science of Computer Programming 98, S. 516–530.

Majster-Cederbaum, Mila; Semmelrock, Nils: Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete. In: Electron. Proc. Theor. Comput. Sci. 138, S. 1–11.

Martens, Moritz; Majster-Cederbaum, Mila: Deadlock-freedom in component systems with architectural constraints. In: Form Methods Syst Des 41 (2), S. 129–177.

Wolf, Verena; Baier, Christel; Majster-Cederbaum, Mila: Trace Semantics for Stochastic Systems with Nondeterminism. In: Electronic Notes in Theoretical Computer Science 164 (3), S. 187–204.

Zhan, Naijun; Majster-Cederbaum, Mila: On hierarchically developing reactive systems. In: Information and Computation 208 (9), S. 997–1019.

Majster-Cederbaum, Mila. (2007). Infinite Possible Worlds for Process Algebras

Lambertz, Christian; Majster-Cederbaum, Mila (Hg.): Analyzing Component-Based Systems on the Basis of Architectural Constraints (7141).

Lambertz, Christian; Majster-Cederbaum, Mila (Hg.) (2010): Port Protocols for Deadlock-Freedom of Component Systems (38).

Freiling, Felix C.; Lambertz, Christian; Majster-Cederbaum, Mila (Hg.): Modular Consensus Algorithms for the Crash-Recovery Model.

Martens, Moritz; Majster-Cederbaum, Mila (Hg.): Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation.

Majster-Cederbaum, Mila; Martens, Moritz (Hg.): Compositional analysis of deadlock-freedom for tree-like component architectures.

Gössler, G. & Graf, Susanne & Majster-Cederbaum, Mila & Martens, M. & Sifakis, Joseph. (2006). Ensuring Properties of Interaction Systems by Construction.

Majster-Cederbaum, Mila & Semmelrock, Nils & Wolf, Verena. (2007). Interaction Models for Biochemical Reactions.. 480-486.

1. ↑ Die erste... - Universität Mannheim - University of Mannheim. Abgerufen am 27. November 2022. 
2. ↑ Prorektoren der Universität Mannheim ohne Gegenstimmen gewählt. Abgerufen am 27. November 2022. 
3. ↑ Prof. Dr. Mila Majster-Cederbaum, LMU Munich. Abgerufen am 27. November 2022. 
4. ↑ Mila Majster Cederbaum. In: www.researchgate.net. Research Gate, abgerufen am 27. November 2022.