Andre Vellino
I am a Research Officer
at the Canada
Institute for Scientific and Technical Information (CISTI)
at the
National Research Council in Ottawa, Ontario. I have a Ph.D.
in
formal logic from the University
of Toronto and an M.Sc. in logic and
scientific method from the London
School of Economics.
Prior to my present appointment, I was a senior software engineer at Entrust, developing textual content-analysis software for protecting e-mails from extrusion and ensuring legislative compliance. For many years I did research in Constraint Logic Programming and helped develop BNR Prolog and CLP(BNR) at Bell Northern Research (Nortel).
I am also Adjunct Research Professor at Carleton's Institute of Cognitive Science and my areas of interest include Logics for Artificial Intelligence, Automated Theorem Proving, Constraint Programming, Knowledge-based techniques for information retrieval. My focus at CISTI is information retrieval in large corpora of scientific and technical research papers.