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.