Assistant Professor (email)
Version 1.0 of the Electrum Analyzer has been released, as well as the underlying Pardinus solver v1.0.