August 29, 2021 August 2021 - A paper on formal methods-based methodology for adative droplet routing in MEDA biochips has been accepted at the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!
