Clarke Receives Top Citations on Microsoft Libra
September 4, 2007
Edmund Clarke, FORE Systems Professor of CS and Professor of ECE, received the most citations for software engineering and programming languages authors according to Microsoft Libra, a new ranking service. Clarke also ranked tenth in the computer science overall category; his research interests are hardware and software verification, automatic theorem proving, and symbolic computation. Libra Academic Search is a free computer science bibliography search engine.
ECE faculty member Edmund Clarke received top citations on Microsoft Libra, a new ranking service.