Related Research Articles
Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines. Though more often considered an academic discipline, computer science is closely related to computer programming.
Computational chemistry is a branch of chemistry that uses computer simulations to assist in solving chemical problems. It uses methods of theoretical chemistry incorporated into computer programs to calculate the structures and properties of molecules, groups of molecules, and solids. The importance of this subject stems from the fact that, with the exception of some relatively recent findings related to the hydrogen molecular ion, achieving an accurate quantum mechanical depiction of chemical systems analytically, or in a closed form, is not feasible. The complexity inherent in the many-body problem exacerbates the challenge of providing detailed descriptions of quantum mechanical systems. While computational results normally complement information obtained by chemical experiments, it can occasionally predict unobserved chemical phenomena.
A quantum computer is a computer that takes advantage of quantum mechanical phenomena.
Computational physics is the study and implementation of numerical analysis to solve problems in physics. Historically, computational physics was the first application of modern computers in science, and is now a subset of computational science. It is sometimes regarded as a subdiscipline of theoretical physics, but others consider it an intermediate branch between theoretical and experimental physics — an area of study which supplements both theory and experiment.
Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that could correctly evaluate every statement in Peano arithmetic.
Neuromorphic computing is an approach to computing that is inspired by the structure and function of the human brain. A neuromorphic computer/chip is any device that uses physical artificial neurons to do computations. In recent times, the term neuromorphic has been used to describe analog, digital, mixed-mode analog/digital VLSI, and software systems that implement models of neural systems. The implementation of neuromorphic computing on the hardware level can be realized by oxide-based memristors, spintronic memories, threshold switches, transistors, among others. Training software-based neuromorphic systems of spiking neural networks can be achieved using error backpropagation, e.g., using Python based frameworks such as snnTorch, or using canonical learning rules from the biological learning literature, e.g., using BindsNet.
Giorgi Japaridze is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic.
Shlomi Dolev is a Rita Altura Trust Chair Professor in Computer Science at Ben-Gurion University of the Negev (BGU) and the head of the BGU Negev Hi-Tech Faculty Startup Accelerator.
Michael Fredric Sipser is an American theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of applied mathematics and was the Dean of Science at the Massachusetts Institute of Technology.
Unconventional computing is computing by any of a wide range of new or unusual methods. It is also known as alternative computing.
Ian Philip Grant, DPhil; FRS; CMath; FIMA, FRAS, FInstP is a British mathematical physicist. He is Emeritus Professor of Mathematical Physics at the University of Oxford and was elected a fellow of the Royal Society in 1992. He is a pioneer in the field of computational physics and is internationally recognised as the principal author of GRASP, the General Relativistic Atomic Structure Program.
Les Hatton is a British-born computer scientist and mathematician most notable for his work on failures and vulnerabilities in software controlled systems.
Irene Ann Stegun was an American mathematician at the National Bureau of Standards who edited a classic book of mathematical tables called A Handbook of Mathematical Functions, widely known as Abramowitz and Stegun.
Martyn Amos is a Professor in the Department of Computer and Information Sciences at Northumbria University, working in natural computation, crowd simulation, DNA computing and synthetic biology. He was born in Hexham, Northumberland in 1971, brought up in Heddon-on-the-Wall, and attended school in Ponteland. He graduated with a degree in Computer Science from Coventry University in 1993, before earning a Ph.D. in DNA computing in 1997, from the University of Warwick. He then held a Leverhulme Trust Special Research Fellowship at the University of Liverpool, before taking up permanent academic appointments at the University of Liverpool (2000–2002), the University of Exeter (2002–2006), and Manchester Metropolitan University (2006–2018). He is a Fellow of the British Computer Society (FBCS), and an active contributor to the Speakers for Schools education charity.
Toniann Pitassi is a Canadian-American mathematician and computer scientist specializing in computational complexity theory. She is currently Jeffrey L. and Brenda Bleustein Professor of Engineering at Columbia University and was Bell Research Chair at the University of Toronto.
Robert J. Harrison is a distinguished expert in high-performance computing. He is a professor in the Applied Mathematics and Statistics department and founding Director of the Institute for Advanced Computational Science at Stony Brook University with a $20M endowment. Through a joint appointment with Brookhaven National Laboratory, Professor Harrison has also been named Director of the Computational Science Center and New York Center for Computational Sciences at Brookhaven. Dr. Harrison comes to Stony Brook from the University of Tennessee and Oak Ridge National Laboratory, where he was Director of the Joint Institute of Computational Science, Professor of Chemistry and Corporate Fellow. He has a prolific career in high-performance computing with over one hundred publications on the subject, as well as extensive service on national advisory committees.
The College of Science is a college within the University of Notre Dame. The Dean of the College of Science is Santiago Schnell, appointed Sept 1st, 2021.
Nissim Francez is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.
Warren Bicknell Mori is an American computational plasma physicist and a professor at the University of California, Los Angeles. He was awarded the 2020 James Clerk Maxwell Prize for Plasma Physics for his contributions to the theory and computer simulations of non-linear processes in plasma-based acceleration using kinetic theory, as well as for his research in relativistically intense lasers and beam-plasma interactions.
Vivien Mary Kendon is a British physicist who is Professor of Quantum Technology at the University of Strathclyde. Her research considers quantum computation and the properties of quantum walks. She is the director of the Computational Collaborative Project: Quantum Computing, which looks to develop useful applications of quantum computers.
References
- ↑ Stepney, Susan (2015-01-21). "The real science of science fiction". The Guardian. ISSN 0261-3077 . Retrieved 2024-03-17.
- 1 2 York, University of. "Susan Stepney". University of York. Retrieved 2024-03-17.
- ↑ "Relativistic thermal plasmas | WorldCat.org". search.worldcat.org. Retrieved 2024-03-17.
- 1 2 3 4 "Meet the Editors: Susan Stepney | WorldCat.org". search.worldcat.org. Retrieved 2024-03-17.
- ↑ "Prof Susan Stepney - Computer Science, University of York". www.cs.york.ac.uk. Retrieved 2024-03-15.
- 1 2 Stepney, Susan; Lord, Stephen P. (September 1987). "Formal specification of an access control system". Software: Practice and Experience. 17 (9): 575–593. doi:10.1002/spe.4380170903. ISSN 0038-0644.
- ↑ "Stepney, Nabney: The DeCCo Project Papers". www-users.york.ac.uk. Retrieved 2024-03-17.
- ↑ Adamatzky, Andrew; Kendon, Vivien, eds. (2020). "From Astrophysics to Unconventional Computation". Emergence, Complexity and Computation. 35. doi:10.1007/978-3-030-15792-0. ISBN 978-3-030-15791-3. ISSN 2194-7287.