Department of Computer Science
Stony Brook University
United States of America
Anita Wasilewska received her Ph.D. in Mathematics from Warsaw University, Poland in 1975, and M.S. in Computer Science from Warsaw University, Poland in 1967.
Foundations of Data Mining Data Mining and Knowledge Discovery, Biology and Bioinformatics, Applications for the Automated Theorem Provers, Inductive Learning Systems, Rough Sets, Generalized Fuzzy and Rough sets, Dealing with Uncertain Information, Automated Theorem Proving, Formal Languages, General models for computing machines, Automated Theorem Proving in non-classical logics, and Experimental Education.