Hajiaghayi Podcast

Live of Prof Hajiaghayi & Prof. Moshe Vardi on Logic and its CS Applications


Listen Later

Very Glad to announce this Sun Feb 19, 11AM ET, I, Prof. Mohammad Hajiaghayi of UMD, will have a live discussion with Prof. Moshe Vardi of Rice University who is a pioneer in logic, complexity, and algorithms. Prof. Moshe Vardi @vardi has authored over 700 papers, two books, and holds eight honorary doctorates. He is the recipient of several scientific awards, a fellow of several societies and member of several honorary academies. He is a Senior Editor of Communications of the ACM, and has received Guggenheim, Kanellakis, Godel, and Knuth Prizes (see his wiki page https://en.wikipedia.org/wiki/Moshe_Vardi for more details). We plan to have a YouTube Live @hajiaghayi, and simultaneously Live events on Instagram @mhajiaghayi, LinkedIn @Mohammad Hajiaghayi, Twitter @MTHajiaghayi, and Facebook @Mohammad Hajiaghayi on life, communication of ACM, and his research and teaching on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, Ph.D. advising, major open problems in the field, among others. Please join us on our simultaneous Lives at YouTube, Instagram, LinkedIn, Twitter, or Facebook and ask questions you may have.


#computerscience,#CS,#logic,#database,#multiagent, #reasoning, #computeraided, #verification, administration,#CACM,#OpenProblems,#NationalAcademy,#PhDAdvising,#Hebrew,#Rice

...more
View all episodesView all episodes
Download on the App Store

Hajiaghayi PodcastBy Mohammad T Hajiaghayi