Prakash Panangaden

Last updated
Prakash Panangaden
Prakash-panangaden.jpg
Panangaden in 2014
Born(1954-03-11)March 11, 1954
Pune, Maharashtra, India
NationalityAmerican/Canadian
Alma mater IIT Kanpur
University of Chicago
University of Wisconsin–Milwaukee
University of Utah
Known for Markov processes, programming language theory, concurrency theory and quantum field theory in curved space-time
Spouse
​
(died 2019)​
[1]
Awards Fellow of the Royal Society of Canada (2013)
Scientific career
Fields Computer Science, Physics
Institutions Cornell University, McGill University
Doctoral advisor Leonard Parker
Website www.cs.mcgill.ca/~prakash

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). [2]

Contents

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. [3] His PhD thesis was on renormalization of interacting fields in curved spacetime. [4]

Prakash has successfully graduated 19 students and has in total 41 academic descendants, 8 of whom are women. [5]

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. [6] He moved to McGill University as an associate professor in the School of Computer Science in 1990 and was promoted to professor in 1996. [7]

He has been keynote speaker at many conferences, including the two top conferences in the field – LICS [8] and ICALP. [9]

Awards

In 2017, the Test-of-Time Award Committee consisting of Christel Baier, Amy Felty (chair), Andrew Pitts and Nicole Schweikardt chose the paper Bisimulation for Labelled Markov Processes (by Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) as one of two papers from LICS 1997 that has had the most impact in the 20 years since its publication. [10] In 2013 Prakash Panagaden was elected a FRSC. [11] His citation reads: "Prakash Panangaden's research career has spanned computer science, mathematics and physics. He has worked on programming languages, probabilistic systems, quantum computation and relativity. He is particularly known for deep connections between domain theory and continuous-state Markov processes where he and his colleagues proved a striking logical characterization theorem. He and Keye Martin discovered a remarkable way to reconstruct spacetime topology from causal structure using mathematical ideas from programming languages."

He was honoured on his 60th birthday by his research community. There was a three-day symposium, called PrakashFest, held at Oxford University [12] and a Festschrift was published by Springer-Verlag. [13] The summary of the Festschrift reads: "This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively."

In 1999 he was awarded the Leo Yaffe Award by the Faculty of Science of McGill University for excellence in teaching. [14]

In 2016 he was awarded the Principal’s Prize for Excellence in Teaching from McGill University. [15] In 2022 he was awarded the Class of 1890 Outstanding Teaching Award by the Faculty of Engineering, McGill University. [16] He is also an ACM Fellow from 2020. [17] In 2022 he was again awarded the prestigious LICS Test of Time Award for a 2002 joint paper written with Josée Desharnais (Laval), Vineet Gupta (Google) and Radha Jagadeesan (De Paul University). “The metric analogue of weak bisimulation for probabilistic processes” was deemed one of the two most influential papers from that year after 20 years. [18]

Related Research Articles

<span class="mw-page-title-main">Stephen Cole Kleene</span> American mathematician

Stephen Cole Kleene was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star, Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.

<span class="mw-page-title-main">Michael O. Rabin</span> Israeli mathematician and computer scientist

Michael Oser Rabin is an Israeli mathematician, computer scientist, and recipient of the Turing Award.

<span class="mw-page-title-main">Theoretical computer science</span> Subfield of computer science and mathematics

Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, formal language theory, the lambda calculus and type theory.

<span class="mw-page-title-main">Samson Abramsky</span> British computer scientist

Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.

<span class="mw-page-title-main">Michael Sipser</span> American theoretical computer scientist (born 1954)

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.

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.

<span class="mw-page-title-main">McGill University School of Computer Science</span>

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.

<span class="mw-page-title-main">Abbas Edalat</span> Iranian computer scientist

Abbas Edalat is a British-Iranian academic who is a professor of computer science and mathematics at the Department of Computing, Imperial College London and a political activist. In a 2018 letter to The Guardian, 129 experts in computer science, mathematics and machine learning described him as "a prominent academic, making fundamental contributions to mathematical logic and theoretical computer science" Edalat also founded SAF and CASMII, a campaign against sanctions and military intervention in Iran.

<span class="mw-page-title-main">Moshe Vardi</span> Israeli mathematicien and computer scientist

Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

<span class="mw-page-title-main">Rajeev Alur</span> American computer scientist

Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata and nested words.

