Kira Adaricheva
KIRA ADARICHEVA PhD CURRICULUM VITAE September 2012
ADDRESS
Department of Mathematical Sciences Yeshiva University 245 Lexington Ave., New York, NY 10016 Phone (office): 212-340-7761 E-mail: [email protected]
POSITIONS HELD August 2008 - current Research Associate Professor (since 2010) Department of Mathematical Sciences Yeshiva University, New York, USA January 2004 – July 2008 Assistant Professor (tenured), Department of Mathematics Department co-Chair (2008) Harold Washington College, Chicago, USA July 1998 – August 2002 Programmer analyst Actuarial department of LIDP Consulting, LLC Woodridge, IL, USA May 1996 – January 1998 Visiting Scientist, Department of Mathematics and Statistics McGill University, Montreal, Canada March 1994 – May 2008 Senior Researcher, Laboratory of Computation Theory and Applied Logic Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk, Russia (on a leave since 1996)
1
September 1992 -- March 1994 Assistant Professor, Department of Physics and Mathematics Novosibirsk Pedagogical Institute, Novosibirsk, Russia DEGREES February 17, 1992 Ph.D. (Physics and Mathematics): "Structure of the lattices of subsemilattices" Supervisor: Professor V.A.Gorbunov Institute of Mathematics, Siberian Branch of Russian Academy of Sciences Novosibirsk, Russia June 1987 M.Sc. with honour (Magna Cum Laude) Department of Mathematics and Mechanics, Novosibirsk State University, Novosibirsk, Russia 1981-1986 Undergraduate Degree, B.Sc. (Mathematics and Mechanics) Department of Mathematics and Mechanics Novosibirsk State University Novosibirsk, Russia Recent Computer Science Projects: Operations Research and Artificial Intelligence Association rules from the binary tables and hypergraph dualization algorithm, with RUTCOR, since June 2012 ISAIM-2012 (Artificial Intelligence and Mathematics) Fort Lauderdale, FL, USA RUTCOR research seminar, Rutgers University, NJ, USA 2011 Computational aspects in Horn belief contraction, with University of Illinois, since June 2010 AAAI Spring Symposium, Stanford University, CA, USA 2011 Knowledge Representation-2012, Rome, Italy, 2012 Implicational basis of a finite closure system, with University of Hawai’i, since June 2010 Plenary talk at Algebraic Conference UALT-12 in Szeged, June 2012 Seminar of Laboratory of Optimization, University of Paris-6, June 2012 2
PUBLICATIONS Chapters in books 1. “Lattices of equational and quasi-equational theories” and “Semidistributive lattices”, in monograph “Lattice Theory: Foundation”, by G.Grätzer, Birkhäuser, Springer Basel AG, 2010. 2. “Semidistributive lattices”, joint work with J.B.Nation, in preparation for “Lattice Theory: Special Topics”, G.Grätzer and F.Wehrung, editors. Papers to appear 1. Adaricheva K., Nation J.B., On effective bases of closure systems with unique critical sets, 28 pages. Available in arxiv http://arxiv.org/abs/1205.2881 2. Adaricheva K., Optimum basis of a convex geometry, 12 pages. Available in arxiv: http://arxiv.org/abs/1205.3236 3. Adaricheva K., Nation J.B., Rand R., Ordered direct implicational basis of a finite closure system, to appear in Discrete Applied Math., 26 pages. Available in arxiv: http://arxiv.org/abs/1110.5805 4. Adaricheva K., Nation J.B., Lattices of quasi-equational theories as congruence lattices of semilattices with operators, parts I; to appear in International Journal of Algebra and Computation, 26 pages. Available in arxiv: http://arxiv.org/abs/1106.2203 5. Adaricheva K., Nation J.B., Lattices of quasi-equational theories as congruence lattices of semilattices with operators, parts II; to appear in International Journal of Algebra and Computation, 16 pages. Available in arxiv: http://arxiv.org/abs/1106.2204 6. Adaricheva K., Representing finite convex geometries by relatively convex sets, to appear in European Journal of Combinatorics, 12 pages. Available in arxiv: http://arxiv.org/abs/1101.1539 7. Adaricheva K., Pouzet M., On scattered convex geometries, to appear in Order, 18 pp. Short version in Proceedings of TACL-2011, 64-68. Published papers
3
1. Adaricheva K., Turan G., Sloan R. and Szorenyi B., Horn belief contraction: remainders, envelopes and computational aspect, in Proceedings of KR2012, Rome, Italy, June 2012. 2. Adaricheva K., On prevariety of perfect lattices, Algebra Universalis 65(2011) N1, 21-39. 3. Adaricheva K., Wild M., Realization of Abstract Convex Geometries By Point Configurations, European Journal of Combinatorics, 31(2010), 379-400. 4. Adaricheva K., Pilitowska A., Stanovsky D., On complex algebras of subalgebras, Algebra and Logic,, 47 (2008), 655-686. 5. Adaricheva K., Maroti M.,Mckenzie R.,Nation J.B.,Zenk E., The JonssonKiefer property, Studia Logica, 83(2006), 111-131. 6. Adaricheva K., Nation J.B., Reflections on lower bounded lattices, Algebra Universalis 53(2005), 307-330. 7. Adaricheva K., Nation J.B., Largest extension of a finite convex geometry, Algebra Universalis 52(2005), 185-195. 8. Adaricheva K., Lattices of algebraic subsets, Algebra Universalis 52(2005), 167-183. 9. Adaricheva K., Join-semidistributive lattices of relatively convex sets, Contributions to General Algebra 14, Proceedings of the Olomouc Conference 2002 (AAA 64) and the Potsdam conference 2003 (AAA 65), Verlag Johannes Heyn, Klagenfurt, 2004, 1-14. 10. Adaricheva K.V., Gorbunov V.A., To the structure of subquasivarieties lattices of congruence-noetherian quasivarieties, Studia Logica, 78(2004), 1-10. 11. Adams M., Adaricheva K., Dziobiak W., Kravchenko A., Open problems in the theory of quasivarieties, Studia Logica 78(2004), 357-378. 12. Adaricheva K.V., Gorbunov V.A., Tumanov V.I., Join-semidistributive lattices and convex geometries, Advances in Mathematics 173(2003), 1-49. 13. Adaricheva K., Wehrung F., Embedding finite lattices into finite biatomic lattices, Order 20(2003), 31-48. 14. Adaricheva K.V., Gorbunov V.A., On lower bounded lattices, Algebra Universalis 46(2001), 203 – 213. 15. Adaricheva K.V., Gorbunov V.A., Semenova M.V., On continuous noncomplete lattices, Algebra Universalis 46 (2001), 215 – 230. 16. Adaricheva K.V., Dziobiak W., Gorbunov V.A., On algebraic atomistic lattices of quasivarieties (Russian), Dokl. Ros. Acad. Nauk 359(1998) no.3, 295-297; translation in Math. Dokl. 57 (1998), no.2, 210-211.
4
17. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Congruence properties for lattices of quasivarieties (Russian), Algebra i Logika 36 (1997), N6, 805-820. 18. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Algebraic atomistic lattices of quasivarieties, Algebra i Logika 36(1997), N4, 363-386. 19. Adaricheva K.V. A characterization of congruence lattices of finite semilattices (Russian), Algebra i Logika 35 (1996), N1, 3-30. 20. Adaricheva K.V., Two embedding theorems for lower bounded lattices, Algebra Universalis 36 (1996), 425-430. 21. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Finite atomistic lattices that can be represented as lattices of quasivarieties, Fundamenta Mathematicae 142 (1993), N1, 18-43. 22. Adaricheva K.V., A characterisation of finite lattices of subsemilattices (Russian), Algebra i Logika 30 (1991), N4, 385-404. 23. Adaricheva K.V., Gorbunov V.A., The structure of finite atomistic lattices of quasivarieties (Russian), Dokl. Akad. Nauk SSSR, 310 (1990), N3, 525528. 24. Adaricheva K.V., Gorbunov V.A., Equaclosure operator and forbidden semidistributive lattices (Russian), Sib.Math.Zh. 30 (1989), N1, 7-25. 25. Adaricheva K.V., Semidistributive and coalgebraic lattices of subsemilattices (Russian), Algebra i Logika 27 (1988), N 6, 625-640. Work in progress: 1. Adaricheva K., Pilitowska A., Location functions on convex geometries, manuscript in progress. 2. Adaricheva K., Nation J.B., Lattices of relational quasi-equational theories, manuscript in progress. 3. Adaricheva K., Stasheff polytope as a sublattice of permutohedron, available at http://arxiv.org/abs/1101.1536 4. Adaricheva K., Smith J.D.H., Romanowska A., The algebra of mode homomorphisms, manuscript in progress. 5. Adaricheva K., The lattices of relatively convex sets and the Jamison problem, Part II, manuscript, 26 pages. 6. Adaricheva K., Nation J.B., Equaclosure operators on finite joinsemidistributive lattices, manuscript, 8 pages. GRANTS AND AWARDS
5
NSF-AWM Mentor Travel Grant, supporting joint research with J.B.Nation April 2010 – August 2011 CRDF (US Civilian Research and Development Foundation) grant “Contribution to two leading problems of universal algebra and lattice theory” Ref N 15465 (May 2007-May 2009) INTAS grant of European Community “Universal algebra and lattice theory” Ref N 03-51-4110 (May 2004- May 2007) Deutsche Forschungs Gemeinschaft (DFG) Grant: 436(RUS)113/2670(R) (1997-1998) Russian Fund of Fundamental Investigations (RFFI) Grants: 96-01-01525 and 96-0-000976 (1996-1998) Personal Grant of G. Soros Foundation (1994) Travel Grant of G. Soros Foundation to support the participation in XVI International Conference on Lattices, Ordered Sets and Universal Algebra, Szeged, Hungary (1993) INDUSTRY EXPERIENCE 4 years industry programming in COBOL-II/CICS/UNIX, MVS Reserves Valuation Project: Developed systems for Insurance spread sheets, industry testing, includes major unit for the calculation of deficiency reserves, applying tabular, dynamic methods and implementation of XXX regulation, modifications for the calculation of statutory, tax, Purchase GAAP and VOBA reserves Major Annuity Project: 6
Two year system in all new development with various sub-systems for areas of tax changes, calculations, and valuation systems. Responsible for new coding, maintenance, testing, debugging, and turn-key system. Implementation of immediate annuity functionality. Major Installation Project: New client installation of the system including design and development of connector subprogram to ensure embedding of existing client's processing units and data base subsystems. CURRICULUM DEVELOPMENT 2011 Graduate Course “Algebra and Artificial Intelligence”, Yeshiva University Course targets both mathematics and computer science majors Topics: Propositional logic and its Horn fragment, algorithmic problems of inference, closure operators and their algebraic aspects, bases of closure systems and the canonical basis of Guigues-Duquenne, knowledge base and contractor operator in artificial intelligence, problems of Horn-to-Horn base revision. The course is based on the set of recent research development and assumes students’ reading and presentation of 1-2 research papers. SUPERVISION of STUDENTS RESEARCH WORK Advisor of the Honors projects at the Jay and Jeanie Schottenstein Honors Program, Yeshiva College, and S.Daniel Abraham Honors Program, Stern College for Women: Robert Rand (Yeshiva College, graduated in May 2011) “Ordered Directness and Efficiently Computing Closures” Adina Erdfarb (Stern College for Women, graduated in May 2011) “Stochastic Processes and Time-Series Analysis within the United States Social Security System” Rita Carla Bron (Stern College for Women, graduated in May 2011) “Monte Carlo Simulation of Pawn Store Stocks” 7
TEACHING EXPERIENCE 2008-2012, fall/spring terms Readings in Logic, Math-5315 Modern Algebra, I and II, Math 2215-16 Partial Differential Equations I, Math 3302 Probability, Math 1310; Math Statistics, Math 1320 Calculus I-II, Math 1412-13; Linear Algebra, Math 2105 Stern College for Women, Yeshiva University, Yeshiva College, Yeshiva University, New York, USA 2004-2008, spring/summer/fall terms Calculus I, Math 207; Calculus II, Math 208 Linear Algebra, Math 212; Differential equations, Math 210 Calculus for Business Majors, Math 204 Finite Mathematics, Math 142 College Algebra, Math 140; Trigonometry, Math 141 Harold Washington College, Chicago, IL, USA 2006, summer term Partial Differential Equations I, Math 402 University of Hawaii at Manoa, Honolulu, HI 1997, fall term Course on vectors, matrices and analytic geometry, Math 189-133A McGill University, Montreal, Canada 1994-1996 Practical courses on linear algebra, mathematical logic, analytic geometry and number theory two courses per semester, with 3.5 contact hours per week each High College of Informatics, Novosibirsk, Russia 1992-1994 Course on mathematics two semester course with 3.5 contact hours per week High College of Informatics, Novosibirsk, Russia 8
1990 Graduate course on universal algebra two semester lecture course with 1.75 hours per week Department of Mathematics and Mechanics Novosibirsk State University, Novosibirsk, Russia 1989 Practical course on linear algebra two semester course with 3.5 contact hours per week Department of Biology and Chemistry Novosibirsk State University, Novosibirsk, Russia 1988 Practical course on mathematical logic one semester course with 3.5 contact hours per week Department of Mathematics and Mechanics Novosibirsk State University, Novosibirsk, Russia
ADMINISTRATIVE ACTIVITY Co-Chair of the Department of Mathematics and Engineering of Harold Washington College, Spring 2008: new procedures for assessment of tenure track faculty, revising of the schedules to eliminate shortage of class-rooms and establish the departmental hour, hiring new faculty, introducing home-work computerized assessment for the calculus courses Coordinator of adjunct faculty at the Department of Mathematics and Engineering, Harold Washington College, Fall 2006-Fall 2007: hiring process, schedule, general supervision, class visitations, departmental mid-term and final exams
SYNERGISTIC RESEARCH ACTIVITY
9
Organizer of the Colloquium at Department of Mathematics of Harold Washington College See the web site http://faculty.ccc.edu/colleges/hwashington/math, 2004 -2008 Organizer of INTAS research grant project, 2004-2007, involving 17 members from 6 European countries: Czech Republic, France, Germany, Poland, Russia, Slovakia Organizer of CRDF research grant project, 2007-2009, involving 9 members from 3 countries: Russia, Kyrgyzstan, USA Organizer of Algebra/AI faculty and students research seminar, Department of Mathematical Sciences, Yeshiva University, Spring 2011 Organizer of the international workshop “Algebra across the borders". I” at Yeshiva University, August 2011: 15 participants from France, Poland, South Africa, USA See the web site http://yu.edu/yeshiva-college/ug/mathematics/news-events/ Organizer of the international workshop “Algebra across the borders". II” at University of Szeged, Hungary, June 2012 10 participants from USA, Poland, Hungary, Japan, Kyrgyzstan See the web site http://www.math.u-szeged.hu/~horvath/crossborder2012.htm REVIEWING AND EDITING ACTIVITY Co-editor (with W.Dziobiak) of the 46 double volume of Algebra Universalis devoted to V.A.Gorbunov, 2001 Co-editor (with W.Dziobiak, M.Adams and A.Kravchenko) of the 78 volume of Studia Logica devoted to W.Blok, 2004 Reviews for Algebra Universalis, Algebra and Logic, Siberian Mathematical Journal, Discrete Applied Mathematics, Order, Mathematica Slovaca, Central European Journal of Mathematics, Electronic Journal of Combinatorics and Austrian Science Fund (FWF) INVITED TALKS AND VISITS (2011-12) 10
June 10-14, 2012 13th International Conference on Knowledge Representation and Reasoning Rome, Italy Talk: Horn belief contraction: remainders, envelopes and computational aspect (joint work with G. Turan, R. Sloan and B. Szorenyi) June 14-17, 2012 Department of Combinatorics and Optimization University Paris-6 Paris, France Talk: Optimum basis of finite convex geometry Visit arranged by Prof. V. Duquenne June 21-25, 2012 International conference on universal algebra and lattice theory (plenary speaker) Szeged, Hungary Talk : Effective bases of finite closure systems April 25-28, 2012 Combinatorics seminar Department of Computer Science University of Illinois in Chicago USA Talk: Effective bases of closure systems with unique criticals Visit arranged by Prof. G. Turan January 9-11, 2012 ISAIM-2012 (Artificial Intelligence and Mathematics) Fort Lauderdale, FL, USA Talk: On bases of acyclic closure systems (joint work with J.B. Nation) December 9, 2011 CUNY Graduate Center, Combinatorics seminar New York, NY, USA Talk: On the bases of finite closure systems 11
(joint work with J.B.Nation and R.Rand) October 6, 2011 RUTCOR research seminar Rutgers University, NJ, USA Visit and talk arranged by Prof. E.Boros Talk: The ordered direct basis of a finite closure system (joint work with J.B.Nation and R.Rand) July 26-30, 2011 Topology, Algebra and Categories in Logic (TACL-2011) Marseille, France Talk: On scattered convex geometries (joint work with M.Pouzet) July 23-24, 2011 Department of Combinatorics and Optimization University of Paris-6, France Research visit arranged by Prof. V.Duquenne May 31 – June 24, 2011 Research visit to University of Hawaii Honolulu, HI, USA Supported by AWN-NSF grant April 1, 2011 CUNY graduate center, Combinatorics seminar New York, NY, USA Talk: Finite convex geometries of point configurations March 28-30, 2011 AAAI Spring Symposium Stanford University, CA, USA Talk: Horn belief contraction: remainders, envelopes and computational aspect (joint work with G.Turan, R. Sloan and B.Szorenyi) March 26-27, 2011 AMS sectional meeting 12
Iowa City, IA, USA Talk: Ordered direct implicational basis of a finite closure system (joint work with J.B.Nation and R.Rand)
13
ADDRESS
Department of Mathematical Sciences Yeshiva University 245 Lexington Ave., New York, NY 10016 Phone (office): 212-340-7761 E-mail: [email protected]
POSITIONS HELD August 2008 - current Research Associate Professor (since 2010) Department of Mathematical Sciences Yeshiva University, New York, USA January 2004 – July 2008 Assistant Professor (tenured), Department of Mathematics Department co-Chair (2008) Harold Washington College, Chicago, USA July 1998 – August 2002 Programmer analyst Actuarial department of LIDP Consulting, LLC Woodridge, IL, USA May 1996 – January 1998 Visiting Scientist, Department of Mathematics and Statistics McGill University, Montreal, Canada March 1994 – May 2008 Senior Researcher, Laboratory of Computation Theory and Applied Logic Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk, Russia (on a leave since 1996)
1
September 1992 -- March 1994 Assistant Professor, Department of Physics and Mathematics Novosibirsk Pedagogical Institute, Novosibirsk, Russia DEGREES February 17, 1992 Ph.D. (Physics and Mathematics): "Structure of the lattices of subsemilattices" Supervisor: Professor V.A.Gorbunov Institute of Mathematics, Siberian Branch of Russian Academy of Sciences Novosibirsk, Russia June 1987 M.Sc. with honour (Magna Cum Laude) Department of Mathematics and Mechanics, Novosibirsk State University, Novosibirsk, Russia 1981-1986 Undergraduate Degree, B.Sc. (Mathematics and Mechanics) Department of Mathematics and Mechanics Novosibirsk State University Novosibirsk, Russia Recent Computer Science Projects: Operations Research and Artificial Intelligence Association rules from the binary tables and hypergraph dualization algorithm, with RUTCOR, since June 2012 ISAIM-2012 (Artificial Intelligence and Mathematics) Fort Lauderdale, FL, USA RUTCOR research seminar, Rutgers University, NJ, USA 2011 Computational aspects in Horn belief contraction, with University of Illinois, since June 2010 AAAI Spring Symposium, Stanford University, CA, USA 2011 Knowledge Representation-2012, Rome, Italy, 2012 Implicational basis of a finite closure system, with University of Hawai’i, since June 2010 Plenary talk at Algebraic Conference UALT-12 in Szeged, June 2012 Seminar of Laboratory of Optimization, University of Paris-6, June 2012 2
PUBLICATIONS Chapters in books 1. “Lattices of equational and quasi-equational theories” and “Semidistributive lattices”, in monograph “Lattice Theory: Foundation”, by G.Grätzer, Birkhäuser, Springer Basel AG, 2010. 2. “Semidistributive lattices”, joint work with J.B.Nation, in preparation for “Lattice Theory: Special Topics”, G.Grätzer and F.Wehrung, editors. Papers to appear 1. Adaricheva K., Nation J.B., On effective bases of closure systems with unique critical sets, 28 pages. Available in arxiv http://arxiv.org/abs/1205.2881 2. Adaricheva K., Optimum basis of a convex geometry, 12 pages. Available in arxiv: http://arxiv.org/abs/1205.3236 3. Adaricheva K., Nation J.B., Rand R., Ordered direct implicational basis of a finite closure system, to appear in Discrete Applied Math., 26 pages. Available in arxiv: http://arxiv.org/abs/1110.5805 4. Adaricheva K., Nation J.B., Lattices of quasi-equational theories as congruence lattices of semilattices with operators, parts I; to appear in International Journal of Algebra and Computation, 26 pages. Available in arxiv: http://arxiv.org/abs/1106.2203 5. Adaricheva K., Nation J.B., Lattices of quasi-equational theories as congruence lattices of semilattices with operators, parts II; to appear in International Journal of Algebra and Computation, 16 pages. Available in arxiv: http://arxiv.org/abs/1106.2204 6. Adaricheva K., Representing finite convex geometries by relatively convex sets, to appear in European Journal of Combinatorics, 12 pages. Available in arxiv: http://arxiv.org/abs/1101.1539 7. Adaricheva K., Pouzet M., On scattered convex geometries, to appear in Order, 18 pp. Short version in Proceedings of TACL-2011, 64-68. Published papers
3
1. Adaricheva K., Turan G., Sloan R. and Szorenyi B., Horn belief contraction: remainders, envelopes and computational aspect, in Proceedings of KR2012, Rome, Italy, June 2012. 2. Adaricheva K., On prevariety of perfect lattices, Algebra Universalis 65(2011) N1, 21-39. 3. Adaricheva K., Wild M., Realization of Abstract Convex Geometries By Point Configurations, European Journal of Combinatorics, 31(2010), 379-400. 4. Adaricheva K., Pilitowska A., Stanovsky D., On complex algebras of subalgebras, Algebra and Logic,, 47 (2008), 655-686. 5. Adaricheva K., Maroti M.,Mckenzie R.,Nation J.B.,Zenk E., The JonssonKiefer property, Studia Logica, 83(2006), 111-131. 6. Adaricheva K., Nation J.B., Reflections on lower bounded lattices, Algebra Universalis 53(2005), 307-330. 7. Adaricheva K., Nation J.B., Largest extension of a finite convex geometry, Algebra Universalis 52(2005), 185-195. 8. Adaricheva K., Lattices of algebraic subsets, Algebra Universalis 52(2005), 167-183. 9. Adaricheva K., Join-semidistributive lattices of relatively convex sets, Contributions to General Algebra 14, Proceedings of the Olomouc Conference 2002 (AAA 64) and the Potsdam conference 2003 (AAA 65), Verlag Johannes Heyn, Klagenfurt, 2004, 1-14. 10. Adaricheva K.V., Gorbunov V.A., To the structure of subquasivarieties lattices of congruence-noetherian quasivarieties, Studia Logica, 78(2004), 1-10. 11. Adams M., Adaricheva K., Dziobiak W., Kravchenko A., Open problems in the theory of quasivarieties, Studia Logica 78(2004), 357-378. 12. Adaricheva K.V., Gorbunov V.A., Tumanov V.I., Join-semidistributive lattices and convex geometries, Advances in Mathematics 173(2003), 1-49. 13. Adaricheva K., Wehrung F., Embedding finite lattices into finite biatomic lattices, Order 20(2003), 31-48. 14. Adaricheva K.V., Gorbunov V.A., On lower bounded lattices, Algebra Universalis 46(2001), 203 – 213. 15. Adaricheva K.V., Gorbunov V.A., Semenova M.V., On continuous noncomplete lattices, Algebra Universalis 46 (2001), 215 – 230. 16. Adaricheva K.V., Dziobiak W., Gorbunov V.A., On algebraic atomistic lattices of quasivarieties (Russian), Dokl. Ros. Acad. Nauk 359(1998) no.3, 295-297; translation in Math. Dokl. 57 (1998), no.2, 210-211.
4
17. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Congruence properties for lattices of quasivarieties (Russian), Algebra i Logika 36 (1997), N6, 805-820. 18. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Algebraic atomistic lattices of quasivarieties, Algebra i Logika 36(1997), N4, 363-386. 19. Adaricheva K.V. A characterization of congruence lattices of finite semilattices (Russian), Algebra i Logika 35 (1996), N1, 3-30. 20. Adaricheva K.V., Two embedding theorems for lower bounded lattices, Algebra Universalis 36 (1996), 425-430. 21. Adaricheva K.V., Dziobiak W., Gorbunov V.A., Finite atomistic lattices that can be represented as lattices of quasivarieties, Fundamenta Mathematicae 142 (1993), N1, 18-43. 22. Adaricheva K.V., A characterisation of finite lattices of subsemilattices (Russian), Algebra i Logika 30 (1991), N4, 385-404. 23. Adaricheva K.V., Gorbunov V.A., The structure of finite atomistic lattices of quasivarieties (Russian), Dokl. Akad. Nauk SSSR, 310 (1990), N3, 525528. 24. Adaricheva K.V., Gorbunov V.A., Equaclosure operator and forbidden semidistributive lattices (Russian), Sib.Math.Zh. 30 (1989), N1, 7-25. 25. Adaricheva K.V., Semidistributive and coalgebraic lattices of subsemilattices (Russian), Algebra i Logika 27 (1988), N 6, 625-640. Work in progress: 1. Adaricheva K., Pilitowska A., Location functions on convex geometries, manuscript in progress. 2. Adaricheva K., Nation J.B., Lattices of relational quasi-equational theories, manuscript in progress. 3. Adaricheva K., Stasheff polytope as a sublattice of permutohedron, available at http://arxiv.org/abs/1101.1536 4. Adaricheva K., Smith J.D.H., Romanowska A., The algebra of mode homomorphisms, manuscript in progress. 5. Adaricheva K., The lattices of relatively convex sets and the Jamison problem, Part II, manuscript, 26 pages. 6. Adaricheva K., Nation J.B., Equaclosure operators on finite joinsemidistributive lattices, manuscript, 8 pages. GRANTS AND AWARDS
5
NSF-AWM Mentor Travel Grant, supporting joint research with J.B.Nation April 2010 – August 2011 CRDF (US Civilian Research and Development Foundation) grant “Contribution to two leading problems of universal algebra and lattice theory” Ref N 15465 (May 2007-May 2009) INTAS grant of European Community “Universal algebra and lattice theory” Ref N 03-51-4110 (May 2004- May 2007) Deutsche Forschungs Gemeinschaft (DFG) Grant: 436(RUS)113/2670(R) (1997-1998) Russian Fund of Fundamental Investigations (RFFI) Grants: 96-01-01525 and 96-0-000976 (1996-1998) Personal Grant of G. Soros Foundation (1994) Travel Grant of G. Soros Foundation to support the participation in XVI International Conference on Lattices, Ordered Sets and Universal Algebra, Szeged, Hungary (1993) INDUSTRY EXPERIENCE 4 years industry programming in COBOL-II/CICS/UNIX, MVS Reserves Valuation Project: Developed systems for Insurance spread sheets, industry testing, includes major unit for the calculation of deficiency reserves, applying tabular, dynamic methods and implementation of XXX regulation, modifications for the calculation of statutory, tax, Purchase GAAP and VOBA reserves Major Annuity Project: 6
Two year system in all new development with various sub-systems for areas of tax changes, calculations, and valuation systems. Responsible for new coding, maintenance, testing, debugging, and turn-key system. Implementation of immediate annuity functionality. Major Installation Project: New client installation of the system including design and development of connector subprogram to ensure embedding of existing client's processing units and data base subsystems. CURRICULUM DEVELOPMENT 2011 Graduate Course “Algebra and Artificial Intelligence”, Yeshiva University Course targets both mathematics and computer science majors Topics: Propositional logic and its Horn fragment, algorithmic problems of inference, closure operators and their algebraic aspects, bases of closure systems and the canonical basis of Guigues-Duquenne, knowledge base and contractor operator in artificial intelligence, problems of Horn-to-Horn base revision. The course is based on the set of recent research development and assumes students’ reading and presentation of 1-2 research papers. SUPERVISION of STUDENTS RESEARCH WORK Advisor of the Honors projects at the Jay and Jeanie Schottenstein Honors Program, Yeshiva College, and S.Daniel Abraham Honors Program, Stern College for Women: Robert Rand (Yeshiva College, graduated in May 2011) “Ordered Directness and Efficiently Computing Closures” Adina Erdfarb (Stern College for Women, graduated in May 2011) “Stochastic Processes and Time-Series Analysis within the United States Social Security System” Rita Carla Bron (Stern College for Women, graduated in May 2011) “Monte Carlo Simulation of Pawn Store Stocks” 7
TEACHING EXPERIENCE 2008-2012, fall/spring terms Readings in Logic, Math-5315 Modern Algebra, I and II, Math 2215-16 Partial Differential Equations I, Math 3302 Probability, Math 1310; Math Statistics, Math 1320 Calculus I-II, Math 1412-13; Linear Algebra, Math 2105 Stern College for Women, Yeshiva University, Yeshiva College, Yeshiva University, New York, USA 2004-2008, spring/summer/fall terms Calculus I, Math 207; Calculus II, Math 208 Linear Algebra, Math 212; Differential equations, Math 210 Calculus for Business Majors, Math 204 Finite Mathematics, Math 142 College Algebra, Math 140; Trigonometry, Math 141 Harold Washington College, Chicago, IL, USA 2006, summer term Partial Differential Equations I, Math 402 University of Hawaii at Manoa, Honolulu, HI 1997, fall term Course on vectors, matrices and analytic geometry, Math 189-133A McGill University, Montreal, Canada 1994-1996 Practical courses on linear algebra, mathematical logic, analytic geometry and number theory two courses per semester, with 3.5 contact hours per week each High College of Informatics, Novosibirsk, Russia 1992-1994 Course on mathematics two semester course with 3.5 contact hours per week High College of Informatics, Novosibirsk, Russia 8
1990 Graduate course on universal algebra two semester lecture course with 1.75 hours per week Department of Mathematics and Mechanics Novosibirsk State University, Novosibirsk, Russia 1989 Practical course on linear algebra two semester course with 3.5 contact hours per week Department of Biology and Chemistry Novosibirsk State University, Novosibirsk, Russia 1988 Practical course on mathematical logic one semester course with 3.5 contact hours per week Department of Mathematics and Mechanics Novosibirsk State University, Novosibirsk, Russia
ADMINISTRATIVE ACTIVITY Co-Chair of the Department of Mathematics and Engineering of Harold Washington College, Spring 2008: new procedures for assessment of tenure track faculty, revising of the schedules to eliminate shortage of class-rooms and establish the departmental hour, hiring new faculty, introducing home-work computerized assessment for the calculus courses Coordinator of adjunct faculty at the Department of Mathematics and Engineering, Harold Washington College, Fall 2006-Fall 2007: hiring process, schedule, general supervision, class visitations, departmental mid-term and final exams
SYNERGISTIC RESEARCH ACTIVITY
9
Organizer of the Colloquium at Department of Mathematics of Harold Washington College See the web site http://faculty.ccc.edu/colleges/hwashington/math, 2004 -2008 Organizer of INTAS research grant project, 2004-2007, involving 17 members from 6 European countries: Czech Republic, France, Germany, Poland, Russia, Slovakia Organizer of CRDF research grant project, 2007-2009, involving 9 members from 3 countries: Russia, Kyrgyzstan, USA Organizer of Algebra/AI faculty and students research seminar, Department of Mathematical Sciences, Yeshiva University, Spring 2011 Organizer of the international workshop “Algebra across the borders". I” at Yeshiva University, August 2011: 15 participants from France, Poland, South Africa, USA See the web site http://yu.edu/yeshiva-college/ug/mathematics/news-events/ Organizer of the international workshop “Algebra across the borders". II” at University of Szeged, Hungary, June 2012 10 participants from USA, Poland, Hungary, Japan, Kyrgyzstan See the web site http://www.math.u-szeged.hu/~horvath/crossborder2012.htm REVIEWING AND EDITING ACTIVITY Co-editor (with W.Dziobiak) of the 46 double volume of Algebra Universalis devoted to V.A.Gorbunov, 2001 Co-editor (with W.Dziobiak, M.Adams and A.Kravchenko) of the 78 volume of Studia Logica devoted to W.Blok, 2004 Reviews for Algebra Universalis, Algebra and Logic, Siberian Mathematical Journal, Discrete Applied Mathematics, Order, Mathematica Slovaca, Central European Journal of Mathematics, Electronic Journal of Combinatorics and Austrian Science Fund (FWF) INVITED TALKS AND VISITS (2011-12) 10
June 10-14, 2012 13th International Conference on Knowledge Representation and Reasoning Rome, Italy Talk: Horn belief contraction: remainders, envelopes and computational aspect (joint work with G. Turan, R. Sloan and B. Szorenyi) June 14-17, 2012 Department of Combinatorics and Optimization University Paris-6 Paris, France Talk: Optimum basis of finite convex geometry Visit arranged by Prof. V. Duquenne June 21-25, 2012 International conference on universal algebra and lattice theory (plenary speaker) Szeged, Hungary Talk : Effective bases of finite closure systems April 25-28, 2012 Combinatorics seminar Department of Computer Science University of Illinois in Chicago USA Talk: Effective bases of closure systems with unique criticals Visit arranged by Prof. G. Turan January 9-11, 2012 ISAIM-2012 (Artificial Intelligence and Mathematics) Fort Lauderdale, FL, USA Talk: On bases of acyclic closure systems (joint work with J.B. Nation) December 9, 2011 CUNY Graduate Center, Combinatorics seminar New York, NY, USA Talk: On the bases of finite closure systems 11
(joint work with J.B.Nation and R.Rand) October 6, 2011 RUTCOR research seminar Rutgers University, NJ, USA Visit and talk arranged by Prof. E.Boros Talk: The ordered direct basis of a finite closure system (joint work with J.B.Nation and R.Rand) July 26-30, 2011 Topology, Algebra and Categories in Logic (TACL-2011) Marseille, France Talk: On scattered convex geometries (joint work with M.Pouzet) July 23-24, 2011 Department of Combinatorics and Optimization University of Paris-6, France Research visit arranged by Prof. V.Duquenne May 31 – June 24, 2011 Research visit to University of Hawaii Honolulu, HI, USA Supported by AWN-NSF grant April 1, 2011 CUNY graduate center, Combinatorics seminar New York, NY, USA Talk: Finite convex geometries of point configurations March 28-30, 2011 AAAI Spring Symposium Stanford University, CA, USA Talk: Horn belief contraction: remainders, envelopes and computational aspect (joint work with G.Turan, R. Sloan and B.Szorenyi) March 26-27, 2011 AMS sectional meeting 12
Iowa City, IA, USA Talk: Ordered direct implicational basis of a finite closure system (joint work with J.B.Nation and R.Rand)
13
