J. Anthony Hall

Last updated

J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.

Contents

Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included:

In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS). He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering.

Since 2004, Hall has been an independent consultant. He has also been a visiting professor at the University of York. Hall was the founding chair of ForTIA, the Formal Techniques Industry Association.

Selected publications

Related Research Articles

Computer science Study of the foundations and applications of computation

Computer science is the study of algorithmic processes and computational machines. As a discipline, computer science spans a range of topics from theoretical studies of algorithms, computation and information to the practical issues of implementing computing systems in hardware and software. Computer science addresses any computational problems, especially information processes, such as control, communication, perception, learning, and intelligence.

Edsger W. Dijkstra Dutch computer scientist

Edsger Wybe Dijkstra was a Dutch computer scientist, programmer, software engineer, systems scientist, science essayist, and pioneer in computing science. A theoretical physicist by training, he worked as a programmer at the Mathematisch Centrum (Amsterdam) from 1952 to 1962. A university professor for much of his life, Dijkstra held the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin from 1984 until his retirement in 1999. He was a professor of mathematics at the Eindhoven University of Technology (1962–1984) and a research fellow at the Burroughs Corporation (1973–1984). In 1972, he became the first non-American, non-British, and continental European winner of the Turing Award.

Software engineering is the systematic application of engineering approaches to the development of software. Software engineering is a computing discipline.

Michael Anthony Jackson is a British computer scientist, and independent computing consultant in London, England. He is also a visiting research professor at the Open University in the UK.

Jack Dennis

Jack Bonnell Dennis is a computer scientist and Emeritus Professor of Computer Science and Engineering at Massachusetts Institute of Technology.

Peter Pin-Shan Chen is a Taiwanese American computer scientist. He is a (retired) distinguished career scientist and faculty member at Carnegie Mellon University and Professor Emeritus at LSU. He is known for the development of the entity–relationship model in 1976.

Tom DeMarco is an American software engineer, author, and consultant on software engineering topics. He was an early developer of structured analysis in the 1970s.

Dines Bjørner

Professor Dines Bjørner is a Danish computer scientist.

Friedrich L. Bauer

Friedrich Ludwig "Fritz" Bauer was a German computer scientist and professor at the Technical University of Munich.

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.

He Jifeng is a Chinese computer scientist.

Larry Constantine

Larry LeRoy Constantine is an American software engineer, professor in the Center for Exact Sciences and Engineering at the University of Madeira Portugal, and considered one of the pioneers of computing. He has contributed numerous concepts and techniques forming the foundations of modern practice in software engineering and applications design and development.

Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.

Randal Bryant American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He currently teaches course in computer systems with Professor David R. O'Hallaron. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014.

Stephen J. Mellor is a British computer scientist, developer of the Shlaer–Mellor method and Executable UML, and signatory to the Agile Manifesto.

Prof. Martyn Thomas CBE FREng FIET FRSA is a British independent consultant and software engineer.

Hyuck M. Kwon is a professor in Electrical Engineering and Computer Science at Wichita State University, Wichita, Kansas. His research focuses on wireless communications, CDMA, and MIMO.

Carlo Ghezzi is a professor and chair of software engineering at the Politecnico di Milano, Italy and an adjunct professor at the Università della Svizzera italiana (USI), Switzerland. At the Politecnico, he is the Rector's Delegate for research; he has been department chair, head of the PhD program, member of the academic senate and of the board of governors of Politecnico.

Vijay Vaishnavi

Vijay K. Vaishnavi is a noted researcher and scholar in the computer information systems field with contributions mainly in the areas of design science research, software engineering, and data structures & algorithms, authoring over 150 publications including seven books in these and related areas, and co-owning a patent. He is currently Professor Emeritus at the Department of Computer Information Systems, Georgia State University. He is Senior Editor Emeritus of MIS Quarterly and is on the editorial boards of a number of other major journals. His research has been funded by the National Science Foundation (NSF) as well as by the industry.

Marie-Claude Gaudel French mathematician and computer scientist

Marie-Claude Gaudel is a French computer scientist. She is a professor emerita at the University of Paris-Sud. She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science. Gaudel is still active in professional societies.

References