|
Marktoberdorf Summer School
The International Summer School Marktoberdorf is an annual two-week summer school for international computer science and mathematics postgraduate students and other young researchers, held annually since 1970 in Marktoberdorf, near Munich in southern Germany. Students are accommodated in the boarding house of a local high school, Gymnasium Marktoberdorf. Proceedings are published when appropriate. Status This is a summer school for theoretical computer science researchers, with some directors/co-directors who are Turing Award winners (the nearest equivalent to the Nobel Prize in computer science). The summer school is supported as an Advanced Study Institute of the NATO Science for Peace and Security Program. It is administered by the Faculty of Informatics at the Technical University of Munich. Directors Past academic directors and co-directors include: *Manfred Broy *Robert Lee Constable *Javier Esparza *Orna Grumberg *David Harel *Tony Hoare* *Orna Kupferman *Tobias Nipkow ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manfred Broy
Manfred Broy (born 10 August 1949, Landsberg am Lech) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Biography Broy gained his Doctor of Philosophy (Ph.D.) in 1980 at the chair of Friedrich L. Bauer on the subject of transformation of programs running in parallel ''(Transformation parallel ablaufender Programme)''. In 1983, he founded the faculty of mathematics and computer science at the University of Passau, which dean he was until 1986. In 1989, he went to the Technical University of Munich (TUM), where in 1992, he became the founding dean of the informatics faculty, which until then was an institute within the faculty of mathematics and informatics. Since then he has been teaching at the Technical University of Munich. In 2004, he was elected as a fellow of the Gesellschaft für Informatik and in 2007, he won the Konrad Zuse Medal. He is also editor of the International Jou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shmuel Sagiv
Mooly (Shmuel) Sagiv (born 11 April 1959, Israel) is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts. Sagiv's research spans areas including static program analysis, shape analysis, abstract interpretation, logic, theorem proving, programming languages, formal methods, data-flow analysis, program slicing, network verification, and smart contracts. His most cited work is on shape analysis via three-valued logic, implemented in the TVLA system. For his work, Sagiv was awarded the Wolf Foundation Fellowship (1989), IBM Outstanding Technical Achievement Award (1993), Friedrich Wilhelm Bessel Research Award (2002), IBM Faculty Awards (2000-2005), Chair of Software Systems in the School of Computer Science, Tel Aviv University (2008), ACM SIGSOFT Retrospective Impact Paper ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Müller (computer Scientist)
Peter Muller, Peter Müller or Peter Mueller may refer to: * Peter Müller (ice hockey) (1896–?), Swiss ice hockey player * Peter Muller (architect) (born 1927), architect with works in Bali, Sydney, South Australia and Melbourne * Peter Müller (boxer) (born 1928), Swiss boxer * Peter Müller (footballer, born 1946), East German footballer * Peter Müller (footballer, born 1948), West German footballer * Peter Muller (Canadian football) (born 1951), former tight end for the Toronto Argonauts * Peter Mueller (speed skater) (born 1954), former US speed skater and speed skating coach * Peter Müller (politician) (born 1955), German politician and judge * Peter Müller (skier) (born 1957), Swiss alpine skier competing in the 1980s * Peter Müller (co-driver) (born 1962), Austrian rally co-driver * Peter Müller (footballer, born 1969), German footballer * Pete Muller (photographer) (born 1982), news photographer * Peter Mueller (ice hockey) (born 1988), American ice hockey player, p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Pretschner
Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Aleksander and Aleksandr. Related names and diminutives include Iskandar, Alec, Alek, Alex, Alexandre, Aleks, Aleksa and Sander; feminine forms include Alexandra, Alexandria, and Sasha. Etymology The name ''Alexander'' originates from the (; 'defending men' or 'protector of men'). It is a compound of the verb (; 'to ward off, avert, defend') and the noun (, genitive: , ; meaning 'man'). It is an example of the widespread motif of Greek names expressing "battle-prowess", in this case the ability to withstand or push back an enemy battle line. The earliest attested form of the name, is the Mycenaean Greek feminine anthroponym , , (/Alexandra/), written in the Linear B syllabic script. Alaksandu, alternatively called ''Alakasandu'' or ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Amir Pnueli
Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967). His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.. He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doron Peled
Doron A. Peled (born 1962) ( he, דורון אנשל פלד) is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking (MIT Press, 1999) and the author of the book Software Reliability Methods (Springer Verlag, 2000). Biography Doron Peled was born in 1962 in Haifa. He obtained his D.Sc in computer science from the Technion – Israel Institute of Technology in 1991 under the supervision of Prof. Shmuel Katz and Prof. Amir Pnueli on verification methods in temporal logic. After a post-doctoral year at the University of Warwick, he joined Bell Labs, where he worked between 1992 and 2001. He was then appointed as an associated professor at the University of Texas at Austin and after a year to a professor and chair of software engineering at the University of Warwick. In 2006 Doron returned t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tobias Nipkow
Tobias Nipkow (born 1958) is a German computer scientist. Career Nipkow received his Diplom (MSc) in computer science from the Department of Computer Science of the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987. He worked at MIT from 1987, changed to Cambridge University in 1989, and to Technical University Munich in 1992, where he was appointed professor for programming theory. He is chair of the Logic and Verification group since 2011. He is known for his work in interactive and automatic theorem proving, in particular for the Isabelle proof assistant; he was the editor of the '' Journal of Automated Reasoning'' up to January 1, 2021. Moreover, he focuses on programming language semantics, type systems and functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in whi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orna Kupferman
Orna Kupferman is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea in 2016. Early life and education Kupferman served in the Israel Defense Force from 1986 to 1988. She earned her PhD at the Technion in 1995, where she was supervised by Orna Grumberg. In 1996 Kupferman joined the technical staff at Bell Labs. She moved to University of California, Berkeley in 1997, working with Thomas Henzinger. Research and career In 1998 Kupferman was appointed a Senior Lecturer at the Hebrew University of Jerusalem. She acted as Head of Computer Science from 2005 to 2008, and as Head of Engineering between 2008 and 2011. She was made a Full Professor in 2008. In 2012 Kupferman was awarded a European Research Council grant to study high-quality reactive systems. She is developing formal verification and synthesis computer systems for both hardware and software. She uses automata theory approaches to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tony Hoare
Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) 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. Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. He is also credited with development (and later criticism) of the null pointer, having introduced it in the ALGOL family of languages. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Harel
David Harel ( he, דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Biography Harel is best known for his work on Dynamic logic (modal logic), dynamic logic, computability, database theory, software engineering and modelling biological systems. In the 1980s he invented the graphical language of Statecharts for specifying and programming reactive systems, which has been adopted as part of the Unified Modeling Language, UML standard. Since the late 1990s he has concentrated on a scenario-based approach to programming such systems, launched by his co-invention (with W. Damm) of Message sequence chart, Live Sequence Charts. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orna Grumberg
Orna Grumberg ( he, ארנה גרימברג; born April 30, 1952 in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book ''Model Checking'' (MIT Press, 1999). In 2013 Prof. Grumberg was elected to the Academia Europaea. In 2015 she was named a Fellow of the Association for Computing Machinery A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ... "for contributions to research in automated formal verification of hardware and software systems.". References {{DEFAULTSORT:Grumberg, Orna 1952 births Living people Israeli computer scientists I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
