Brendan Eich

Brendan Eich publishes mostly in Artificial Intelligence, Hardware and Architecture and Information Systems, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Security and Verification in Computing.