University of Illinois Urbana-Champaign
Alumni
Corporate
People
My.CS
University of Illinois at Urbana-Champaign
The Grainger College of Engineering
Computer Science
Search
Menu
Search
About
About
Facts & Rankings
Contact Us & Office Locations
History Timeline
Accreditation
Illinois CS in Chicago
Values & Code of Conduct
CS CARES Committee
People
Office of the Department Head
All Faculty
Department Faculty
Affiliate Faculty
Emeritus Faculty
All Staff
Undergraduate Advising Office
Graduate Advising Office
Faculty Support Contacts
Instructional Development Team
Business Office
Facilities, Shipping & Receiving
Postdoctoral Researchers
Graduating PhD Students
Open Positions
Faculty Positions
Postdoctoral Positions
Future Faculty Fellows
Staff Positions
Choose Illinois Computer Science
Awards
Celebration of Excellence
2021 Celebration of Excellence
2022 Celebration of Excellence
2023 Celebration of Excellence
Student Award Resources
Faculty Awards
Chairs and Professorships
National & International Awards
University of Illinois Awards
Undergraduate Scholarships & Awards
Graduate Fellowships & Awards
Alumni Awards
Alumni Awards Past Recipients
National & International Awards
University of Illinois Awards
Staff Awards
Calendar
All Events
Department Events
Speaker Series
Graduate Events
Undergraduate Events
Corporate Events
CS CARES Events
Student Group Events
Admissions
Admissions
Admitted Students
Undergraduate Admissions
Apply Now
Degree & Program Options
Application Deadlines
Applications Process & Requirements
Transfer Students
Housing
Accreditation
Graduate Admissions
Apply Now
Degree & Program Options
Professional Master of Computer Science (MCS) Program
Application Deadlines
Applications Process & Requirements
Additional Required Application Materials for International Students
Application Fee Waivers
Data Structures Proficiency Exam
Application Checklist
FAQs
iCAN FAQs
Online MCS FAQs
Check Application Status
Impact of an Illinois CS Degree
Financial Aid
Academics
Academics
Instructional Area
Undergraduate Academics
Degree & Program Options
B.S. in Computer Science
B.S. in Mathematics & Computer Science
B.S. in Statistics & Computer Science
CS Minor
CS + X Degree Programs
CS + Advertising
CS + Animal Sciences
CS + Anthropology
CS + Astronomy
CS + Bioengineering
CS + Chemistry
CS + Crop Sciences
CS + Economics
CS + Education
CS + Geography & Geographic Information Science
CS + Linguistics
CS + Music
CS + Philosophy
CS + Physics
FAQ Computing Undergraduate Degree Options
Registration
CS Course Restrictions & Enrollment Caps
Policies and Procedures
Undergraduate Advising
Undergraduate Forms
Honors
Transfer Students
Graduate Academics
PhD Program
PhD Requirements
PhD Time Limits & Milestones
PhD Program of Study Process
Guidelines for Forming Ph.D. Committee
Qualifying Exam
Preliminary Exam
Final Exam (Thesis Defense)
Ph.D. / M.S. Thesis Format Review Guidelines
MS Program
MS in Bioinformatics Program
Professional Master of Computer Science
MCS in Chicago
On-Campus Master of Computer Science
Online Master of Computer Science
Online Master of Computer Science in Data Science
Fifth Year Masters Programs
5-year BS-MCS Program
5-year BS-MS Program
Illinois Computing Accelerator for Non-Specialists (iCAN)
Graduate Forms, Thesis & Advising Resources
Graduate Advising Contacts
Graduate Official Forms
Graduate Student Annual Evaluation Process
New Graduate Student Resources
MCS On-Campus General Advising for Registration
MS General Advising for Registration
PhD General Advising for Registration
OEAI Exam Requirements
Courses
Honor Code
Student Resources
Research
Research
Illinois-Insper Partnership
Collaborative Research Projects
NSF Expeditions in Computing: Mind in Vitro
Research Areas
Architecture, Compilers, and Parallel Computing
Artificial Intelligence
Bioinformatics and Computational Biology
Computers and Education
Data and Information Systems
Interactive Computing
Programming Languages, Formal Methods, and Software Engineering
Scientific Computing
Security and Privacy
Systems and Networking
Theory and Algorithms
Speaker Series
Corporate Partners
Summer Research
Undergraduate Research Opportunities
Directed Reading Program
Trick or Research
Summer Research Program
Summer Research Program Participants
Research Report
News
News
Media Mentions
News Notes
E-News
Speaker Series
Banerjee Lecture
Donald B. Gillies Memorial Lecture
Equity & Justice in Computing Lectures
Robert Mueller-Thuns Lecture
Donor Profiles
Impact Report & Publications
Student Life
Student Life
Overview of CS Student Life
Student Organizations
Events
Student Resources
Career Services
Course Assistants
Broadening Participation
Broadening Participation
BPC Departmental Plan
BPC Programs & Activities for Students
CS Student Ambassadors/Research Scholars (CS STARS)
CS STARS Participants
CS Student Ambassadors/Research Scholars- Application Information
Illinois CS Kickstart
AI4ALL
Apply Now
iCAN
Apply Now
Summer Research Programs
BPC Resources
Cross-Cutting Educational Activities
BPC Conferences & Workshops
Equity & Justice in Computing Seminar Series
K-12 Outreach & Resources
K-12 Outreach Programs
K-12 Resources
Student Organizations
Give
Give
Give Now
Ways to Give
Donor Profiles
Computer Science Visionary Scholarship Donors
Home
About
People
All Faculty
Kohei Kishida
Kohei Kishida
Associate Professor, Philosophy
kkishida@illinois.edu
Recent Courses Taught
PHIL 202 - Symbolic Logic
PHIL 222 - Philosophical Foundations CS
PHIL 439 (MATH 439) - Philosophy of Mathematics
PHIL 454 - Advanced Symbolic Logic
PHIL 513 - Seminar Philosophy of Logic
Related News
News Notes