Professor of Computer Science, Rice University
Moshe Y. Vardi is Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum.
Debate over H-1B visas shines spotlight on US tech worker shortages
Mar 22, 2025 05:34 am UTC| Insights & Views Life Law Business
A heated debate has recently erupted between two groups of supporters of President Donald Trump. The dispute concerns the H-1B visa system, the program that allows U.S. employers to hire skilled foreign workers in...
Cars are regulated for safety – why not information technology?
Mar 25, 2019 13:52 pm UTC| Insights & Views Technology Law
As the computing industry grapples with its role in society, many people, both in the field and outside it, are talking about a crisis of ethics. There is a massive rush to hire chief ethics officers, retool codes of...
Leonardo da Vinci’s incredible studies of human anatomy still don’t get the recognition they deserve