The System Level Design Group is comprised of students and faculty investigating all aspects of systems level design at The University of Kansas Institute for Infomration Sciences. Advised by Dr. Perry Alexander, the group is engaged in several research projects including specification, verification and synthesis of complex systems, trusted computing, and system-level design. Each applies engineering methods and formal modeling to specific systems engineering activities. The System Level Design group is supported by The University of Kansas’ Institute for Information Science’s High Assurance and Secure Systems Center.

Recent Activities

• 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

Team

Faculty

• Perry Alexander
• Adam Petz
• Jennifer Lohoefener

Students

• Tj Barclay
• Sarah Johnson
• Will Thomas
• Logan Schmalz
• Ian Harris
• Katelyn Accola

Research Staff

• Ed Komp

The System-Level Design Group is a part of The Institute for Information Sciences at The University of Kansas.

Weekly Research Meetings

• SLDG Team Meeting - Monday 10:00am - Executive Conference Room
• Collins <> KU - Monday 11:00am - Teams
• Lambda Reading Group - Tuesday 2:00pm - Executive Conference Room
• Layered Attestation - Monday 2:00pm - Teams