|
Natarajan Shankar
Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory. Education Shankar received his Ph.D. degree in computer science, under advisors Robert S. Boyer and J Strother Moore, from the University of Texas at Austin in 1986. His Ph.D. thesis was published as the book "Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press in 1994. Career Shankar initially served as a research associate at Stanford University, from 1986 to 1988. In 1989, he joined SRI International's Computer Science Laboratory. While at SRI, he has used the Boyer–Moore theorem prover to prove metatheorems such as the tautology theorem, Godel's incompleteness theorem and the Church-Rosser theorem. He has contributed to the development of automated reasoning technology, deductive systems and computational engines, including the Prototype Verification System. In 2009, he was named an SRI Fellow. The f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
India
India, officially the Republic of India ( Hindi: ), is a country in South Asia. It is the seventh-largest country by area, the second-most populous country, and the most populous democracy in the world. Bounded by the Indian Ocean on the south, the Arabian Sea on the southwest, and the Bay of Bengal on the southeast, it shares land borders with Pakistan to the west; China, Nepal, and Bhutan to the north; and Bangladesh and Myanmar to the east. In the Indian Ocean, India is in the vicinity of Sri Lanka and the Maldives; its Andaman and Nicobar Islands share a maritime border with Thailand, Myanmar, and Indonesia. Modern humans arrived on the Indian subcontinent from Africa no later than 55,000 years ago., "Y-Chromosome and Mt-DNA data support the colonization of South Asia by modern humans originating in Africa. ... Coalescence dates for most non-European populations average to between 73–55 ka.", "Modern human beings—''Homo sapiens''—originated in Africa. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SRI International People
Shri (; , ) is a Sanskrit term denoting resplendence, wealth and prosperity, primarily used as an honorific. The word is widely used in South and Southeast Asian languages such as Marathi, Malay (including Indonesian and Malaysian), Javanese, Balinese, Sinhala, Thai, Tamil, Telugu, Hindi, Nepali, Malayalam, Kannada, Sanskrit, Pali, Khmer, and also among Philippine languages. It is usually transliterated as ''Sri'', ''Sree'', ''Shri'', Shiri, Shree, ''Si'', or ''Seri'' based on the local convention for transliteration. The term is used in Indian subcontinent and Southeast Asia as a polite form of address equivalent to the English "Mr." in written and spoken language, but also as a title of veneration for deities or as honorific title for local rulers. Shri is also another name for Lakshmi, the Hindu goddess of wealth, while a ''yantra'' or a mystical diagram popularly used to worship her is called Shri Yantra. Etymology Monier-Williams Dictionary gives the meaning of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indian Computer Scientists
Indian or Indians may refer to: Peoples South Asia * Indian people, people of Indian nationality, or people who have an Indian ancestor ** Non-resident Indian, a citizen of India who has temporarily emigrated to another country * South Asian ethnic groups, referring to people of the Indian subcontinent, as well as the greater South Asia region prior to the 1947 partition of India * Anglo-Indians, people with mixed Indian and British ancestry, or people of British descent born or living in the Indian subcontinent * East Indians, a Christian community in India Europe * British Indians, British people of Indian origin The Americas * Indo-Canadians, Canadian people of Indian origin * Indian Americans, American people of Indian origin * Indigenous peoples of the Americas, the pre-Columbian inhabitants of the Americas and their descendants ** Plains Indians, the common name for the Native Americans who lived on the Great Plains of North America ** Native Americans in the Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carolyn Talcott
Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International. She is currently the co-editor-in-chief of '' Higher-Order and Symbolic Computation''. Talcott married John McCarthy (computer scientist) and had a son. Early life and education Carolyn was born to Howard Talcott and Harriet Louise Mitchell who were Presbyterians from Idaho. Talcott earned a Ph.D. from Stanford University in 1985. Her dissertation, ''The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation'', was supervised by Solomon Feferman. Awards and memberships Talcott was named an SRI Fellow in 2011. She is a member of the Association for Computing Machinery and the Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an internatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patrick Lincoln
Patrick Denis Lincoln (born 1964) is an American computer scientist leading the Computer Science Laboratory (CSL) at SRI International. Educated at MIT and then Stanford, he joined SRI in 1989 and became director of the CSL around 1998. He previously held positions with ETA Systems, Los Alamos National Laboratory, and MCC. Education and early career Lincoln received a bachelor of science in electrical engineering and computer science from the Massachusetts Institute of Technology in 1986, with the thesis "DisCoRd distributed combinator reduction, automatic parallelizing compiler" under thesis advisor Rishiyur Nikhil. While pursuing that degree, he held a position in ETA Systems' Software Division from 1982 to 1983; one at Los Alamos National Laboratory, Division C-10 from 1984 to 1985. After graduation, he held a position with MCC from 1986 to 1988 in their Software Technology and Advanced Computer Architecture departments. Lincoln then attended Stanford University, from 1988 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Rushby
John Rushby (born 1949) is a British computer scientist now based in the United States and working for SRI International. He previously taught and did research for Manchester University and later Newcastle University. Early life and education John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at Newcastle University in the United Kingdom, gaining his computer science BSc there in 1971 and his PhD in 1977. Career From 1974 to 1975, he was a lecturer in the Computer Science Department at Manchester University. From 1979 to 1982, he was a research associate in the Department of Computing Science at the Newcastle University. Rushby joined SRI International in Menlo Park, California in 1983. Currently he is Program Director for ''Formal Methods and Dependable Systems'' in the Computer Science Laboratory at SRI. He developed the Prototype Verification System, which is a theorem prover. Awards and memberships Rushby was the recipien ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter G
Peter may refer to: People * List of people named Peter, a list of people and fictional characters with the given name * Peter (given name) ** Saint Peter (died 60s), apostle of Jesus, leader of the early Christian Church * Peter (surname), a surname (including a list of people with the name) Culture * Peter (actor) (born 1952), stage name Shinnosuke Ikehata, Japanese dancer and actor * ''Peter'' (album), a 1993 EP by Canadian band Eric's Trip * ''Peter'' (1934 film), a 1934 film directed by Henry Koster * ''Peter'' (2021 film), Marathi language film * "Peter" (''Fringe'' episode), an episode of the television series ''Fringe'' * ''Peter'' (novel), a 1908 book by Francis Hopkinson Smith * "Peter" (short story), an 1892 short story by Willa Cather Animals * Peter, the Lord's cat, cat at Lord's Cricket Ground in London * Peter (chief mouser), Chief Mouser between 1929 and 1946 * Peter II (cat), Chief Mouser between 1946 and 1947 * Peter III (cat), Chief Mouser between ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boyer–Moore Theorem Prover
Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2. History The system was developed by Robert S. Boyer and J Strother Moore, professors of computer science at the University of Texas, Austin. They began work on the system in 1971 in Edinburgh, Scotland. Their goal was to make a fully automatic, logic-based theorem prover. They used a variant of Pure LISP as the working logic. Definitions Definitions are formed as totally recursive functions, the system makes extensive use of rewriting and an induction heuristic that is used when rewriting and something that they called symbolic evaluation fails. The system was built on top of Lisp and had some very basic knowledge in what was called "Ground-zero", the state of the machine after bootstrapping it onto a Common Lisp implementation. This is an example of the proof of a simple arithmetic theorem. The function is part of the (called a "satellite") and is defined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
