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

VOLTA Selected

Adventium has been informed that our proposal Vulnerabilities Out of Learned Timed Automata (VOLTA) bas been selected for funding by The Air Force Research Laboratory. We will be using our Copland infrastructure to discover properties of timed automata through measurement. Great news that we will be working with Adventium again.