Ronald Finkbine, Ph.D.

 
Department of Computer Science
Indiana University Southeast
4201 Grant Line Road
New Albany, IN 47150
(812) 941-2264 Office
(812) 265-2637 Fax
rfinkbin <AT>  ius <DOT> edu
 
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:

·         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

·         Introduction to Programming (Fortran, Pascal, Java)

·         Operating System Concepts

 

Service Experience:

·         Member of Various Campus-level Search Committees, 2002, 2003, 2004, 2006, 2007, 2009, 2010

·         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 and 2008-present

·         President of Faculty Senate IUS 2005-2006, and 2006-2007

·         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

 

Research Areas:

·         Mutation testing of Java programs to improve the test suite

·         Proof-carrying code

 

Student Research Projects:

·         Artificial Intelligence Battlespace Simulation

·         Unit test folder

·         Analysis of Fortran Programs

·         Microprocessor simulator

·         Traffic simulator

·         Voting algorithms for fault tolerant computing

 

Memberships:

Member of ACM since 1988

 

 

Under Review or Development

Paper entitled ADA Flatfile Direct IO Data Storage: Simple is Better has been submitted to the 15th International Conference on Reliable Software Technologies - Ada-Europe'2010, June 14-18, 2010, Valencia, Spain.

 

Paper entitled Confidence in Your Software: DFAs in Sequence, to be submitted to The SUMMER 8th International Conference on Computing, Communications, and Control Technologies: CCCT 2010.

 

Paper entitled Mixing Models of Computation and Code: Ada and DFAs in Sequence, to be submitted to SIGAda 2010, ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software, October 24-28, 2010, Fairfax, Virginia.

 

Paper entitled Proof-Carrying Java Programs in a Reactive Environment, under development

 

 

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, 4th International Conference on Computing, Communications and Control Technologies (CCCT 2006), Orlando, July, 2006.

 

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 22nd 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 10th 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, 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 13th International Conference on College Teaching and Learning, Jacksonville, 2002.

 

The Software Portfolio, poster session at The 12th 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.), ACM SIGSOFT, Software Engineering Notes archive, 21(4), July 1996 table of contents, page 96, ISSN 0163-5948.

 

 

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 and Awards:

·         BDM Fellowship, 1991

·         New Mexico Institute of Mining and Technology Computer Science Teaching Assistanceship, 1990-1991, 1991-1992

·         Ohio Board of Regents Merit Scholarship, 1978-1980

 

 

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.