System Bits: Aug. 25


Quantum computer building block In a finding that could ultimately be used to produce key components of quantum computers in the future, a team of researchers led by MIT have analyzed an exotic kind of magnetic behavior, driven by the mere proximity of two materials, using a technique called spin-polarized neutron reflectometry. This discovery could also be used to probe a variety of exotic... » read more

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

Newer posts →