Ron Fagin  Ron Fagin photo         

contact information

Academy of Technology LogoIBM Fellow
IBM Research - Almaden, 650 Harry Road, San Jose, CA 95120-6099
  +408dash316dash9895

links


more information

More information:  Almaden Lab

profile


Some recent articles and information:

 

Ken Clarkson, Ryan Williams and I gave a talk  on August 26, 2010 about the P vs. NP problem and a recent, well-publicized attempted proof that P does not equal NP.

My tribute to Ted Codd that I gave when I won the 2004 SIGMOD Edgar F. Codd Innovations Award

My tribute to my thesis advisor Robert L. Vaught that I gave at his Memorial Service in Berkeley, June 2, 2002

In addition to Robert Vaught, I would like to honor two other great teachers of mathematical logic, who inspired me deeply: Donald Kreider at Dartmouth College, who passed away Dec. 7, 2006, and Herbert Enderton at UC Berkeley, who passed away Oct. 20, 2010. Please see the Acknowledgements of my Ph.D. thesis, where I remark on their profound influences on my career.

My curriculum vitae

My Wikipedia page

My Google Scholar profile

More about me

 

Research Interests

  • Applications of logic to computer science
  • Database theory
  • Finite model theory
  • Rank and score aggregation
  • Reasoning about knowledge

 

Book

Reasoning about Knowledge

Reasoning about Knowledge.
Authors R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi
Published by MIT Press, 1995. Paperback edition, 2003.





Papers

Click here for a complete collection of my papers, all in Adobe Acrobat (PDF) format, and organized into (overlapping) categories.