Curriculum Vitae
Richard K. Min
August 2009
AREAS OF INTEREST
• Intelligent Systems and AI: Coinduction in Monotonic and Nonmonotonic Reasoning, Theorem Proving, Data and
Text Mining, Machine Learning, Natural Language Processing.
• Programming Languages: Logic and Functional Programming, Answer Set Programming, Constraint
Programming, Semantics and Implementation of Compiler and Parser and Applications.
• Computer and Network Security: Network Packet Filtering and Data Mining, Intrusion Detection System.
• Software Engineering: IT & Project Management, Software Reverse Engineering, Structured Programming,
Software Development, Change and Test Management, Cleanroom technology and CMM, Software Matrix,
Model Checking and Verification.
EDUCATION
• Doctor of Philosophy, Computer Science, University of Texas at Dallas, Richardson, Texas, August 2009,
Dissertation Title: Predicate Answer Set Programming with Coinduction.
• Master of Business Administration in Management, Dallas Baptist University, Dallas, Texas, May 2001.
• Master of Theology, Bible Exposition (major) and Education (minor), Dallas Theological Seminary, Dallas, Texas,
May 2001.
• Master of Divinity, Biblical Languages and Translation (Greek and Hebrew) and Education (minor), Southwestern
Baptist Theological Seminary, Fort Worth, Texas, May 1995.
• Master of Divinity, Theology (major) and Philosophy (minor), Washington Korean Baptist Seminary, Annandale,
Virginia, May 1992.
• Master of Science, Computer (CICE) Engineering, University of Michigan, Ann Arbor, Michigan,
December 1983.
• Bachelor of Science, Computer Science, University of Michigan, Flint, Michigan, May 1981.
PROFESSIONAL EXPERIENCE
1/2006 – Present. GAANN Fellowship (Research Assistant/Teaching Assistant), Computer Science, University of
Texas at Dallas, Richardson, Texas.
Research in Logic Programming, Dissertation title: “Predicate Answer Set Programming with Coinduction”
(Fall 2006 – Present). Research in Static Analysis and Database Security (Fall 2006). Teaching Assistant:
CS6373 Intelligent Systems (TA Spring 2008), CS6364 Artificial Intelligence (TA Fall 2008), CS6381
Advanced Programming Language (TA Spring 2008), CS8V01 - Data Mining (TA Spring 2007). CS6368 –
Telecommunication Management Network (TA Fall 2007), CS4337 Advanced Programming Language
(TA Fall 2006, Fall 2007), CS6360 Database (TA Summer 2006). Research Assistant in Computer and
Network Security, Firewall rules and Data Mining, and security of Ad Hoc Wireless Network, Data Mining
and Machine Learning (2005-2006). Research in Vision and Image Processing (2004-2005). Research in
Distributed Operating Systems, Middleware and Networking, and the implementation of Maekawa’s
algorithm for mutual exclusion and distributed shared memory on cluster of 15 Sun systems (2003-2004).
Research in Natural Language Processing and Machine Learning on temporal and spatial prepositions
(2001-2003). Advisor: Dr. Gopal Gupta, Computer Science Dept, University of Texas at Dallas (Jan 2006
– Present).
1/2001 – 5/2008. Adjunct Professor, Computer Science, Richland College.
Teaching various undergraduate Computer Science and MIS courses. I have taught the following courses:
(1) COSC 1300 Introduction to Computer Science and Microsoft Office suite software, (2) COSC 1401
Microcomputer and its Applications, (3) COSC 2435 Application Problem Solving, (4) COSC 2415
Advanced C++ Programming and Data Structure.
8/2001 – 8/2004. Adjunct Professor, School of Business, Our Lady of the Lake University - Dallas Weekend
Program.
Teaching BBA and MBA courses in MIS/IT, e-Commerce, Computer & Network Security,
Telecommunication and Network Management, Database: ELCM 4320 – Computer and Network Security,
ELCM 3330 Database Management System, ELCM3320 – Telecommunication Management, BADM 8317
– IT Management (a Graduate core course in MBA program), CSYS 1310 – Microcomputer and its
Application. Many of these textbooks are used in both undergraduate and graduate courses in Computer
Science, IT management, Computer and Network Security, Software Engineering and Object Oriented
programming, Databases and Web servers, network and internet programming, protocol analysis and
simulation, systems and network administration, and Cisco routers and wireless routers.
1/2000 – 12/2000. Adjunct Professor, MIS, College of Business, Dallas Baptist University (January 2000 -
December 2000), teaching various MIS courses including Java, Visual C++, Visual Basic. MISM 1302 -
Visual Basic, MISM 2311 – Problem Solving and C/C++ Programming, MISM 2312 – Advanced Java
Programming.
9/1997 – 12/2005. Senior Analyst. AT&T/SBC, Dallas, Texas.
IT National Data. Tool Support & Billing - Perl, Oracle, Java, Vignette, NetExpert, Eclipse, Apache
Tomcat web programming in HP & SUN Unix (Mar – Dec 2005). Senior Systems Analyst. UNIX Systems
Administration for 400+ Sun Servers, Security & Patch Management. SUN Solaris, ISS System Scanner,
Patchdiag Tool, Intrusion Detection Systems (Nessus, Snort), PAM, Outage Analysis, Veritas, Maintaining
4 Web Pages & Apache, Unix Kernel & Network Programming in C/C++, Tool Supports with Perl, JSP
Programming for Oracle & Informix. Southwestern Bell, Dallas, Texas (Dec 1998 – Feb 2004). CO
Manager, Central Office Manager and Building Coordinator, Duncanville CO, Texas (May 2004). Oracle
DBA/Data Modeling, SBC Telegence Long Distance Development, Data Modeling & Oracle Designer
2000 installation & Admin, Oracle DBA in NT & UNIX, C/C++, Visual Basic, JAVA, HP-UX, SBC
Wireless Long Distance, Richardson, Texas (Aug 98 – Dec 98). Systems Programmer Analyst, IBM
mainframe systems programming, Disaster Recovery with SUNRISE, SAS/MXG systems performance &
tuning, Wireless Switch/MPS, GT/EDS & Roamer files, Reseller Interface, Production Support for Billing,
CBIS Macro/Cell Billing & Invoice system, Southwestern Bell Mobile System (Sep 1997 - Aug 1998).
2/1996 – 9/1997. Senior ALC Programmer, First American Real Estate Tax Service Information Systems, Dallas,
Texas.
Real Estate & Mortgage Systems Design and Architecture, Assembler Programming, COBOLII, CICS,
ADABAS, SQL, and Natural, First American (Oct 1996 - Sep 1997). Consultant, NationsBank,
COBOL/CICS, SSI SBA, Accounting EFT & Direct Deposit System development, Check Processing (Feb
1996 – Oct 1996).
5/1995 – 2/1996. Systems Engineer, EDS, Plano, Texas.
VISA & MasterCard system installation and testing. Designed and Implemented EFT & ACH subsystem,
Compliance and Regulation, Plastic Card/Embossing Process, EDS Plano, Texas.
1/1993 – 5/1995. Computer Lab Assistant, SWBTS Computer learning center.
3/1984 – 7/1992. Lead Systems Programmer, IBM.
ImagePlus MVS/ESA development, responsible for IBM MVS/ESA, CICS, DB2, IMS, LAN/TR, and
workstations, and providing project leadership for two senior systems programmers. Supporting over 50
developers. MVS/ESA SysGen & IOGen, installed DB2, CICS, IMS DB/DC, and managed two ImagePlus
Labs. IBM Bethesda, Maryland (1989 - 1992). Software Engineer, responsible for parsers for IBM
COBOL, COBOL II, ANSI84 COBOL. Research on Software Reengineering, Cleanroom software
engineering, Program Flow Analysis, Software Metrix and Complexity. IBM Gaithersburg, Maryland,
(1988 - March 1989). AI Programmer, Staff, Marketing Division. Developing Financial Marketing Expert
System for Marketing Teams and Consultation, responsible for Computer Mainframe capacity planning,
equipment planning, AI search technique and research, LISP & PROLOG, OPS5, various heuristics and
search engine. Object Oriented Programming. IBM Advanced Marketing Institute. IBM Thomas J.
Watson Research Center, Yorktown Height, New York (1986 - 1988). Systems Programmer, providing
MVS/XA Systems and technical support to the system developers. SAS/MXG performance. IBM
Poughkeepsie, New York (1984 - 1986).
5/1981 – 2/1983. Project Leader, University of Michigan Business School.
Leading five graduate student programmers, development and implementation of MIS system including
accounting systems, Database Research Study Group. Division of Management Education, School of
Business Administration, University of Michigan, Ann Arbor, Michigan.
Summer 1981. Programmer, University of Michigan Hospital, Ann Arbor, Michigan. Hospital MIS system
development.
1980 – 1981. Programmer & DBA, Hurley Medical Center, Flint, Michigan. Hospital MIS system development.
1981 – 1983. Teaching Assistant, Electrical and Computer Engineering, University of Michigan, Ann Arbor,
Michigan. Teaching Assistant, University of Michigan, Ann Arbor. For Computer Science and Electrical
Engineering courses, with classroom lecture for class size from 100 to 150 students (September 1981 –
December 1983), Assembly Language, Compiler Theory.
1977 – 1983. Tutor, Research Assistant, Programmer/Analyst, in Computer Science, Mathematics, Statistics, Social
Science at Northern Virginia Community College, George Mason University, University of Michigan.
1980. Tae Kwon Do Instructor, YMCA, Flint, Michigan.
1988 – 1989. Production Manager, Television, Korean Christian Broadcasting Inc, Fairfax, Virginia.
1974 – 1976. Assistant Manager, YS Lumber & Mill Company, Busan, Korea.
PUBLICATIONS
Min, R., Gupta, G.: Coinductive Logic Programming and its Application to Action and Planning. In Preparaton for
PADL 2010. http://www.utdallas.edu/~rkm010300/research/PADL2010Min.pdf
Min, R., Gupta, G.: Coinductive Logic Programming and its Application to Rational Sequences and Model
Checking. Submitted to POPL 2010 (ACM SIGPLAN).
http://www.utdallas.edu/~rkm010300/research/POPL2010Min.pdf
Min, R., Bansal, A., Gupta, G.: Predicate Answer Set Programming via Coinductive Logic Programming. Journal
Engineering Intelligent Systems (JEIS). Special Issue: Developments in the field of Intelligent Systems
Applications. (Forthcoming). CRL Publishing.
http://www.utdallas.edu/~rkm010300/research/JEIS2010Min.pdf
Min, R., Gupta, G.: Coinductive Logic Programming with Negation. LOPSTR’09. (To Appear).
http://www.utdallas.edu/~rkm010300/research/LOPSTR2009Min.pdf
Min, R.: Predicate Answer Set Programming with Coinduction. Ph.D. Dissertation. Department of Computer
Science, The University of Texas at Dallas. June 2009.
http://www.utdallas.edu/~rkm010300/research/Min2009Thesis.pdf
and slide: http://www.utdallas.edu/~rkm010300/research/Min2009Thesis-slide.pdf
Bansal, A., Min, R., Gupta, G.: Goal-Directed Execution of Answer Set Programs. CICLOPS’09 (Invited Paper).
ICLP’09 workshop. http://www.utdallas.edu/~rkm010300/research/CICLOPS2009Gupta.pdf
Min, R., Gupta, G.: Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS 2009.
http://www.utdallas.edu/~rkm010300/research/FLAIRS2009Min.pdf
Min, R., Bansal, A., Gupta, G.: Towards Predicate Answer Set Programming via Coinductive Logic Programming.
AIAI 2009. http://www.utdallas.edu/~rkm010300/research/AIAI2009Min.pdf
Gupta, G., Simon, L., Bansal, A., Mallya, A., Min, R.: Coinductive Logic Programming and its Applications.
PADL’09. (Invited Paper). http://www.utdallas.edu/~rkm010300/research/PADL2009Gupta.pdf
Min, R., Gupta, G.: Predicate Answer Set Programming via Coinductive Logic Programming. Technical Report
(Draft) March 2009. http://www.utdallas.edu/~rkm010300/research/co-ASP.pdf
Min, R., Gupta, G.: Negation in Coinductive Logic Programming. Technical Report UTDCS-34-08 Computer
Science Department, The University of Texas at Dallas, October 2008.
http://www.utdallas.edu/~rkm010300/research/co-SLDNF.pdf
Bansal, A., Min, R., Simon, L., Mallya., A., Gupta, G.: Verification and Planning based on Coinductive Logic
Programming (Extended Abstract). In International Workshop on Logical Frameworks and Meta-
Languages: Theory and Practice (LFMTP'08).
http://www.utdallas.edu/~rkm010300/research/nasalmf2008min.pdf
Gupta, G., Bansal, A., Min, R., Simon, L., Mallya., A.: Coinductive logic programming and its applications. (tutorial
paper). In proc. of ICLP’07, 2007.
http://www.utdallas.edu/~rkm010300/research/iclp2007min.pdf
Golnabi, K., Min, R., Khan, L., Al-Shaer, E.: Analysis of Firewall Policy Rule Using Data Mining Techniques, In
the 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006), April 2006.
http://www.utdallas.edu/~rkm010300/research/noms2006min.pdf
Karnaugh, M., Min, R.: “Mainframe Equipment Planner: A Case of Industrial Strength Search” IBM Research Paper,
also published in IBM ITL ES 1988 Proceedings.
Apte, C., Griesmer, J., Hong, S., Karnaugh, M., Kastner, J., Laker, M., Mays, E., Dionne, R., Gomez, T., Irwin, G.,
Min, R., Parzych, J.: “FAME - A consultant for financial marketing expertise”. In IBM ITL 1987
Proceedings, pp.243-249.
Apte, C., Griesmer, J., Hong, S., Karnaugh, M., Kastner, J., Laker, M., Mays, E., Gomez, T., Hurwitz, S., Min, R.,
Parzych, J., Surowitz, E.: “Knowledge Based Consultant for Financial Marketing Expert System (FAME)”.
In: IBM ITL 1986 Proceedings, pp.244-249.
PRESENTATIONS AND WORKSHOPS
LOPSTR 2009: Presenting “Coinductive Logic Programming with Negation”, in September 2009. Coimbra,
Portugal.
CICLOPS 2009: Presenting “Goal-Directed Execution of Answer Set Programs” (Invited paper), in July 2009.
Pasadena, CA, USA.
FLAIRS 2009 (AAAI): Presenting “Coinductive Logic Programming and its Application to Boolean SAT”, in May
2009. Sanibel Island, Florida, USA.
AIAI 2009: Presenting “Towards Predicate Answer Set Programming via Coinductive Logic Programming”, in
April 2009, Thessaloniki, Greece.
ICALP 2007: Presenting “Co-Logic Programming” in July 2007, Wrocław, Poland.
PROFESSIONAL AFFLIATIONS
ACM. IEEE and IEEE Computer Society. Phi Theta Kappa (Honor Society). Military Chaplains Association, USAF
Auxiliary Civil Air Patrol Dallas Squadron Senior Member and Chaplain (Major).
REFERENCES
Available upon Request
Statement of my research and teaching interests
Richard K. Min
My Research Interests:
I have been fascinated by Computer Science since my first course in the college. One of my wild dreams came true
when I was given a chance to work for financial expert system development and research (FAME project, Dr. Se J.
Hong) at IBM T. J. Watson Research Center. This challenge and opportunity has given me a sense of a call and
vision for my future study and scholarship. And in a strange way, this opportunity was coincided with my first
discovery, and a life-long quest and passion for the biblical and theological study.
My current research interest and focus has been in AI and Intelligent System (1984 – Present), especially in (a) logic,
logic programming and reasoning, model checking and verification, theorem proving (12/2006 – Present), along
with (b) data mining and text mining, machine learning, natural language processing, bioinformatics (2001 –
Present), (c) computer and network security (2000 – Present), and (d) software engineering and IT management
(1984 – Present). My current dissertation topic and title under my advisor, Dr. Gopal Gupta (UTD), is “Predicate
Answer Set Programming with Coinduction” (12/2006 – 5/2009). Current research has been focused on the goal-
directed execution of Answer Set Programming, with application of coinduction.
My broader research interests cover various fields in Computer Science and IT management, including (1) research
and development (1985 – 1987) for Financial Marketing Expert Systems and Knowledge Engineering project at
IBM Thomas J. Watson Research Center (my supervisor and mentor: Dr. Se J. Hong), and for IBM Advanced
Marketing Institute. Dr. Maurice Karnaugh (better known better for his Karnaugh Map in logic design) has been my
academic advisor in Heuristics, Search Engine and Capacity Planning, (2) research and development for a compiler
development and software engineering technology (1988 – 1990) at IBM Gaithersburg, Maryland (Supervisor: Mr.
Rick Linger who is retired but currently teaching at Carnegie Mellon University Software Engineering Institute, and
an author of Structured Programming: Theory and Practice) for various Software Engineering projects and
developments including Structured Programming, Cleanroom Technology, Reverse Software Engineering,
Compiler/Parser development and (3) As a Project Lead (1984 – 1986) in the area of Computer and Network
performance and tuning and for Lost Time Analysis (a pioneering TQM research and Workload analysis project at
IBM Poukeepsie, New York) for system performance and statistical analysis to define what is "exceptional" (with 3-
sigma) in the statistical problem analysis and classification. This research and contribution (1984 – 1986) has
placed my name in the IBM executive resource list, (4) the imbedded system and architecture, and pipelined
architecture. (5) Further I have been working and actively engaged in advanced study and research in Performance
and Monitoring, Operating Systems and Network, System and Network Security at AT&T (1997 – 2005) for both
mainframe systems and midrange servers (400+ sun servers).
In addition, it may be worthy to note for my research work and course works (2002 -Present) including Text Mining
on the Bible, the temporal and spatial meaning of English preposition (Dr. Mordovan at SMU and UTD, 2002), Data
Mining and Text Mining and NLP work (with KJV Bible for Information Theory and HMM) and bioinformatics (Dr.
Hatzivassiloglou at UTD, 2006), Database Design and Systems, Data Mining and Network Security (Dr. Khan at
UTD, 2005 – 2006), Advanced Operating Systems, Distributed Processing, Advanced Networking, Protocol
Analysis and simulation (Dr. Prabhakaran, Dr. Sarac, Dr. Khan, 2003 – 2006), DSP systems and algorithms, HCC
pipelined and embedded systems (Dr. Yuke Wang at UTD, 2004). I had been a part-time student (at UTD, 2002 –
2005) and committed myself for the full time study since January 2006, receiving RA (Dr. Thuraisingham and Dr.
Khan, Summer 2006), and GAANN Fellowship (under Dr. Gupta at UTD since Fall 2006).
My Current Research Plan:
My current short-term research plan for next 1-2 years is to continue current research in coinductive logic
programming and its applications to answer set programming, model check and verification, modal reasoning,
boolean SAT solver, security protocol and trustworthy computation. My current research does not require resource
other than an access to a computer or a personal computer, to develop a prototype and for preliminary performance
and benchmark testing.
My Teaching Interests:
Teaching has been my joy and challenge since my first teaching experience and exposure at University of Michigan
(1981 – 1983) as a teaching assistant for ECE department. I was given one-hour per week to teach assembler
language, interacting with 100 to 130 students (EE and CE junior and senior-year students). Not only I learned and
enjoyed so much but also I found a sense of a life-time calling and challenge as a teacher. Since then, I have been
preparing and training myself to be a “good” teacher. I have been also very fortunate to expose myself to a diverse
and wide range of theory and model of teaching and learning, including several graduate courses in course and
curriculum design, school administration and teaching philosophy, etc.. This helps me to see and understand various
approaches and disciplines for learning or teaching, and many times, very distinctive and unique.
My teaching experience in Computer Science and related fields includes: (1) University of Michigan (1981 – 1983)
as a teaching assistant, (a) assembly language course with 100+ students, and (b) graduate complier course, and as
an adjunct faculty for (2) Averrett College (1990 – 1992), (3) Baptist College and Seminary of Washington (1991 –
1992), (4) Dallas Baptist University (1999 – 2001), (5) Our Lady of the Lake University – Dallas Program (2001 –
2005), (6) Richland College (2001 – 2008), and as a teaching assistant for (7) University of Texas at Dallas (2006 –
Present), for graduate-level Database System and Design, graduate research-seminar in Data Mining, Concept of
Programming Language, and Telecommunication Management, Artificial Intelligence).
I feel very comfortable to teach for the undergraduate (or first-level graduate courses) which I have taught or studied.
The courses that I have been teaching recently can be found in my web page (http://www.utdallas.edu/~rkm010300)
and its corresponding school’s web site for detail. Many of these research and development works have equipped
me with the indispensable and valuable first-hand experience and authority for my teaching. For example, (a)
Financial Marketing Expert Systems (Dr. Se June Hong, IBM 1985-1987), (b) Cleanroom technology and Software
Engineering project (Mr. Rick Linger, IBM 1987-1988), (c) IBM ImagePlus project (IBM, 1988-1992) have been
some of the researches, that I have been privileged to be a part of, and worthy to be mentioned as landmark case
study in the textbooks that I have taught in the past. Also I have taken several graduate courses in education,
teaching (philosophy, models and methods), school administration and course/curriculum design. I have used and
am familiar with ABET and ACM recommendation.