![]() |
Donald T. Sannella is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.
Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.
Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal Theoretical Computer Science , and is co-founder and CEO of Contemplate Ltd. His father is Ted Sannella.
In 2014 Sannella was elected a Fellow of the Royal Society of Edinburgh. [1]
Ross John Anderson was a British researcher, author, and industry consultant in security engineering. He was Professor of Security Engineering at the Department of Computer Science and Technology, University of Cambridge where he was part of the University's security group.
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.
Extended ML is a general-purpose, high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends the syntax of ML to include axioms, which do not need to be executable but can rigorously specify the behavior of a program. With this addition, the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal methods in program development and specification, and research into automatic program verification.
J Strother Moore is an American computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his Bachelor of Science (BS) in mathematics at Massachusetts Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.) in computational logic at the University of Edinburgh in Scotland in 1973.
Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is holds the position of Personal Chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.
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.
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
Austin Tate is Emeritus Professor of Knowledge-based systems in the School of Informatics at the University of Edinburgh. From 1985 to 2019 he was Director of AIAI in the School of Informatics at the University of Edinburgh.
Andrew Blake FREng, FRS, is a British scientist, former laboratory director of Microsoft Research Cambridge and Microsoft Distinguished Scientist, former director of the Alan Turing Institute, Chair of the Samsung AI Centre in Cambridge, honorary professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.
Rodney Martineau "Rod" Burstall is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.
Michael E. Auer is a German computer scientist and engineering educator and professor at the Carinthia University of Applied Sciences, Austria.
J. Donald R. de Raadt is a Swedish organizational theorist and Professor Emeritus in Informatics and System Science at Luleå University of Technology.
Joseph Leslie Armstrong was a computer scientist working in the area of fault-tolerant distributed systems. He is best known as one of the co-designers of the Erlang programming language.
Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.
The University of Illinois Department of Computer Science is the academic department encompassing the discipline of computer science at the University of Illinois Urbana-Champaign. According to U.S. News & World Report, both its undergraduate and graduate programs rank in the top five among American universities, and according to Computer Science Open Rankings, the department ranks equally high in placing Ph.D. students in tenure-track positions at top universities and winning best paper awards. The department also ranks in the top two among all universities for faculty submissions to reputable journals and academic conferences, as determined by CSRankings.org. From before its official founding in 1964 to today, the department's faculty members and alumni have contributed to projects including the ORDVAC, PLATO, Mosaic, JavaScript and LLVM, and have founded companies including Siebel Systems, Netscape, Mozilla, PayPal, Yelp, YouTube, and Malwarebytes.
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.
Wenfei Fan is a Chinese-British computer scientist and professor of web data management at the University of Edinburgh. His research investigates database theory and database systems.
Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.
Dragan Gašević is Professor of Learning Analytics at Monash University. He is a researcher in learning analytics and co-developed several software systems such as P3, rBPMN Editor, LOCO-Analyst, OnTask, OVAL, and ProSolo. He is recognized as Australia's field leader in educational technologies.
Michael (Mike) Papazoglou is a Greek/Australian emeritus professor, computer science researcher and author known for his contributions to 'Service-Oriented Computing'. His main research interests include Distributed computing, Database#Database management system, Big data, Service, Domain-specific language and Cloud computing. In more recent years he shifted his focus to pursuing Emerging technologies, Industrial engineering, Smart Applications and Smart Technology Solutions for Healthcare and Manufacturing.