Ronald Finkbine, Ph.D.

TEACHING

RESEARCH

VITA

SERVICE

CONTACT

CURRICULUM VITAE

Present Address:	Department of Computer Science Indiana University Southeast 4201 Grant Line Road New Albany, IN 47150
Contacts:	(812) 941-2264 Office (812) 265-2637 Fax rfinkbin <AT> ius <DOT> edu ronaldfinkbine <AT> hotmail <DOT> com
Security Clearance:	Secret LEVEL 1985-1990, currently inactive
Education:	Ph.D. in Computer Science from the New Mexico Institute of Mining and Technology , 1994. Dissertation titled Recognition of High-Level Algorithms, UMI-9536451.
	M. S. in Computer Science from Wright State University , 1990. Thesis titled A Cobol-to-C Translator
	B. S. in Computer Science-Business Option from Wright State University , 1985
	Associate degree in Accounting from Sinclair Community College , 1981.
Professional Experience:	August 2005 to present in the Computer Science Department of Indiana University Southeast as an Associate Professor.
	August 2000 to May 2005 in the Computer Science Department of Indiana University Southeast as an Assistant Professor.
	August 1998 to May 2000 in the Mathematics and Computer Science Department of Hanover College as an Assistant Professor.
	August 1992 to May 1997 in the Computer Science Department of Southeastern Oklahoma State University as an Assistant Professor
	August 1997 to May 1998 in the Computer Science Department of Southeastern Oklahoma State University as an Associate Professor
	August, 1990 to May, 1992 in the Computer Science Department of the New Mexico Institute of Mining and Technology as a graduate teaching assistant.
	April 1989 to June, 1990 at Maxima Federal Systems, Dayton, Ohio.
	April 1985 to April, 1990 at Battelle Labs, Columbus, Ohio.
Courses Taught (upper-level):	Operating Systems Compiler Design Computer Security Data Structures and Algorithms Programming Languages Artificial Intelligence Computer Architecture Software Testing Numerical Analysis Computer Networks Online Privacy/Security Advanced Business Programming
Courses Taught (lower-level):	Introduction to Programming (Fortran, Pascal, Java) Operating System Concepts
Committee Experience:	Member Faculty Advisory Committee to Indiana University Presidential Search, 2006-2007 Faculty Senate President, 2005-2006, 2006-2007 Faculty Board of Review, Chair Member Statewide Committee on Articulation, IUS Faculty Senate, IUS, 2003, 2004, 2005 Faculty Senate, SOSU, 1996, 1997, 1998 Member of University Division Committee, IUS, 2001 Member of Improvement of Writing Committee, IUS, 2001, 2002 Member of Special Education Advisory Committee, School of Education Department of Special Education, 2001, 2002, 2003 Member of Faculty Search Committees, 2001, 2003, 2003, 2004, 2005, 2006, 2007 Member of Honor's Committee, SOSU, 1996-1998 Member of Library Committee, SOSU, 1995-1997 Member of Faculty Senate Policy & Procedures Committee, SOSU, 1995-1998 Member of North Central Steering Committee, SOSU, 1995-1998
Administrative Experience:	Department Coordinator, IUS, 2002, 2003
	Chair Steering Committee Masters of Technology Degree, SOSU, 1996-1998
	Chair Faculty Senate Budget Committee, SOSU, 1996-1998
	Chair of Faculty Budget Committee, SOSU, 1995-1998
Promotions:	Promoted to Associate Professor of Computer Science in the Department of Computer Science, IUS, 2004 Awarded tenure in the Department of Computer Science, IUS, 2005 Promoted to Associate Professor of Computer Science in the Department of Computer Science, SOSU, 1998 Awarded tenure in the Department of Computer Science, SOSU, 1997
Interest Areas:	Mutation testing of Java programs to improve the test suite
	Proof-carrying code
Student Research Projects:	Artificial Intelligence battle simulation
	Unit test folder
	Analysis of Fortran Programs
	Microprocessor simulator
	Traffic simulator
	Voting algorithms for fault tolerant computing
Specialized Coursework:	MODCOMP Computers (MAX Real-time Operating System)
	VAX Internals for System Managers
	Oracle Relational Databases
Grants:	SBA Grant (applied for)
	IUS Second Paper Grant, 2003
	Faculty Travel Grant, IUS, 2002
	Faculty Research Grant, IUS, 2000, 2001, $15k
	Faculty Development Grant, SOSU, 1995
	Faculty Development Grant, SOSU, 1994
Scholarships:	BDM Fellowship, 1991 Ohio Board of Regents Merit Scholarship, 1978-1980
Memberships:	President of New Mexico Institute of Mining and Technology (NMIMT)
	Student Chapter of the ACM, 1990-1992
	Member of ACM since 1988
	Member of AITP since 2000
	Member of EDSIG since 2000
