Dov Gabbay
| Dov Gabbay | |
|---|---|
| Conhecido(a) por | Teorema de separação de Gabbay |
| Nascimento | Dov M. Gabbay 23 de outubro de 1945 (80 anos) |
| Nacionalidade | .svg.png){kind=small} britânico |
| Alma mater | B.Sc. (Matemática e Física) 1966, Universidade Hebraica, Jerusalém M.Sc. (lógica) 1967, Universidade Hebraica Ph.D. (lógica) 1969, Universidade Hebraica |
| Prêmios | Companheiro estrangeiro da Sociedade Real do Canadá (FRSC) Companheiro da Fundação Alexander von Humboldt (FAvH) Companheiro da Royal Society of Arts (FRSA) |
| Carreira científica | |
| Orientador(es)(as) | Azriel Levy e Michael Rabin |
| Instituições | King's College de Londres Universidade Bar-Ilan Universidade de Luxemburgo Universidade de Manchester Universidade Paul Sabatier |
| Campo(s) | Ciência da computação Matemática Filosofia Lógica |
| Tese | Non-classical Logics (1969) |
Dov M. Gabbay é Professor Augustus De Morgan de Lógica no Grupo de Lógica, Linguagem e Computação , Departamento de Ciência da Computação, do Kings College London (Emérito). Ele é autor de mais de quatrocentos e cinquenta trabalhos de pesquisa e mais de trinta monografias de pesquisa. Ele é editor de várias revistas internacionais e mais de 50 manuais de lógica, incluindo o Manual de lógica filosófica, o Manual da Lógica em Ciência da Computação, e o Manual de Inteligência Artificial e Lógica de Programação, entre muitas outras obras de referência na lógica.
Ele é presidente e fundador de várias conferências internacionais, executivo da Fundação Europeia da Lógica Linguagem e Informação e Presidente do Grupo Internacional de Lógica, IGPL. Ele é fundador e presidente conjunta da Federação Internacional de Lógica Computacional,[1] (Número Ele também é um dos quatro fundadores e membro do conselho de muitos anos de Folli, a Associação de Lógica, Linguagem e Informação, da qual ele, agora, está aposentado. Ele continua a ser um membro vida.
Ele é co-fundador com Jane Spurr da Faculdade Publicações, uma não rentável, start-up editora acadêmica associada à caridade, destinado a competir com grandes editoras caras, a preços acessíveis, e não necessitando de concessão de direitos autorais dos autores.
Cargos
1968-1970 Instrutor, Universidade Hebraica de Jerusalém
1970-1973 Professor Assistente de Filosofia da Universidade Stanford
1973-1975 Professor Associado de Filosofia, Stanford University
1975-1977 Professor Associado da Universidade Bar-Ilan
1977-1983 Lady Davis Professor de Lógica, da Universidade Bar-Ilan
1983-1998 Professor de Informática, do Imperial College, em Londres
1998 - atual Professor de Informática, Professor de Filosofia, Augustus De Morgan Professor de Lógica, Kings College, em Londres
2009 - presente especial Professor Bar Ilan University
Ver também
- Teorema de separação de Gabbay