Randal E. Bryant to Chair Proxor Ltd’s Advisory Board

December 8, 2016

Randal E. Bryant to Chair Proxor Ltd’s Advisory Board

Proxor Ltd announced today that Dr Randal E. Bryant will be the Chairman of Proxor’s Advisory Board.

“I am pleased that Randy has agreed to Chair our Advisory Committee and share his wealth of knowledge to help drive our growth” said Henry M. Hon, CEO of Proxor.

Dr. Philip Miller Co-Founder of Proxor added, “I am proud to work with Randy Bryant. He is a superb researcher, an extraordinary teacher, an excellent dean and a delightful individual.”

“I am pleased to help further the mission of Proxor” Bryant said. “Their methods reliably assess the readiness of developers to contribute to software projects. It enables developers from all around the world to demonstrate their competence on a level playing field.”

Dr. Bryant is currently University Professor of Computer Science at Carnegie Mellon University (CMU) with a courtesy appointment in Electrical and Computer Engineering. Previously Dr. Bryant served on a temporary assignment in the White House Office of Science and Technology Policy (OSTP) to provide analysis and advice on Big Data and High Performance Computing.

From 2004–2014, Dr. Bryant served as the Dean of Carnegie Mellon University’s School of Computer Science (SCS), one of the largest academic organizations in computing. In addition to traditional computer science topics, faculty within SCS cover such areas as: robotics, language technology, human-computer interaction, computational biology, machine learning, and software engineering. Its PhD program is consistently ranked in a four-way tie (along with MIT, Stanford, and U.C., Berkeley) for the top spot by U.S. News and World Report.

Dr. Bryant has written numerous papers of which his 1986 paper “Graph-Based Algorithms for Boolean Function Manipulation” is one of the most cited in the computer science literature. In addition, Randy co-authored “Computer Systems: A Programmer’s Perspective” with Dave O’Halloran, which is now in its third edition and has been used by over 240 academic institutions worldwide.

Dr. Bryant has received widespread recognition for his work. He is a fellow of the IEEE and the ACM, as well as a member of the National Academy of Engineering and the American Academy of Arts and Science. His awards include the 1997 ACM Kanellakis Theory and Practice Award (shared with Edmund M. Clarke, Ken McMillan, and Allen Emerson) for contributing to the development of symbolic model checking, as well as the 1989 IEEE W.R.G. Baker Prize for the best paper appearing in any IEEE publication during the preceding year.

Dr. Bryant received his B.S. in Applied Mathematics from the University of Michigan in 1973, and his PhD from MIT in 1981. He was an assistant professor at Caltech from 1981 to 1984 and has been at CMU since 1984.

About Proxor
www.proxor.com
Proxor - Authentic Examinationsᵀᴹ provides assessment ratings of software development skills, initially in Java and C, using technology and methodology developed in collaboration with Carnegie Mellon University (CMU) and funded by a USD2.9Million grant from the government of Kenya under a loan from the World Bank. Created and designed by renowned Computer Science Professors at CMU, Proxor is the industry leader in the rating and certification of software developers. Proxor is headquartered in Hong Kong with an office in Singapore and the main development center will continue to be located in Pittsburgh near Carnegie Mellon University.