index.md

layout	title
frontpage	SLDG

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

---

{% for post in site.posts %}
• {% if post.external_url == nil %} {{ post.title }} - {{ post.date | date_to_string }} {% else %} {{ post.title }} - {{ post.date | date_to_string }} {% endif %}
{% endfor %}

Team

---

Faculty

{% for person in site.data.people %} {% if person.role == "faculty" %} {% if person.web == nil %}
• {{ person.name }}
{% else %}
• {{ person.name }}
{% endif %} {% else %} {% endif %} {% endfor %}

Students

{% for person in site.data.people %} {% if person.role == "student" %} {% if person.web == nil %}
• {{ person.name }}
{% else %}
• {{ person.name }}
{% endif %} {% else %} {% endif %} {% endfor %}

Research Staff

{% for person in site.data.people %} {% if person.role == "staff" %} {% if person.web == nil %}
• {{ person.name }}
{% else %}
• {{ person.name }}
{% endif %} {% else %} {% endif %} {% endfor %}

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

Weekly Research Meetings

---

{% for meeting in site.data.meetings %}
• {{ meeting.name }} - {{ meeting.time }} - {{ meeting.place }}
{% endfor %}