Michael J. Maher
Boolean function Computer Java communication computational discrete mathematics constraints cryptography decision making knowledge processing logic programming multi-agent system optimization speech recognition theoretical computer science theory of computing