Excited to start my 1851 Research Fellowship entitled “Empowering Computer Chip Design Through Formal Methods”.