Krishna V. Palem is a computer scientist and engineer of Indian origin and is the Kenneth and Audrey Kennedy Professor of Computing at Rice University and the director of Institute for Sustainable Nanoelectronics (ISNE) at Nanyang Technological University (NTU). He is recognized for his "pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing", as stated in the citation of his 2009 Wallace McDowell Award, the "highest technical award made solely by the IEEE Computer Society".

Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis. He advised numerous Ph.D. students.

John Patrick Hayes is an Irish-American computer scientist and electrical engineer, the Claude E. Shannon Chair of Engineering Science at the University of Michigan. He supervised over 35 doctoral students, coauthored seven books and over 340 peer-reviewed publications. His Erdös number is 2.

ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine, 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, and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.

David Lansing Dill is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.

Judith Anne (Judy) Goldsmith is a computer scientist whose publications span a wide range of topics including artificial intelligence, computational complexity theory, decision theory, and computer science education. She is a professor of computer science at the University of Kentucky.

Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University, Stony Brook, New York.

Dale Miller is an American computer scientist and author. He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella theorem prover.

<span class="mw-page-title-main">Kenneth L. McMillan</span> American computer scientist

Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. He is a professor in the computer science department at the University of Texas at Austin, where he holds the Admiral B.R. Inman Centennial Chair in Computing Theory.

Igor Leonidovich Markov is an American professor, computer scientist and engineer. Markov is known for mathematical and algorithmic results in quantum computation, work on limits of computation, research on algorithms for optimizing integrated circuits and on electronic design automation, as well as artificial intelligence. Additionally, Markov is a California non-profit executive responsible for aid to Ukraine worth tens of millions dollars.

References

  1. ↑ Lennox, R. B. (29 May 2019). "The passing of Prof. Laurie Hendren". McGill Faculty of Science.
  2. ↑ Association for Computing Machinery. "SIG Governing Board" . Retrieved 2015-04-05.
  3. ↑ Mathematics Genealogy Project. "Leonard Emanuel Parker scientific genealogy" . Retrieved 2015-07-29.
  4. ↑ Prakash Panangaden (1980). "Propagators and renormalization of quantum field theory in curved spacetimes". Bibcode:1980PhDT........34P.{{cite journal}}: Cite journal requires |journal= (help)
  5. ↑ Mathematics Genealogy Project. "Prakash Panangaden scientific genealogy" . Retrieved 2015-07-30.
  6. ↑ Constable; et al. (1986). "Implementing Mathematics with The Nuprl Proof Development System" . Retrieved 2015-07-30.
  7. ↑ "McGill School of Computer Science: list of Faculty Members" . Retrieved 2015-07-30.
  8. ↑ "LICS Invited talk". LICS. Retrieved 2015-07-26.
  9. ↑ "Invited Talk ICALP 2006". EATCS. Retrieved 2015-07-26.
  10. ↑ Panangaden, Prakash (28 July 2017). "2017 LICS test-of-time award". ACM SIGLOG News. 4 (3): 10. doi: 10.1145/3129173.3129175 . S2CID   41881342.
  11. ↑ Royal Society of Canada. "Class of 2013 List of New Fellows" (PDF). Retrieved 2015-04-05.
  12. ↑ Department of Computer Science, Oxford University (May 23, 2014). "PrakashFest" . Retrieved 2015-04-05.
  13. ↑ Horizons of the Mind. A Tribute to Prakash Panangaden. Lecture Notes in Computer Science. Vol. 8464. Springer-Verlag. 2014. doi:10.1007/978-3-319-06880-0. ISBN   978-3-319-06879-4. S2CID   8932348 . Retrieved 2015-04-05.
  14. ↑ Faculty of Science, McGill University. "Leo Yaffe Award for Excellence in Teaching" . Retrieved 2015-04-05.
  15. ↑ McGill University. "Principal's Prize for Excellence in Teaching" . Retrieved 2022-06-30.
  16. ↑ Faculty of Engineering, McGill University. "Class of 1890 Outstanding Teaching Award" . Retrieved 2022-06-30.
  17. ↑ Association for Computing Machinery. "ACM Fellowship" . Retrieved 2022-06-30.
  18. ↑ School of Computer Science, McGill University. "Professor Prakash Panangaden wins LICS Test-of-Time Award for 2022" . Retrieved 2022-07-14.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.