I am currently the chair of CATCS . Please check it out - we welcome any suggestions. I was the PC chair of SODA, 2024 . The accepted papers are here. An alternative talk schedule format is here. A ...

I am an Associate Professor in the Carnegie Mellon Robotics Institute. I think that creativity – making things and ideas! – is the best thing that humans do. So my research involves producing creative ...

This course teaches imperative programming in a C-like language and methods for ensuring the correctness of imperative programs. It is intended for students who are familiar with elementary ...

Martial Hebert became dean of Carnegie Mellon University's world-renowned School of Computer Science in August 2019. A leading researcher in computer vision and robotics, he's the sixth dean to lead ...

BIOGRAPHY Yong-Lae Park is an Assistant Professor in the Robotics Institute and the School of Computer Science at Carnegie Mellon University starting September 2013. Prof. Park completed his M.S. and ...

Customization of text-to-image models enables users to insert custom concepts and generate the concepts in unseen settings. Existing methods either rely on costly test-time optimization or train ...

If you have 3 quarters, 4 dimes, and 4 pennies, you have $1.19. You also have the largest amount of money in coins without being able to make change for a dollar. The numbers '172' can be found on the ...

I am looking for new students. My current research focus is enabling robots to learn strategies (tricks, hacks) to do tasks from direct instruction, googling and using the web, observation, and ...

I received my masters degree in 2010 from MIT. My thesis, "Distributed Naming in a Factored Operating System", won the William A. Martin Memorial Thesis Award for an outstanding Master's thesis. I got ...

I am 8 years old. Some of my little friends say that there is no Santa Claus. Papa says "If you see it in the Sun, it is so." Please tell me the truth, is there a Santa Claus? Virginia, Your little ...

Frank Pfenning Personal Home PageSubstructural Type Systems Tutorial at POPL 2025 (introductory AI-generated podcast) (live code) Adjoint Natural Deduction (Extended Version) Junyoung Jang, Sophia ...

I build systems that combine humans and computers to solve large-scale problems that neither can solve alone. I call this Human Computation, but others sometimes call it Crowdsourcing. Some of my past ...