Prakash Panangaden is affiliated with McGill University in Canada and specializes primarily in the field of Computer Science. Their research spans a diverse range of subfields, including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Molecular Biology, and Materials Chemistry.
The scientist's work focuses on several main topics such as Logic, Reasoning, and Knowledge; Reinforcement Learning in Robotics; Formal Methods in Verification; Machine Learning and Algorithms; Advanced Algebra and Logic; Logic, Programming, and Type Systems; and Semigroups and Automata Theory.
Frequent publication venues for their work include:
Among their recent papers are:
Collaboration plays a significant role in their research, with frequent co-authors including Radu Mardare, Doina Precup, Giorgio Bacci, Gordon Plotkin, and Clara Lacroce.
Prakash Panangaden has been recognized with awards such as the ACM Fellow in 2020 for contributions making continuous state systems amenable to logical and computational treatment, and was named a Fellow of the Royal Society of Canada in 2013 by the Academy of Science.
R. L. Constable;S. F. Allen;H. M. Bromley;W. R. Cleaveland
Vijay A. Saraswat;Martin Rinard;Prakash Panangaden
Josée Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden
R. Blute;J. Desharnais;A. Edalat;P. Panangaden
Konstantinos Chatzikokolakis;Catuscia Palamidessi;Prakash Panangaden
J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker
Norm Ferns;Prakash Panangaden;Doina Precup
Vincent Danos;Elham Kashefi;Prakash Panangaden
Prakash Panangaden
Josee Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden
Janice Glasgow;Glenn Macewen;Prakash Panangaden
J. Desharnais;R. Jagadeesan;V. Gupta;P. Panangaden
Ellie D'hondt;Prakash Panangaden
Herbert H. J. Hum;Olivier Maquelin;Kevin B. Theobald;Xinmin Tian
Josée Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden
Ellie D'Hondt;Prakash Panangaden
Vijay A. Saraswat;Martin Rinard;Prakash Panangaden
Josée Desharnais;Prakash Panangaden
J. Desharnais;A. Edalat;P. Panangaden
Norm Ferns;Prakash Panangaden;Doina Precup
N. P. Mendler;Prakash Panangaden;Robert L. Constable
J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker
Philippe Chaput;Vincent Danos;Prakash Panangaden;Gordon Plotkin
If you think any of the details on this page are incorrect, let us know.
Choosing to study Computer Science in the USA opens doors to a wide array of online degrees and career options. Today, many students pursue degrees in areas like electrical engineering due to technological advances and job prospects. If you're interested, consider exploring top online electrical engineering schools for flexible learning opportunities.
For those seeking a faster route to employment, there are 3-month certificate programs that pay well. These short-term certifications can help you quickly enter growing tech fields and boost your resume with in-demand skills.
If advancing your education is your goal, you’ll find many quick masters degrees online. These accelerated graduate programs let you earn a valuable credential in less time, helping you stay competitive in the rapidly changing tech landscape.
It’s also smart to explore the most useful masters degrees to ensure your education matches workforce needs. Making informed choices about your academic path can set you up for a rewarding tech career.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 81
University of Arizona
University of Delhi
University of Pretoria
École Polytechnique Fédérale de Lausanne
Korea University
Chinese Academy of Sciences
University of Michigan–Ann Arbor
TU Dresden
Durham University
Utrecht University
Center for Research in Agricultural Genomics
Kyungpook National University
Khon Kaen University
Brandeis University
American University of Beirut
University of Cambridge
