Klaus Sutner

Last updated

Klaus Sutner is a Teaching Professor of Computer Science at Carnegie Mellon University, and is also a former Associate Dean of Undergraduate Programs for the Carnegie Mellon School of Computer Science. [1] His research interests include cellular automata, discrete mathematics as pertains to computation, and computational complexity theory. He developed a hybrid Mathematica/C++ application named Automata that manipulates finite-state machines and their syntactic semigroups. He "has survived five decades in the martial arts. Barely." [2] and is the head instructor at the Three-Rivers Aikikai.

Related Research Articles

<span class="mw-page-title-main">Carnegie Mellon University</span> Private university in Pittsburgh, Pennsylvania

Carnegie Mellon University (CMU) is a private research university based in Pittsburgh, Pennsylvania. The university is the result of a merger of the Carnegie Institute of Technology and the Mellon Institute of Industrial Research. The predecessor was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools, and it became the Carnegie Institute of Technology in 1912 and began granting four-year degrees. In 1967, the Carnegie Institute of Technology merged with the Mellon Institute of Industrial Research, founded in 1913 by Andrew Mellon and Richard B. Mellon and formerly a part of the University of Pittsburgh. Carnegie Mellon has operated as a single institution since the merger.

<span class="mw-page-title-main">Dana Scott</span> American logician (born 1932)

Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.

<span class="mw-page-title-main">Carnegie Mellon School of Computer Science</span> School for computer science in the United States

The School of Computer Science (SCS) at Carnegie Mellon University in Pittsburgh, Pennsylvania, US is a school for computer science established in 1988. It has been consistently ranked among the top computer science programs over the decades. As of 2022 U.S. News & World Report ranks the graduate program as tied for second with Stanford University and University of California, Berkeley. It is ranked second in the United States on Computer Science Open Rankings, which combines scores from multiple independent rankings.

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

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

<span class="mw-page-title-main">Edward Fredkin</span> American physicist and computer scientist

Edward Fredkin is a distinguished career professor at Carnegie Mellon University (CMU), and an early pioneer of digital physics.

Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs, was unlikely to answer many of the important problems in computational complexity theory. For this work, they were awarded the Gödel Prize in 2007. He also co-authored a paper demonstrating that all currently known NP-complete problems remain NP-complete even under AC0 or NC0 reductions.

<span class="mw-page-title-main">Lenore Blum</span> American computer scientist and mathematician

Lenore Carol Blum is an American computer scientist and mathematician who has made pioneering contributions to the theories of real number computation, cryptography, and pseudorandom number generation. She was a distinguished career professor of computer science at Carnegie Mellon University until 2019 and is currently a professor in residence at the University of California, Berkeley. She is also known for her efforts to increase diversity in mathematics and computer science.

Leslie Valiant

Leslie Gabriel Valiant is a British American computer scientist and computational theorist. He is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics at Harvard University. Valiant was awarded the Turing Award in 2010, having been described by the A.C.M. as a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science; in particular for his "striking combination of depth and breadth".

<span class="mw-page-title-main">Luis von Ahn</span> Guatemalan entrepreneur and computer scientist

Luis von Ahn is a Guatemalan entrepreneur and a consulting professor in the Computer Science Department at Carnegie Mellon University in Pittsburgh, Pennsylvania. He is known as one of the pioneers of crowdsourcing. He is the founder of the company reCAPTCHA, which was sold to Google in 2009, and the co-founder and CEO of Duolingo, the world's most popular language-learning platform.

Cosma Shalizi

Cosma Rohilla Shalizi is an associate professor in the Department of Statistics at Carnegie Mellon University in Pittsburgh.

Randal Bryant American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30th, 2020.

<span class="mw-page-title-main">Jaime Carbonell</span> American computer scientist (1953–2020)

Jaime Guillermo Carbonell was a computer scientist who made seminal contributions to the development of natural language processing tools and technologies. His extensive research in machine translation resulted in the development of several state-of-the-art language translation and artificial intelligence systems. He earned his B.S. degrees in Physics and in Mathematics from MIT in 1975 and did his Ph.D. under Dr. Roger Schank at Yale University in 1979. He joined Carnegie Mellon University as an assistant professor of computer science in 1979 and lived in Pittsburgh from then. He was affiliated with the Language Technologies Institute, Computer Science Department, Machine Learning Department, and Computational Biology Department at Carnegie Mellon.

Edmund M. Clarke American computer scientist (1945–2020)

Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.

<span class="mw-page-title-main">Gary Miller (computer scientist)</span> American computer scientist

Gary Lee Miller is a professor of Computer Science at Carnegie Mellon University, Pittsburgh, United States. In 2003 he won the ACM Paris Kanellakis Award for the Miller–Rabin primality test. He was made an ACM Fellow in 2002 and won the Knuth Prize in 2013.

Ryan Williams (computer scientist) Computer scientist

Richard Ryan Williams, known as Ryan Williams, is an American theoretical computer scientist working in computational complexity theory and algorithms.

Ariel D. Procaccia is the Gordon McKay Professor of Computer Science at Harvard University. He was previously an Associate Professor of Computer Science at Carnegie Mellon University. He is known for his research in artificial intelligence (AI) and theoretical computer science, especially for his work on computational aspects of game theory, social choice, and fair division. He is the founder of Spliddit, a fair division website.

<span class="mw-page-title-main">Carnegie Mellon University Computational Biology Department</span>

The Computational Biology Department (CBD) is a division within the School of Computer Science at Carnegie Mellon University in Pittsburgh, Pennsylvania, United States. It is located in the Gates-Hillman Center. Established in 2007 by Robert F. Murphy as the Lane Center for Computational Biology with funding from Raymond J. Lane and Stephanie Lane, CBD became a department within the School of Computer Science in 2016.

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

Roni Rosenfeld is an Israeli-American computer scientist and computational epidemiologist, currently serving as the head of the Machine Learning Department at Carnegie Mellon University. He is an international expert in machine learning, infectious disease forecasting, statistical language modeling and artificial intelligence.

Jian Ma is an American computer scientist and computational biologist. He is the Ray and Stephanie Lane Professor of Computational Biology in the School of Computer Science at Carnegie Mellon University. He is a faculty member in the Computational Biology Department. His lab develops machine learning algorithms to study the structure and function of the human genome. During his Ph.D. and postdoc training, he developed algorithms to reconstruct the ancestral mammalian genome. He received an NSF CAREER award in 2011. In 2020, he was awarded a Guggenheim Fellowship in Computer Science. He leads an NIH 4D Nucleome Center to develop machine learning algorithms to better understand the cell nucleus.

References

  1. "Math Jams". Art of Problem Solving. 2011-10-25. Retrieved 2020-03-20.
  2. "K. Sutner". www.cs.cmu.edu. Retrieved 2022-09-12.