Charles Leiserson has been elected to the National Academy of Engineering "for theoretically grounded approaches to digital design and parallel computer systems."