michael devin