ࡱ> {}zU@ (7bjbj "V(/4444444HCCCCC\Hf24D(\D\D\D\D\D\D\DKfMfMfMfMfMfMf$gRPjFqf4b\D\Dbbqf44\D\Df e e eb4\D4\DKf ebKf e ee44e\D(D 膒C dveef0fejdvjeHH4444j4e\D ,N e.UZU\D\D\DqfqfHH ,# dHH,#STEVEN D. LEONHARDI Curriculum Vita Department of Mathematics and Statistics345 Knopp Valley DriveWinona State UniversityWinona, MN 55987Winona, MN 55987Home: (507) 453-0371sleonhardi@winona.eduOffice: (507) 457-2359Education Ph.D., Mathematics, University of Wisconsin--Madison, August 1994 (4.0 GPA) Field: Mathematical Logic, Computability and Recursion Theory Minor: Computer Science M.A., Mathematics, University of Wisconsin--Madison, May 1990 (4.0 GPA) B.A., Mathematics and Philosophy, Concordia College, Moorhead, Minnesota, May 1983, summa cum laude (3.96 GPA), Credo Honors Program Experience (Category I: Teaching Effectiveness) Associate Professor, Winona State University, July 1999 present Assistant Professor, Winona State University, September 1994 - May 1995 and September 1996 June 1999 Assistant Professor, Moravian College, September 1995 - May 1996 Teaching Assistant, University of Wisconsin-Madison, September 1988 - May 1993 and Summer 1994 Actuarial Technician, Mercer-Meidinger-Hansen, Minneapolis, Minnesota, December 1985 - August 1988 Vice Principal and Mathematics Instructor, Peace Corps/Cameroon, Bopson Bilingual College, West Africa, September 1983 - June 1985 Math/Science Education Program Trainer, Peace Corps/Cameroon, Summer 1984 Courses taught: Math for Liberal Arts, Math for Earth and Life Science I and II, Precalculus, Single Variable Calculus I and II, Multivariable Calculus, Calculus with Review I and II, Finite Mathematics, Applied Calculus, Linear Algebra I and II, Linear Programming, Differential Equations, Advanced Calculus, Discrete Mathematics, Number Theory, Abstract Algebra, History of Mathematics, Problem-Solving Seminar, Freshman Orientation. Technology used: graphing calculators, Mathematica, MATLAB, STORM, Exploring Small Groups, and JMP-IN. I have adapted and/or developed at least one computer lab for most courses taught. Taught one course by Interactive Television (ITV). Publications and manuscripts (Category II: Scholarly Activity) Generalized nonsplitting in the recursively enumerable degrees, Ph.D. thesis, 1994. Nonbounding and Slaman triples, Annals of Pure and Applied Logic, vol. 79 (1996), pp. 139-163. Generalized nonsplitting in the recursively enumerable degrees, Journal of Symbolic Logic, vol. 62 (1997), no. 2, pp. 397-437. Calculus Reform: Concepts First, Proceedings of the 60th Annual American Society for Engineering Education (ASEE) North Midwest Section Meeting, October 1998, 9 pages. Review of The Classical Decision Problem, by Egon Borger, Erich Gradel, and Yuri Gurevich, Studia Logica, vol. 64 (2000), no. 1. DIMACS Classroom Module: Carousel Numbers and DNA Fragment Assembly, with Jonell Comerford, Gary Klatt, and Pam (Reich) Ryan. Darcys Law for Precalculus Students, with Cathy Summa. DIMACS Classroom Module: Reed-Solomon Codes as an Application of Linear Algebra, with Lidia Luquet and James Sauerberg, in preparation. Presentations (Categories II, IV, and V) Generalized Nonsplitting in the Recursively Enumerable Degrees, Annual Meeting of the Association for Symbolic Logic, Notre Dame, IN, March 1993 Generalized Nonsplitting in the Recursively Enumerable Degrees, Annual Joint (AMS-MAA) Mathematics Meetings, Cincinnati, OH, January 1994 Nonbounding and Slaman Triples, Southern Wisconsin Logic Colloquium, Madison, WI, March 1994 Nonbounding and Slaman Triples, Annual Meeting of the Association for Symbolic Logic (ASL), Gainesville, FL, March 1994 Teaching Math in the Peace Corps, WSU Math/Stat Club, Winona, MN, November 1994 My Experiences in Cameroon, International Relations group of the American Association of University Women, Winona Chapter, Winona, MN, February 1995 The Traveling Salesperson Problem, Pi Mu Epsilon, Moravian College Chapter, Bethlehem, PA, November 1995 Generalized Nonsplitting in the Recursively Enumerable Degrees, Connecticut Logic Seminar, Middletown, CT, May 1996 Actuary: Wall Street Journals #1 Job in America, WSU Academic Preview Day, Winona, MN, Fall 1996 Priority Arguments in Computability Theory, WSU Math/Stat Departmental MONSTER Seminar, Winona, MN, three presentations in Winter 1998 Algorithms, Axioms, and Computability, Augsburg College Departmental Seminar, Minneapolis, MN, April 1998 Calculus Reform: Concepts First, Annual ASEE North Midwest Section Meeting, Winona, MN, October 1998 Applications of Discrete Math in Computational Molecular Biology, Mathematical Association of America North Central Section (MAA-NCS) Fall Meeting, Moorhead, MN, October 1998 Project-Driven Mathematics for the Earth and Life Sciences, Annual Joint (AMS-MAA) Mathematics Meetings, Washington, DC, January 2000 Mathematics for Geoscience Majors at Winona State University (poster session), Teaching Quantitative Skills in a Geoscience Context Workshop, Carleton College, Northfield, MN, July 2002 Math Projects for Biology and Geoscience Majors Who Dont Like Math, Annual Joint (AMS-MAA) Mathematics Meetings, Baltimore, MD, January 2003 Panel member and presenter, I Wasn't Trained for This: Teaching Students with Psychological Disabilities, Faculty Development Days Workshop, Winona State University, August 2003. Teaching and Evaluating at Different Cognitive Levels, Teaching Effectiveness Follow-Up Workshop, Winona State University, October 2003. Co-facilitator, Oral presentations: Lets talk about it!, with Tom Linton, Suzanne Doree, Nancy Hagelgans, and Richard Jardine, Annual Joint (AMS-MAA) Mathematics Meetings, Phoenix, AZ, January 2004 Grant Writing (Category II: Scholarly Activity) Computing Environment for Statistics and Mathematics Instruction, with Brant Deppa, Felino Pascual, and Barry Peratt, NSF-CCLI computer lab grant, submitted 1999, rejected. Laboratory Projects in Mathematics for the Earth & Life Sciences, with Barry Peratt, MnSCU Center for Teaching and Learning Faculty Small Grant, awarded 1999-2000. Topological Properties of Classes of Computably Enumerable Degrees, with Dr. Stephen Walk (St. Cloud State University), NSF Division of Mathematical Sciences grant, submitted October 2003, decision pending. Continuing Preparation and Study (Category III) Participant in Winona State University Faculty Development August workshops, 1994 and 1996-present Participant in AMS-MAA-ASL Annual Joint Meetings, 1994, 1995, 1997, 1998, 2000, 2003, and 2004 Participant in MAA Minicourses on Calculus from Graphical, Numerical, and Symbolic Points of View (1995), Graphing Calculators in Calculus (1995), Fibonacci and Catalan Numbers(1998), Teaching a Course in the History of Mathematics (2003), and Java Applets for Mathematics (2004) Participant in ASL Spring Meetings, 1993, 1994, and 1996 Project NExT (New Experiences in Teaching) Fellow and participant in MAA Mathfests, 1996-1997 Participant in MAA Eastern Pennsylvania and Delaware sectional meetings, October 1995 and April 1996 Participant in Teaching Logic In An Illogical World workshop, The Center for Discrete Mathematics and Computer Science (DIMACS), Rutgers University, NJ, July1996 Participant in DIMACS Reconnect Workshops at Rutgers University, NJ, July 7-19, 1998, and Salem State College, MA, June 15-21, 2003 Participant in MAA North Central Section meetings, April 1995, April 1997, April 1998, October 1998, April 1999, October 1999, April 20002004 Attended Pi Mu Epsilon conference at St. Johns Univ., MN, April 1998, 1999, and 2002 Participant in WSU Learning Project, Spring Quarter 1997 Participant in Parker Palmer workshop: The Courage To Teach, WSU, April 1998 Participant in Sue Rosser workshop: Teaching To Reach The Majority, May 1998 Participant in Education/SciMath workshop, December 1998 Participant in AMS Special Workshop Computability Theory and Its Applications, University of Colorado, July 1999 Organizer and participant in Felder/Brent Teaching Effectiveness Workshop, WSU, October 2001 and August 2003 Participant in Teaching Quantitative Skills in a Geoscience Context workshop, Carleton College, Northfield, MN, July 2002 Membership in the Association for Symbolic Logic, including journal subscription, since 1993 Membership in the Mathematical Association of America, including journal subscriptions, since 1994 Contribution to Student Growth and Development (Category IV) Editor of Math/Stat OnLine Bulletin Board, 1994-95 (this could also be considered Category V) Coordinator of Math/Stat Monthly Problem Contest, 1994-95 (this could also be considered Category V) Coordinator for student loans of departmental graphing calculators, Spring 1997 Spring 2000 (this could also be considered Category V) Supervisor of the Math/Stat departmental tutoring lab and paper grading, September 1997 May 2001 (this could also be considered Category V) Coach for students participating in the MAA-NCS Team Contest, the Putnam competition, and the MCM Modeling Competition, since September 1997 Mentored student Derek Bernard in undergraduate research (as part of the Mentorship Program), September 1997 December 2000 Conducted independent study courses with students in Matrix Algebra (summer 2001), combinatorial problems (spring 2002), Abstract Algebra (summer 2002), and Readings in the History of Mathematics (spring 2003). Summer registration advising, 1995 (WSU) and 1996 (Moravian) Advising mathematics majors and minors, since 1997 Advising undeclared students, since 1998 Teaching First-Year Orientation since 2001 Service To the University and The Community (Category V) Mathematics Subgroup, 1994-1995 and 1996-2001 Precalculus Committee Chair, 1994-95 Web Page Development Committee, 1996-97 Contemporary Math Committee, 1997-98 Fixed Term Search Committee, 1998 and 1999 Departmental Laptop Committee, 1998-99 Mathematics Education Search Committee Chair, 1998-2000 Department Programs Committee, 2001-present Student Services and Opportunities Committee, 2001-present Faculty Development Board, 1997-2001 Faculty Development Team, 2001-present Advising Council, 1998-2003 Co-organizer of the MAA-North Central Section Summer Short Course on Artificial Neural Networks, June 1997, with Barry Peratt and Darrin Frey Co-chair of MAA/NCS Local Arrangements Committee, 2003-2004 Referee for the Journal of Symbolic Logic, Fall 1994, Fall 1996, and Spring 1997 Referee for the Archive for Mathematical Logic, Spring 2000 Reviewer for Saunders Publishing, Spring 1998 Reviewer for Studia Logica, Fall 1998 Reviewer for Addison-Wesley, Spring 1999 and Spring 2001 MAA North Central Section Executive Board At-Large Member, 1999-2001 MAA North Central Section Nominations Committee, 2001-2002 Grader in regional competition, Minnesota Mathematics Meet, since December 1996 Science Fair Judge, March 2001 and March 2002 Active in Winona Chapter Early Childhood and Family Education events, 1996 2001 Winona Area Public Schools Strategic Planning Committee, Jan.-Mar. 2001 Vote YES Referendum Committee, Aug.-Nov. 2001 Volunteer at Bluffview Montessori School, since December 2001 Lutheran Campus Ministries Board, 2002-present External References Janet Andersen, Department of Mathematics, Hope College P.O. Box 9000, Holland, MI 49422-9000 Office: (616) 395-7909 E-mail: jandersen@hope.edu Ralph Carr, Department of Mathematics, St. Cloud State University 720 Fourth Ave. South, St. Cloud, MN, 56301-4498 Office: (320) 308-2275 E-mail:  HYPERLINK "mailto:rcarr@stcloudstate.edu" rwcarr@stcloudstate.edu Home: (320) 202-7893 (On sabbatical leave 2003-2004) Suzanne Doree, Department of Mathematics, Augsburg College Campus Box 61, 2211 Riverside Avenue, Minneapolis, MN 55454 Office: (612) 330-1059 E-mail:  HYPERLINK "mailto:doree@augsburg.edu" doree@augsburg.edu Steffen Lempp, Department of Mathematics, University of WisconsinMadison 480 Lincoln Drive, Madison, WI 53706 Office: (608) 263-1975 E-mail: lempp@math.wisc.edu $% A G  8 G j G [ O x  . 䟑䇹wwhfSeh56CJOJQJhsxCJOJQJhfSeh6>*OJQJhfSeh>*OJQJhfSeh6CJOJQJhfSeh5CJOJQJh_~h>*OJQJ\hfSeh6 hfSehhfSehCJOJQJhfSeh5CJOJQJ*$%Nef~QEkdm$$Ifl0" |4 laEkd$$Ifl0" |4 la $$Ifa$gd $Ifgdgd$a$gd (7A ^VQQgd$a$gdsxEkdG$$Ifl0" |4 laEkd$$Ifl0" |4 la $$Ifa$gd $Ifgd A . j ' F G 2 N O $a$gdsx L]L`gdL]Lgdgd`gd   [\<=gh%&$a$gdgdsuPf$d@_abz3] ''((--000 1^1k1333344ٽٳ٩٢٩ٓ٩٩٢٩٩ٽyhfSeh5CJOJQJhCJOJQJaJh,cXhCJOJQJaJ hfSehhCJOJQJhC9CJOJQJhfSeh6CJOJQJhfSehCJH*OJQJhfSehCJOJQJhfSeh5CJOJQJh5CJOJQJ.qr^_,-01 lm$a$gdgdde7834\ ] Q!R!t"$a$gdgdgdt"u""""##t#u#$$$$.%/%%%%%&&`&a&&&''~''gd'''Y(Z((((((2)])^))))N*O***l+m+++,,,,$a$gdgdgd,0-1-Z-[--------..?.@.e.f......./ /[/\//$a$gdgd//////U0V00000!1"1P1Q1w1x111113242222233gd3O3P3~333333344<4b4444 5r55556666(7$a$gdgd44<4j4s444+5,5W5X5Y5p5q55C6D6k6l6~66'7(7梶ǀǀobhhF'CJOJQJ hfSeh0JCJOJQJaJ%jhfSehCJOJQJUaJhfSeh0JCJOJQJ'jhfSehCJOJQJU!jhfSehCJOJQJUhfSehCJOJQJaJhfSehCJOJQJ\aJhfSehCJOJQJhfSehCJOJQJ 1h/ =!"#$%k$$If!vh5 5|#v #v|:V l5 5|/ 4k$$If!vh5 5|#v #v|:V l5 5|/ 4k$$If!vh5 5|#v #v|:V l5 5|/ 4k$$If!vh5 5|#v #v|:V l5 5|/ 4DyK rcarr@stcloudstate.eduyK <mailto:rcarr@stcloudstate.eduF@F NormaldhOJQJ_HmH sH tH H@H  Heading 1 @&5>*CJOJQJDA@D Default Paragraph FontRi@R  Table Normal4 l4a (k(No List:B@:  Body Text CJOJQJD>@D Title$da$56CJOJQJ0U@0  Hyperlink>*B*(/V$%Nef~A.j'FG2NO[\< = g h % & q r ^ _ ,-01 lmde7834\]QRtutu./`a~Y Z 2!]!^!!!!N"O"""l#m###$$$$0%1%Z%[%%%%%%%%&&?&@&e&f&&&&&&&' '['\'''''''U(V(((((!)")P)Q)w)x)))))3*4*****++O+P+~+++++++,,<,b,,,, -r----....*/0000 0 0 0 0 0 0 0 0 0 0 0 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000(000x000000000000000($%Nef~A.j'FG2NO[\< = g h % & q r ^ _ ,-01 lmde7834\]QRtutu./`a~Y Z 2!]!^!!!!N"O"""l#m###$$$$0%1%Z%[%%%%%%%%&&?&@&e&f&&&&&&&' '['\'''''''U(V(((((!)")P)Q)w)x)))))3*4*****++O+P+~++++++,<,b,,,, -r----....*/ {0A0 {0A0 {0A0 {0A0 {0A0 {00 {0C0 {0C0 {00 {0E0 {0E0 {00 {0G0 {0G0 {00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00{00{00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 {00 04(7"*A t"',/3(7 !#$%&'()(7+-X-p-C.k.~.(/XXs4Pytܼuv ywyxdyz,Yy{Ԉ|lz}~\LyD}} P}O}O}LO} O}N}N}LN} N}M}}J}z}z}y} L̀ L(<)|)))<*|** ИLИИИ јLјјј ҘLҘҘҘ ӘLӘӘӘ ԘLԘԘԘ ՘L՘՘՘ ֘L֘֘֘ טLטטט ؘLؘؘؘ ٘L٘٘٘ ژLژژژ ۘLۘۘۘ ܘLܘܘܘ ݘLݘݘݘ ޘLޘL333 4L444 5L555 6L666 7L777 8L88 9L99 :L::: ;L;;; <L<<< =L=== >L>>> ?L? ? ?  @ L@ @@ ALAAA BLBBB CLCCC DLDDD E LE!E"E# F$LF%FNNffms~~!!"\\e&  ! F F O sshhp4SS[ z;;A;;GG[_ttzTTf$$++++/,/,4,<,<,K,T,W,,,,,,,,,,-------- ............./*/      !$"#%'&(*)+.,-/0124356879;:<>=?A@BDCEFGIHJKLNMOQPRTSUWVXY[Z\]^`_acbdfegjhiklmnpoqtrsuvwyxz{}|~ddlr}}(( ++  dll$// 3 M Q Q     ~~nrrAY]] @GGCCY]]nydhh$$++++3,;,;,I,R,V,a,a,,,,,,,,, - ------ ... . ...........%/*/    !#$"%'&(*)+-.,/0124356879;:<>=?A@BDCEFGIHJKLNMOQPRTSUWVXY[Z\]^`_acbdfegijhklmnpoqstruvwyxz{}|~ :*urn:schemas-microsoft-com:office:smarttagsStreet9*urn:schemas-microsoft-com:office:smarttagsState>*urn:schemas-microsoft-com:office:smarttags PostalCode8*urn:schemas-microsoft-com:office:smarttagsCity=*urn:schemas-microsoft-com:office:smarttags PlaceType=*urn:schemas-microsoft-com:office:smarttags PlaceNameBg*urn:schemas-microsoft-com:office:smarttagscountry-region9*urn:schemas-microsoft-com:office:smarttagsplace>*urn:schemas-microsoft-com:office:smarttags PersonName;*urn:schemas-microsoft-com:office:smarttagsaddress88*urn:schemas-microsoft-com:office:smarttagsdate 151998200367DayMonthYeargg88p{\glr  & , 7 ? A G H N d e     ` k p v >J%;@ep;=z!!%%^)d)e)k)++*/18BJZd g $ ""--*/33333333jjA A P f %%++,,'/'/*/d e */wsu%$;9YmL &n=(D].45C9a U `$Uhvklssxdy%m*KY*K!AC?V:?}Iqj8MOYF'"I$%Nef~*/@f f gXf f (/P@UnknownGz Times New Roman5Symbol3& z ArialI9Courier 10 Pitch1" Helv"qhe&?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiklmnopqstuvwxy|Root Entry F暒~Data ,1Table4jWordDocument"VSummaryInformation(jDocumentSummaryInformation8rCompObjj  FMicrosoft Word Document MSWordDocWord.Document.89q