|
Prakash Panangaden
Prakash Panangaden is an American/Canadian computer scientist noted for his research in programming language theory, concurrency theory, Markov processes and duality theory. Earlier he worked on quantum field theory in curved space-time and radiation from black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation ( ACM SIGLOG). Biography Prakash Panangaden was born in Pune, India on March 11, 1954. He attended school at the Calcutta Boys' School, Kolkata. He received a PhD from the University of Wisconsin–Milwaukee under the supervision of Leonard Parker. His PhD thesis was on renormalization of interacting fields in curved spacetime. Prakash has successfully graduated 19 students and has in total 41 academic descendants, 8 of whom are women. He joined the Department of Computer Science at Cornell University in 1985 as an Assistant Professor, where he worked in the Nuprl project and co-authored a book. He moved to McGill University a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pune
Pune (; ; also known as Poona, (List of renamed Indian cities and states#Maharashtra, the official name from 1818 until 1978) is one of the most important industrial and educational hubs of India, with an estimated population of 7.4 million As of 2021, Pune Metropolitan Region is the largest in Maharashtra by area, with a geographical area of 7,256 sq km. It has been ranked "the most liveable city in India" several times. Pune is also considered to be the cultural and educational capital of Maharashtra. Along with the municipal corporation area of Pimpri-Chinchwad Municipal Corporation, PCMC, Pune Municipal Corporation, PMC and the three Cantonment Board, cantonment towns of Pune Camp, Camp, Khadki, and Dehu Road, Pune forms the urban core of the eponymous Pune Metropolitan Region (PMR). Situated {{convert, 560, m, 0, abbr=off Height above sea level, above sea level on the Deccan Plateau, Deccan plateau, on the right bank of the Mutha River, Mutha river,{{cite web , last=Nala ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellow Of The Royal Society Of Canada
Fellowship of the Royal Society of Canada (FRSC) is an award granted to individuals that the Royal Society of Canada judges to have "made remarkable contributions in the arts, the humanities and the sciences, as well as in Canadian public life". , there are more than 2,000 living Canadian fellows, including scholars, artists, and scientists such as Margaret Atwood, Philip J. Currie, David Suzuki, Stephen Waddams, and Demetri Terzopoulos. There are four types of fellowship: # Honorary fellows (a title of honour A title of honor or honorary title is a title bestowed upon individuals or organizations as an award in recognition of their merits. Sometimes the title bears the same or nearly the same name as a title of authority, but the person bestowed d ...) # Regularly elected fellows # Specially elected fellows # Foreign fellows (neither residents nor citizens of Canada) References Academic awards Royal Society of Canada Fellows of learned societies of Canada 188 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
McGill University Faculty
McGill is a surname of Scottish and Irish origin, from which the names of many places and organizations are derived. It may refer to: People * McGill (surname) (including a list of individuals with the surname) * McGill family (Monrovia), a prominent early Americo-Liberian family * Anglicized variant for Clan Makgill, a Lowland Scottish clan * Donald McGillivray (botanist), botanical taxonomist whose standard author abbreviation is “McGill”. Organizations * McGill University, a research university located in Montreal, Quebec, Canada * McGill-Toolen Catholic High School, a private coeducational high school in Mobile, Alabama, United States * McGill Executive Institute, a business school within McGill University located in Montreal, Quebec, Canada * McGill Drug Store, a historical museum in McGill, Nevada * McGill's Bus Services, bus operating firm based in Greenock, Inverclyde, Scotland * McGill Motorsports, a NASCAR Busch Series team Places * McGill (Montreal Metro), a met ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christel Baier
Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of ''Acta Informatica''. Education and career Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994. Her dissertation, ''Transitionssystem- und Baum-Semantiken für CCS'', was supervised by Mila Majster-Cederbaum. She earned a habilitation at Mannheim in 1999. She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006. Book With Joost-Pieter Katoen, Baier is coauthor of the book ''Principles of Model Checking'' (MIT Press, 2008). Recogni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Colloquium On Automata, Languages And Programming
ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics. The ICALP conference series was established by Maurice Nivat, who organized the first ICALP in Paris, France in 1972. The second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July. Since 1999, the conference was thematically split into two tracks on "Algorithms, Complexity and Games" (Track A) and "Automata, Logic, Semantics, and Theory of Programming" (Track B), corresponding to the (at leas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symposium On Logic In Computer Science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. History LICS was originally sponsored solely by the IEEE, but as of the 2014 founding of the ACM Special Interest Group on Logic and Computation LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE. From the first installment in 1988 until 2013, the cover page of the conference proceedings has featured an artwork entitled ''Irrational Tiling by Logical Quantifiers'', by Alvy Ray Smith. Since 1995, each year the '' Kleene award'' is given to the best student paper. In addition, since 2006, the ''LICS Test-of-Time Award'' is given annually to one among the twenty-year-old LIC ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
McGill University School Of Computer Science
The School of Computer Science (SOCS) is an academic department in the Faculty of Science at McGill University in Montreal, Quebec, Canada. The school is the second most funded computer science department in Canada. It currently has 34 faculty members, 60 Ph.D. students and 100 Master's students. History The creation of a Computer Science organization was led by Chair of Electrical Engineering (and later Dean of Engineering) George Lee (John) d'Ombrain. He is credited with bringing the first computer to McGill University in 1958. The first graduate student in computing at McGill University was Gerald Ratzer, who arrived from Cambridge in September 1964. There he pursued an M.Sc. in the Faculty of Graduate Sciences, under the supervision of David Thorpe, Director of the McGill Computing Centre. The School of Computer Science was formally created in 1969. Computer Science was originally housed in Burnside Hall, which was built in 1970. It is notable for containing the Computing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leonard Parker
Leonard Emanuel Parker (born Leonard Pearlman in 1938 in Brooklyn, New York) is a Distinguished Professor Emeritus of Physics and a former Director of the Center for Gravitation and Cosmology at the University of Wisconsin–Milwaukee. During the late 1960s, Parker established a new area of physics—quantum field theory in curved spacetime. Specifically, by applying the technique of Bogoliubov transformations to quantum field theory with a changing gravitational field, he discovered the physical mechanism now known as cosmological particle production. His breakthrough discovery has a surprising consequence: the expansion of the universe can create particles out of the vacuum. His work inspired research by hundreds of physicists and has been cited in more than 2,000 research papers; it was credited in the memoirs of Soviet physicist Andrei Sakharov and helped Stephen Hawking discover the creation of particles by black holes. Along with David Toms of Newcastle University, Parker ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Calcutta Boys' School
The Calcutta Boys' School is an independent private day school located in Kolkata (Calcutta), West Bengal. was founded by the Rev. James Mills Thoburn (Methodist Missionary to India, and later Missionary Bishop of the Methodist Episcopal Church), and was opened in 1877. It was endowed by Robert Laidlaw and others interested in the education of the sons of the Anglo-Indian and domiciled European community.''Clifford Hicks'' by Alfred Martin, ''Pulse'', Calcutta, February 1980. History The origins of CBS are closely linked with the establishment of the Methodist Episcopal Church in India. In January 1873, the Reverend William Taylor founded the work of the Thoburn Methodist Episcopal Church in Calcutta (Kolkata). He was succeeded by the Reverend James Mills Thoburn. The latter's ardent preaching soon rendered the Entally Baptist Chapel unable to cope with the increasing number of converts."visions & victories in Hindustan" by Bishop B.T. Badley In February 1874, a new chapel wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pune, India
Pune (; ; also known as Poona, ( the official name from 1818 until 1978) is one of the most important industrial and educational hubs of India, with an estimated population of 7.4 million As of 2021, Pune Metropolitan Region is the largest in Maharashtra by area, with a geographical area of 7,256 sq km. It has been ranked "the most liveable city in India" several times. Pune is also considered to be the cultural and educational capital of Maharashtra. Along with the municipal corporation area of PCMC, PMC and the three cantonment towns of Camp, Khadki, and Dehu Road, Pune forms the urban core of the eponymous Pune Metropolitan Region (PMR). Situated {{convert, 560, m, 0, abbr=off above sea level on the Deccan plateau, on the right bank of the Mutha river,{{cite web , last=Nalawade , first=S.B. , url=http://www.ranwa.org/punealive/pageog.htm , title=Geography of Pune Urban Area , publisher=Ranwa , access-date=4 April 2008 , archive-url=https://web.archive.org/web/2007122208 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM SIGLOG
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference.. In addition, it publishes an online newsletter, the ''SIGLOG Monthly Bulletin'' (formerly the ''LICS Newsletter''), and "maintains close ties" with the related academic journal ''ACM Transactions on Computational Logic''. The creation of this special interest group was suggested in 2007 by Moshe Vardi and Dana Scott, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with Prakash Panangaden as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter. Alonzo Church Award In 2015, SIGLOG established, in cooperation with EATCS, EACSL and the Kurt Gödel Society, the ''Alonzo Church Award for Outstanding Contributions to Logic and Computatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
