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.
Software Engineering & Programming Languages Citations
Edmund Clarke