Anita Wasilewska Associate Professor Address Department of Computer Science 1428 Computer Science Building Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-8458 Fax: (631) 632-8334 Email: anita@cs.sunysb.edu Education Ph.D. in Mathematics, Warsaw University, Warsaw, Poland, 1975 M.S. in Computer Science, Warsaw University, Warsaw, Poland, 1967 Previous Appointments Department of Mathematics, Lafayette College, Easton, PA Department of Mathematics, Wesleyan University, Middletown, CT Institute of Mathematics, Warsaw University, Warsaw, Poland University Libre de Bruxelles, Brussels, Belgium Mathematical Institute, Polish Academy of Science Past and Present Research Interests Bio Informatics:Protein Secondary Structure Prediction - Data Mining and Knowledge Discovery Applications for the Automated Theorem Proving Knowledge Discovery in Database – Inductive Learning Systems Algebraic Characterization of Rough Sets Generalized Fuzzy and Rough sets dealing with      Uncertain Information Application of Algebraic Theory of Programs to Automated theorem proving Formal Languages and Automated theorem proving - General models for computing machines Automated Theorem Proving in: Non-classical logics via Cut-free Gentzen type formalizations Experimental Education Support by Funding Agencies and Industry and Industry National Science Foundation, Fulbright Courses Taught CSE 112: Foundations of Information Sys. CSE 113/213: Foundation of Computer Science I & II CSE 303: Fuzzy and Rough sets, Elements of the Theory of Computation CSE 337: Machine Learning Expert Systems, Dealing with Incertainities in Extert Systems CSE 352: Artificial Intelligence - CSE 371: Advanced Logic for CS  CSE 505: Logic for Computer Science - CSE 526: Foundation of Computer Science CSE 537: Artificial Intelligence - CSE 541: Advanced Logic - CSE 544: Data Mining   CSE 547: Mathematical Structures for CS Publications/Patents 39 Journal Articles 25 Conference papers 1 Book/5 Book chapters