[Richard Min]

Richard Min

Welcome to My Homepage!

Richard Min - Resume or CV


Assistant Professor of Instruction in Computer Science at University of Texas at Dallas

Contact Information:
Email: Richard.Min [AT] utdallas.edu [Richard Min - email]
Tel: (972) 883-4522 Office & via MS Teams
Fax: (972) 883-2399
Office: ECSS 4.609 (CS Bldg - ECS South)

2022 Spring
Office Hours: TTh 2-4pm online or in-person

My current research interests:

Circular Rhetoric and Logic of Paradox in the Bible
Computational Bible Study, Theology, and Literary Analysis
Computational Logic and Coinduction

All the papers and ppts available (or to download) at http://www.utdallas.edu/~rkm010300/papers


Richard Min - PhD Thesis (UTD 2009) - Predicate Answer Set Programming with Coinduction
Richard Min - STM Thesis (DTS 2001) - The Unity of 2 Corinthians
Research Papers & ppts by Richard Min
Inspriratonal Essays and Sermons by Richard Min

Korean Language Lesson (KLL)

If you are interested in learning Korean Language, please contact Dr. Min, to learn Korean language in a small group setting (weekly meeting in Friday afternoons.
For Spring 2023: Fridays 1-3pm Place: CB3 1.302 (or SU)
** Interested in learning Korean? Call me or email to me for Korean Language lesson
** Teachers are the pastors and staff from Glory Baptist Church (Dr. Joseph Kim) **

Korean Class Poster | Welcome 2018 | Fall 2018 | Spring 2018 | Fall 2017 | Fall 2015


Disciples for Christ (DFC)

Bible Study or Discussion with leading Bible Scholars!
join us with Dr. Min and Dr. Joseph Kim (PhD in OT).
I am an ordained Baptist pastor and served as a Chaplain (USAF CAP, Major) 2001-2016. Chaplain


Teaching at INSTITUTO TEOLOGICO BAUTISTA PABLO CALENDARIO (ITBP)
Paul Theological Seminary (Chiapas, Mexico)

ITBP 2006.05 | ITBP 2007.05 | ITBP 2014.05 | pictures
ITBP 2015.05 | Ladies | R.Koh&D.Chin | pictures
ITBP 2015.11 | R.Min | pictrues ITBP
ITBP 2016.02 | more pictures | ITBP 2016.03 | more pictures | ITBP 2016.07 | more pictures

UTD CS Outreach Program

AI Introduction 2020. 12/21-12/24 10am-1pm
AI Programming 2020. 12/28-12/31 10am-1pm

Workshops & Visit

Cambodia - August 2023
India Workshops - Dec2023-Jan2024

Recent courses that I have taught at UTD

UTD 2013 Fall | cs4337 | ce4337 | cs4384 | cs5349 Java Web Prog
UTD 2014 Spring | cs3376-501 | cs3376-502 | se3376-501 | cs5336-501
UTD 2014 Summer | cs4384-0U1 | cs5349-0U1
UTD 2014 Fall | cs1336-007 | cs1336-009 | cs3376-001 | cs4337-501
UTD 2015 Spring | cs4337-003 | cs4384-001 | cs4384-501 | cs5349-001 JSF
UTD 2015 Summer | cs3376.0U1 | cs5375.0W1 | | cs6301.0U1 WebProg
UTD 2015 Fall | cs3376.0W1 | cs3376.001 | cs4337.501 | cs6364.001 AI
UTD 2016 Spring | cs3376.0W1 | cs3376.0W2 | cs4337.301 | cs4384.501
UTD 2016 Summer | cs3376.0W1 | cs5375.0W1 | | cs6314.0U1 WebProg
UTD 2016 Fall | cs3376.0W1 | cs3376.001 | cs4337.501 | cs6364.001 AI
UTD 2017 Spring | cs3376.0W2 | cs4337.501 | cs6364.002
UTD 2017 Summer | cs3377.0W1 | cs5375.0W1 | cs6314.0U1
UTD 2017 Fall | cs3377.0W1 | cs4337.001 AI | cs6364.001 AI | cs4v98 Research
UTD 2018 Spring | cs3377.0W2 | cs4337.002 | cs6364.501 AI | cs4v98 Research
UTD 2018 Summer | cs3377.0W1 | cs5375.0W1 | cs6314.0U1 WP
UTD 2018 Fall | cs3377.0W1 | cs4365.001 AI | cs6364.001 AI | cs4v98 Research
UTD 2019 Spring | cs3377.0W2 | cs4337.002 AI | cs6364.501 AI | cs4v98 Research
UTD 2019 Summer | cs3377.0W1 | cs5375.0W1 | cs6314.0U1 WP
UTD 2019 Fall | cs3377.0W1 | cs4365.001 AI | cs6364.001 AI | cs4v98 Research
UTD 2020 Spring | cs3377 Sys Prog | cs6314 Web Prog | cs6364 AI |
UTD 2020 Summer | cs3377 SysProg | cs1134 | cs1136 | cs6314 WebProg
UTD 2020 Fall | cs3377 SysProg | cs4365 AI | cs6364 AI |
UTD 2021 Spring | cs3377.0W1 | cs3377.002 | cs4365 AI | cs4v98 Research
UTD 2021 Summer | cs1134.0W1 | cs1136.002 | cs3377 SysProg | cs4365 AI
UTD 2021 Fall | cs1200 | cs1336 | cs3377 SysProg | cs4365 AI | cs6364 AI
UTD 2022 Spring | cs3162 Ethics | cs3377 SysProg | cs4337 Prog | cs4365 AI | cs6364 AI
UTD 2022 Summer | cs1134 Javascript | cs1136 | cs4365 AI | cs6314 Web Prog
UTD 2022 Fall | cs3377 Unix/Linux | cs4365 AI | cs6314 Web Prog | cs6364 AI
UTD 2023 Spring | cs3162 Ethics | cs3377 SysProg | cs4337 AI | cs6314 Web Prog | cs6364 AI
UTD 2023 Summer | cs2336 CSII Java | cs4337 AI | cs4v98.012 Research
UTD 2023 Fall | cs377 SystemProg | cs4365 AI | cs6364 AI | cs4v98.004 Research
UTD 2024 Spring | cs3377 SysProg | cs4337 AI | cs6314 Web Prog | cs4v98.015 Research



Last Updated: February 23, 2024