IBM Research Computer Science Blog  

IBM computer scientists have been at the forefront of scientific and technological innovation across a broad range of research areas.  They have made pioneering contributions in artificial intelligence, high-speed processor design, computer architecture, natural language processing, programming languages, optimizing compilers, operating systems, storage systems, computer-supported cooperative work, databases, speech recognition, integer programming, and service-oriented architectures, to name a few.


Moshe Vardi receives honorary doctorate    (up to IBM Research Computer Science Blog)

Congratulations to Professor Moshe Vardi, Rice University and an IBM Research alumnus, who has been awarded an honorary doctorate by the Federal University of Rio Grande do Sul (UFRGS), in Porto Alegre, Brazil.  Moshe was recognized for his “exceptional contributions, influence and worldwide research leadership in computer science,” and singles out his research in logical theory of databases, reasoning about knowledge, the automata-theoretic approach to program verification and finite model theory.”

posted by Brent Hailpern on Tue, 16 Jun 2015 12:55:21 -0400