to specify, synthesize and verify software defined radios. Speaker: Perry Alexander Dr. Perry Alexander is a Professor in the Electrical Engineering and Computer Science Department and Director of the Information and Telecommunication Technology Center’s Computer Systems Design Laboratory at The University of Kansas. His research interests include system-level modeling, security and assurance, design languages, heterogeneous specification, language semantics, and embedded systems. He …