Green Data Mining PrivacyOriented Data Mining by Proof绿色数据挖掘隐私保护数据挖掘证明.pptVIP

UBC 29/7/03 Privacy-oriented Data Mining by Proof Checking Stan Matwin (joint work with Amy Felty ) SITE University of Ottawa, Canada stan@site.uottawa.ca The TAMALE Group 4 profs Some 30 graduate students Areas: machine learning, data mining, text mining, NLP, data warehousing Research in Inductive Logic Programming Text mining Learning in the presence of knowledge Applications of ML/DM (e.g. in SE: tools for maintenance personnel) Why did I get into this research? what is already being done… and why it?’s not enough the main idea its operation discussion – ’correctness??’ prototype - Co