Adnan Darwiche
Professor and Chairman of the computer science department at UCLA, M.S. (1989) and Ph.D. (1993) degrees in computer science from Stanford University, Director of Automated Reasoning Group at UCLA.
Professor and Chairman of the computer science department at UCLA, M.S. (1989) and Ph.D. (1993) degrees in computer science from Stanford University, Director of Automated Reasoning Group at UCLA.