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.

Related People:

Edmund Clarke

Related Groups:

C2S2

GM-CM CRL

Related Links:

Software Engineering & Programming Languages Citations

Computer Science Overall Citations

Microsoft Libra