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

Petz Defense

Congratulations to Adam Petz for successfully defendeding his MS thesis, A Semantics for Attestation Protocols using Session Types in Coq. Now on to the PhD!