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.
BIOGRAPHY
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.
TEACHING SUMMARY
CSE 303 Introduction to the Theory of Computation
CSE 352/ CSE 537 Artificial Intelligence
CSE 371 Logic
CSE 541 Logic in Computer Science
CSE 544 Probability and Statistics for Data Scientists