Dependable Systems Group

New Team Members

Sep 13, 2016

We welcome Dr. Danny Poulsen, Joel Day (both since August 2016), and Kamellia Reshadi (since June 2016) as new members in our group. Danny works in the area of formal verification of hybrid systems. Joel and Kamellia work in the area of word combinatorics.