Assistant Professor (email)
Our Electrum tool demo has been accepted at the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).