Do Students Need More Formal Education?


A few weeks ago, some of the top researchers and practitioners in the area of formal methods converged on Portland, Oregon. The event was the annual Formal Methods in Computer-Aided Design (FMCAD) conference and Semiconductor Engineering attended the panel titled “Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities.” Panelists included: Jason Baumgartner, formal verif... » read more

Power/Performance Bits: July 9


All-optical transistor Optical computing uses light rather than electricity to perform calculations and is expected to potentially pay dividends for both conventional computers and quantum computers, which are largely hypothetical devices that could perform some types of computations exponentially faster than classical computers. One drawback is that optical computing requires light particl... » read more