Journal Publications:	The Cobol DFA Tool, in Information Systems Education Journal, 2(10), ISSN 1545-679X, Spring, 2004, download
Conference Publications: (Refereed)	Representing and Generating Mutant Programs in Support of Measuring Test Suite Effectiveness, presented at the ISECON (Information Systems Education Conference), Dallas, November, 2006, download, presentation.
	Managing Mutant Programs in Support of Measuring Test Suite Effectiveness, 4^th International Conference on Computing, Communications and Control Technologies (CCCT 2006), Orlando, July, 2006.
	Proof-Carrying Java Programs in a Reactive Environment, under development
	Cache: a Term of Many Definitions, with James Doeltz (student), Academy of Business and Information Technology 2004 Conference, April, 2004, Pittsburg, download, presentation
	The Cobol DFA Tool, in Proceedings of the Information Systems Education Conference 2003, San Diego, November, 2003, Proceeding of ISECON 2003, ISSN 1542-7382, presentation, download
	The Electronic Software Portfolio as an Example of Active Testing: A Work in Progress, in Proceedings of the Frontiers In Education 2003, Boulder, 2003, ISBN 0-7803-7961-6, download
	Usage of Mutation Testing as a Measure of Test Suite Robustness, in Proceedings of the 22^nd Digital Avionics Systems Conference, www.dasconline.org, Indianapolis, Indiana, October, 2003, download
	Pattern Recognition of the Selection Sort Algorithm, ICCI 2002, in Proceedings of the 1st IEEE International Conference on Cognitive Informatics, Calgary, Canada, August 2002, ISBN 0-7695-1724-2, abstract, download
	Introducing the Test Harness: Automating the Test Suite, with Nicholas Kraft, in Proceedings of the Information Systems Education Conference 2002, San Antonio, November, 2002, presentation, download
	Growing Testers: Incorporating Testing Concepts throughout the CS Curriculum, with Peter Macpherson, in Proceedings of the Information Systems Education Conference 2001, Cincinnati, November, 2001, presentation, download
	Analyzing FORTRAN Codes for Program Understanding and ReEngineering, with Warren Mason, Proceedings of the 10^th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Atlanta, June 1997, Proceedings published as ISBN 90-5699-615-0, program, download
	Intelligent Transformations of Form Representations for Programming Languages, with Jeffrey Putnam, in Proceedings of the First Annual Workshop on Program Understanding, San Jose, CA, 1992, download
Invited Talks	Advising the Unsuccessful Student, Information Systems Education Conference 2004, Newport, RI, November, 2004, presentation
Conference Publications: (Not Refereed)	A Database for Managing Mutant Programs, accepted and presented in the Works-in-progress of 22nd Annual Computer Security Applications Conference (ACSAC), Miami Beach, December, 2006, paper, presentation.
	Increasing Software Safety: Moving Test Support to the Runtime Image, presented at the Annual Computer Security Applications Conference, www.acsac.org, Las Vegas, Nevada, December, 2003, program, presentation, download
	Terms of Science, poster session at The 13^th International Conference on College Teaching and Learning, Jacksonville, 2002
	The Software Portfolio, poster session at The 12^th International Conference on College Teaching and Learning, Jacksonville, April, 2001
	ARS: An Expert System for Understanding FORTRAN Numerical Analysis Programs, in the Proceedings of Ninth Annual Mid-America Symposium on Emerging Computer Technologies '96, Norman, OK, September, 1996
	Program Understanding: Reasoned Detection of the Selection Sort Algorithm, in the Proceedings of the Mid-America Symposium on Emerging Computer Technologies '95, Tahlequah, OK, September, 1995
	A CLIPS Template System for Program Understanding, in the Proceedings of the Third Conference on CLIPS, Houston, TX, 1994
	Artificial Intelligence Applications in the Translation of Programming Languages, in the Proceedings of the 13th Annual Ideas in Science and Electronics Exposition and Symposium (and the IEEE), Albuquerque, NM, May, 1991
	An Architecture for Automatic Cobol-to-Ada Translation, in Proceedings of the Ninth Annual National Conference on Ada Technology, Washington, DC, March, 1991
	Automatic Cobol-to-Ada Translation, in Proceedings of The First Annual Armed Forces Communications and Electronics Association Mid‑West Regional Conference, Dayton, OH, July, 1990
University Publications:	Recognition of High-Level Algorithms, Ph.D. Dissertation, New Mexico Institute of Mining and Technology, May, 1994
	A Cobol-to-C Translator, M. S. Thesis, Wright State University, 1990
Book Reviews:	Review of book An Introduction to Functional Programming Systems Using Haskell, by A. J. T. Davie, appeared in SIGSOFT.
	Review of book Software Runaways by Robert Glass, appeared in SIGSOFT.
	Review of book Software Development Using Eiffel, by Richard Wiener, appeared in SIGSOFT.
	Review of book Structured Cobol for Technical Students, by Dwight Watt, appeared in SIGSOFT.
	Review of book The Media Equation, How People Treat Computers, Television and New Media Like Real People and Places, by Byron Reeves and Clifford Nass, appeared in SIGSOFT.
	Review of book The Rational Unified Process: An Introduction, by Phillippe Kruchten, appeared in SIGSOFT.

Review of book Object-Oriented Common Lisp, by Stephen Slade, appeared in SIGSOFT.

	Review of book Year2000: Best Practice for Y2K Millennium Computing, by Dick Lefkon, Editor, appeared in SIGSOFT.
	Review of book Software Fault Tolerance, Michael R. Lyu (ed.), appeared in SIGSOFT.
	Review of book Software Fault Tolerance, ACM SIGSOFT Software Engineering Notes archive, 21(4), July 1996 table of contents, page 96, ISSN 0163-5948.
	Review of book Software Development using Eiffel, ACM SIGSOFT Software Engineering Notes archive, 21(4), July 1996 table of contents, page 96, ISSN 0163-5948.
Other:	Interview with ACM Fellow L. Peter Deutsch, ACM SIGSOFT Software Engineering Notes archive, table of contents, 24(1), January, 1999, page 21, ISSN 0163-5948, transcript.