Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the dynamic intersection of computer science and social choice theory in this EECS Colloquium lecture by Professor Wesley H. Holliday from UC Berkeley. Discover how computational tools including SAT solving, interactive theorem proving, machine learning, and Monte Carlo simulations advance research in social choice theory, while learning about applications of social choice principles to critical AI alignment and safety challenges. Examine the flourishing field of computational social choice (COMSOC) through the lens of an expert who bridges philosophy, logic, and computer science. Delve into Professor Holliday's research spanning modal and nonclassical logic, voting theory, and AI ethics, before focusing on specific open problems in voting theory that require computational approaches or could benefit from computational techniques to reach solutions. Gain insights from a scholar whose work has been recognized with the prestigious E. W. Beth Prize and who currently chairs the Group in Logic and the Methodology of Science at UC Berkeley.
