System-Level Design Group

KU Institute for Information Sciences

VOLTA Selected - 23 Dec 2018
Copland Paper Submitted - 22 Dec 2018
Logic and Reasoning Certificate - 02 Aug 2018
TEEE Awarded - 13 Sep 2016
EarthCube Awarded - 15 Aug 2016
Petz Defense - 12 Aug 2016
KBOR Awarded - 01 Jul 2016
May New Students - 21 May 2014
May Travel - 03 May 2014
January Travel - 04 Jan 2014
NDIST'13 (Day 3) - 12 Dec 2013
NDIST'13 - 10 Dec 2013
Of course - 24 Nov 2013
FM Submission - 17 Nov 2013
Oustanding Advisor - 14 Nov 2013
NSF Submission - 12 Nov 2013
ACHILLES Awarded - 01 Oct 2013
ArmoredSoftware Awarded - 28 Sep 2013

Logic and Reasoning Certificate

The KU Department of Philosphy has develpoped a certificate in Logic and Formal Reasoning that looks ideal for undergraduates looking to work in formal methods, language semantics, or theoretical computer science. Note that EECS 210 and MATH 558 - two courses I always recommend - are both included in the certificate. If interested, please let me know and I’ll put you in touch with my friends in Philosphy.