Related Research Articles
Stephen Arthur Cook is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.
Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. One well known subject classification system for computer science is the ACM Computing Classification System devised by the Association for Computing Machinery.
Michael Oser Rabin is an Israeli mathematician, computer scientist, and recipient of the Turing Award.
Jeffrey David Ullman is an American computer scientist and the Stanford W. Ascherman Professor of Engineering, Emeritus, at Stanford University. His textbooks on compilers, theory of computation, data structures, and databases are regarded as standards in their fields. He and his long-time collaborator Alfred Aho are the recipients of the 2020 Turing Award, generally recognized as the highest distinction in computer science.
Nitin Saxena is an Indian scientist in mathematics and theoretical computer science. His research focuses on computational complexity.
Nancy Ann Lynch is a computer scientist affiliated with the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory.
Christos Charilaos Papadimitriou is a Greek-American theoretical computer scientist and the Donovan Family Professor of Computer Science at Columbia University.
The Indian Institute of Technology Madras is a public technical university located in Chennai, Tamil Nadu, India. It is one of the eight public Institutes of Eminence of India. As an Indian Institute of Technology (IIT), IIT Madras is also recognised as an Institute of National Importance.
Arto Kustaa Salomaa is a Finnish mathematician and computer scientist. His research career, which spans over forty years, is focused on formal languages and automata theory.
Arvind Mithal, known mononymously as Arvind, was an Indian computer scientist, the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He was a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.
Rajeev Motwani was an Indian-American professor of computer science at Stanford University whose research focused on theoretical computer science. He was a special advisor to Sequoia Capital. He was a winner of the Gödel Prize in 2001.
Albert Ronald da Silva Meyer is Hitachi America Professor emeritus of computer science at Massachusetts Institute of Technology (MIT).
Supratik Chakraborty is an Indian computer scientist. He is currently Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay.
Indian Institute of Technology Tirupati is an autonomous engineering and technology education institute located in Tirupati, Andhra Pradesh. Initially mentored by IIT Madras, Tirupati is a 3rd generation IIT is located in Yerpedu. The institute has a size of 539 acres, including a proposed research park. The Foundation stone for IIT Tirupati was laid by the Union Minister Smriti Irani and the then Union Minister and former Vice President of India M.Venkaiah Naidu and the then chief minister of Andhra Pradesh N. Chandrababu Naidu.
Oscar H. Ibarra is a Filipino-American theoretical computer scientist, prominent for work in automata theory, formal languages, design and analysis of algorithms and computational complexity theory. He was a Professor of the Department of Computer Science at the University of California-Santa Barbara until his retirement in 2011. Previously, he was on the faculties of UC Berkeley (1967-1969) and the University of Minnesota (1969-1990). He is currently a Distinguished Professor Emeritus at UCSB.
Pushpak Bhattacharyya is a computer scientist and a professor at Computer Science and Engineering Department, IIT Bombay. He served as the director of Indian Institute of Technology Patna from 2015 to 2021. He is regarded as the Godfather of NLP in India, mentioned by Nandan Nilekani, Co-founder and non-executive chairman of Infosys at the Inaugural event of Nilekani Centre at AI4Bharat, IIT Madras. He is a past president of Association for Computational Linguistics (2016–17), and Ex-Vijay and Sita Vashee Chair Professor He currently heads the Natural language processing research group Center For Indian Language Technology (CFILT) lab at IIT Bombay.
Sunita Sarawagi is an Indian computer scientist known for her research in databases, data mining, and machine learning, including the use of natural language processing to extract structured data from text. She is Institute Chair Professor of Computer Science and Engineering at IIT Bombay.
Srinivasa Chakravarthy is an Indian scientist doing research in the field of biotechnology. He is working as a professor at the Indian Institute of Technology, Chennai. He established theories of communication that bridge mathematics and neuroscience. He is actively doing research in the field of Computational Neuroscience.
Meena Bhaskar Mahajan is an Indian theoretical computer scientist and a professor at the Institute of Mathematical Sciences, Chennai. Her research includes publications in parameterized complexity, algebraic circuit complexity, and algorithms for planar graphs.
References
- 1 2 "Kamala Krithivasan", Member Profile, Department of Computer Science & Engineering, Indian Institute of Technology Madras, retrieved 2024-10-29
- ↑ Mahalingam, Kalpana; Rama, Raghavan (September 2018), "Theory of computation: P systems. Articles dedicated to Kamala Krithivasan on her 70th birthday, Issue-I", International Journal of Advances in Engineering Sciences and Applied Mathematics, 10 (3): 179–180, doi:10.1007/s12572-018-0233-x
- 1 2 Kamala Krithivasan at the Mathematics Genealogy Project
- ↑ Women Fellows of INAE, Indian Academy of Sciences, retrieved 2024-10-29
