|
Madhavan Mukund
Madhavan Mukund is the Director and a professor of computer science at Chennai Mathematical Institute, a research and education institute in Chennai, India. He has served as President of Indian Association for Research in Computing Science (IARCS) from 2011 to 2017 and President of Association for Computing Machinery (India Council) from 2016 to 2018. He was elected Fellow of the Indian Academy of Sciences in 2018. He has been the National Coordinator of the Indian Computing Olympiad since 2001. He did his B.Tech. in Computer Science and Engineering at Indian Institute of Technology, Bombay in 1986, and his PhD in Computer Science at Aarhus University in Denmark in 1992. His research interests include models for concurrent and distributed systems, formal verification and distributed algorithms A distributed algorithm is an algorithm designed to run on computer hardware constructed from interconnected processors. Distributed algorithms are used in different application areas of d ... [...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. Then, int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indian Computing Olympiad
The Indian Computing Olympiad is an annual computer programming competition that selects four participants to represent India at the International Olympiad in Informatics. ICO is conducted by the Indian Association for Research in Computing Science. The competition is held in three stages. For the first stage, students may compete in the Zonal Computing Olympiad (a programming contest), or the Zonal Informatics Olympiad (a paper-based algorithmic test). The following two rounds are the Indian National Olympiad in Informatics and the International Olympiad in Informatics Training Camp. Stages of competition Students first attempt the Zonal Informatics Olympiad (ZIO), which is a written paper. Most of the questions can be solved with the use of algorithmic techniques, although logic is usually sufficient. Alternatively, students can attempt the Zonal Computing Olympiad (ZCO), an online programming contest. In 2017, students can attempt both the ZIO and ZCO. The second round of comp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aarhus University Alumni
Aarhus (, , ; officially spelled Århus from 1948 until 1 January 2011) is the second-largest city in Denmark and the seat of Aarhus municipality, Aarhus Municipality. It is located on the eastern shore of Jutland in the Kattegat sea and approximately northwest of Copenhagen. The largest city in Jutland, Aarhus anchors the Central Denmark Region and the statistical region ' (''LØ'') (lit.: Province East Jutland). The LØ is the second most populous statistical region in Denmark with an estimated population of 903,974 (). Aarhus Municipality defines the greater Aarhus area as itself and eight adjacent municipalities totalling 952,824 inhabitants () which is roughly analogous to the municipal and commercial collaboration Business Region Aarhus. The city proper, with an estimated population of 285,273 inhabitants (), ranks as the List of cities and towns in Denmark, 2nd-largest city in Denmark. Aarhus dates back to at least the late 8th century and is among the oldest cities ... [...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 U ... [...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] |
Year Of Birth Missing (living People)
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite-state machines, labelled transition systems, Petri nets, vector addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributed Computing
A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed computing is a field of computer science that studies distributed systems. The components of a distributed system interact with one another in order to achieve a common goal. Three significant challenges of distributed systems are: maintaining concurrency of components, overcoming the clock synchronization, lack of a global clock, and managing the independent failure of components. When a component of one system fails, the entire system does not fail. Examples of distributed systems vary from service-oriented architecture, SOA-based systems to massively multiplayer online games to peer-to-peer, peer-to-peer applications. A computer program that runs within a distributed system is called a distributed program, and ''distributed programming' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indian Academy Of Sciences
The Indian Academy of Sciences, Bangalore was founded by Indian Physicist and Nobel Laureate C. V. Raman, and was registered as a society on 24 April 1934. Inaugurated on 31 July 1934, it began with 65 founding fellows. The first general meeting of Fellows, held on the same day, elected Raman as president, and adopted the constitution of the Academy. Objectives The aims of the Academy are to: * Promote progress in pure and applied branches of science. * Encourage important research in various branches of science. * Represent the scientific work of India internationally. * Publish work relating to scientific research initiated by the Academy, Provincial Academies, Universities and Government Scientific Institutions. * Organise meetings of Committees and Conferences to discuss papers submitted to the Academy. * Advise Government and other bodies on scientific and other matters referred to the Academy. Publications The first issue of the Academy Proceedings appeared in two ... [...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 Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, 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 computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indian Association For Research In Computing Science
The Indian Association for Research in Computing Science (IARCS) provides leadership in computing within India. Its members are leading researchers in Computer Science drawn from major institutions from all over the country. Madhavan Mukund is the President of the association as of 2016. IARCS aims at promoting excellence in Computing. It does so by facilitating interaction amongst its members, acting as a bridge between Academia and Industry and finally by elevating the quality of Computer Science education within the country. IARCS runs the hugely successful and the longest running conference in computer science in India; International Conference on Foundations of Software Technology and Theoretical Computer Science. The FSTTCS conference is in its 26th year. Since its inception in 1981, the conference (held in the month of December) has helped in nurturing and creating an environment for exchange of ideas amongst the research community in the country by attracting top scien ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
