|
IFIP Working Group 2.3
IFIP Working Group 2.3 on Programming Methodology is a working group of the International Federation for Information Processing (IFIP). Its main aim is to increase programmers’ ability to compose programs. To this end, WG2.3 provides an international forum for discussion and cross-fertilization of ideas between researchers in programming methodology and neighboring fields. Generally, members report on work in progress and expect suggestions and advice. Discussions are often broadened by inviting "observers" to meetings as full participants, some of whom eventually become members. Scope This scope of work in WG2.3 was introduced by Edsger W. Dijkstra in meeting 0 (Oslo, Norway, July 1969). *Identification of sources of difficulties encountered in present-day programming; *The interdependence between the formulation of problems and the formulation of programs, and the mapping of relations existing in the world of problems into the relations among programs and their components; *Inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Federation For Information Processing
The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 1960 under the auspices of UNESCO, IFIP is recognised by the United Nations and links some 50 national and international societies and academies of science with a total membership of over half a million professionals. IFIP is based in Laxenburg, Austria and is an international, non-governmental organisation that operates on a non-profit basis. Overview IFIP activities are coordinated by 13 Technical Committees (TCs) which are organised into more than 100 Working Groups (WGs), bringing together over 3,500 ICT professionals and researchers from around the world to conduct research, develop standards and promote information sharing. Each TC covers a particular aspect of computing and related disciplines, as detailed below. IFIP actively promo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George Radin
George Radin (January 22, 1931 – May 21, 2013) was an American computer scientist. He gained his BA in English Literature from Brooklyn College in 1951, followed by an MA from Columbia University in 1952 and an MSc in mathematics from City University of New York in 1961. In 1963 he got a job with the IBM Advanced Computer Utilization Department, where he helped develop the PL/I programming language and design the OS/360 and TSS/360 systems. In 1980, he was appointed an IBM Fellow An IBM Fellow is an appointed position at IBM made by IBM's CEO. Typically only four to nine (eleven in 2014) IBM Fellows are appointed each year, in May or June. Fellow is the highest honor a scientist, engineer, or programmer at IBM can achie .... References American computer scientists IBM Fellows 1931 births 2013 deaths Brooklyn College alumni {{US-compu-bio-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sophia Drossopoulou
Sophia Drossopoulou ( el, Σοφία Δροσοπούλου) is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology. Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java programming language. Her first Ph.D. student was Diomidis Spinellis , birth_date = , birth_place = , death_date = , death_place = , death_cause = , resting_place = , resting_place_coordinates = , other_names = , siglum = , pronounce = , .... She is the daughter of the lawyer and politician Antonis Drossopoulos, and of the author Athena Cacouris ( el, Αθηνά Κακούρη). She is a lecturer for undergraduate students studying Computing and Joint Mathematics and Computing at Imperial College London. She teaches cou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patrick Cousot
Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. Together with his wife Radhia Cousot (1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software ( Astrée), such as found in avionics. In 1999 he received the CNRS Silver Medal and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by Saarland University, Germany. With Radhia Cousot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Cook (computer Scientist)
William Randall Cook (November 21, 1963 – October 27, 2021) was an American computer scientist, who was an associate professor in the Department of Computer Sciences at the University of Texas at Austin. Early life and education Cook was born on November 21, 1963. He received his Ph.D. in computer science from Brown University in 1989. Career Cook's research concentrated on object-oriented programming, programming languages, modeling languages, and the interface between programming languages and databases. Prior to joining UT in 2003, he was chief technology officer and co-founder of Allegis Corporation, where he was chief architect for several award-winning products, including the eBusiness Suite at Allegis, the writer's Solution for Prentice Hall, and the AppleScript AppleScript is a scripting language created by Apple Inc. that facilitates automated control over scriptable Mac applications. First introduced in System 7, it is currently included in all versio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Butler (computer Scientist)
Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England. Biography Butler was born in Ireland. He received his bachelor's degree in computer science from Trinity College, Dublin in 1988. He then took an MSc (1989) and DPhil (1992) at the Programming Research Group of the University of Oxford, working in the area of communicating sequential processes. He then worked for Broadcom in Dublin and at Åbo Akademi University in Turku, Finland with Ralph-Johan Back on refinement calculus. He joined the University of Southampton in 1995 as a lecturer, rising to reader in 2000 and then professor in the same year. He led the Dependable Systems & Software Engineering group at the School of Electronics and Computer Science, University of Southampton Electronics and Computer Science, generally abbreviated "ECS", at the University of Southampton ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rod Burstall
Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the University of Cambridge, then an M.Sc. in operational research at Birmingham University. He worked for three years before returning to Birmingham University to earn a Ph.D. in 1966 with thesis titled ''Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications'' under the supervision of N. A. Dudley and K. B. Haley. Burstall was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative programming language developed at Edinburgh around 1970, and later work with John Darlington on NPL and program transformation and with David MacQueen and Don Sannella on Hope, a precursor to Standard ML, Miranda, and Ha ... [...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 The German Informatics Society (GI) (german: Gesellschaft für Informatik) is a Ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dines Bjørner
__NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology ( UNU-IIST), Macau, in 1992 and was its first director. His ''magnum opus'' on software engineering (three volumes) appeared in 2005/6. To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and rel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ralph-Johan Back
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, ''On the Correctness of Refinement Steps in Program Development''. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. Back is a member of Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial's 1974 paper ''Data Semantics'' laid the foundation for a formal approach to Data Models; although not adopted directly by practitioners, it directly influenced all subsequent models from the Entity-Relationship Model through to RDF. J.-R. Abrial is the father of the Z notation (typically used for formal specification of software), during his time at the Programming Research Group within the Oxford University Computing Laboratory (now Oxford University Department of Computer Science), and later the B-Method (normally used for software development), two formal methods for software engineering. He is the author of ''The B-Book: Assigning Programs to Meanings''. For much of his career he has been an independent consultant. He was an invited professor at ETH Zurich (colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , ima ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morgan & Claypool
IOP Publishing (previously Institute of Physics Publishing) is the publishing company of the Institute of Physics. It provides publications through which scientific research is distributed worldwide, including journals, community websites, magazines, conference proceedings and books. The Institute of Physics is a scientific charity devoted to increasing the practice, understanding and application of physics. Any financial surplus earned by IOP Publishing goes to support physics through the activities of the Institute. The main IOP Publishing headquarters is located in Bristol, England, and the North American headquarters is in Philadelphia, United States. It also has regional offices in, Mexico City, Beijing, Tokyo, Moscow, St. Petersburg, and Sydney. It employs over 400 staff. It was the first physics publisher to publish a journal on the internet. In 1994, the journal ''Classical and Quantum Gravity'' was published as a TeX file. In January 1996 the organization launched the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
