Patrick LaVictoire

Pa­trick is a Re­search Fel­low at the Ma­chine In­tel­li­gence Re­search In­sti­tute. He mainly works on de­ci­sion the­ory, cor­rigi­bil­ity, and log­i­cal coun­ter­fac­tu­als.