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 and Invited Professor at the School of Information Studies at the University of Ottawa. 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.