ProfessorsProfessors of Manchester UniversityDave Lester

Dave Lester

Manchester University

H-index: 27

North America-United States

About Dave Lester

Dave Lester, With an exceptional h-index of 27 and a recent h-index of 14 (since 2020), a distinguished researcher at Manchester University, specializes in the field of Computer Science, Theorem Proving, Computer Arithmetic, Neuromorphics.

His recent articles reflect a diverse array of research interests and contributions to the field:

4. Stacks of Software Stacks

Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations

Dave Lester Information

University	Manchester University
Position	Lecturer School of Computer Science UK
Citations(all)	3771
Citations(since 2020)	1545
Cited By	2827
hIndex(all)	27
hIndex(since 2020)	14
i10Index(all)	50
i10Index(since 2020)	17
Email	Access Email
University Profile Page	Manchester University
Google Scholar	View Google Scholar Profile

Dave Lester Skills & Research Interests

Computer Science

Theorem Proving

Computer Arithmetic

Neuromorphics

Top articles of Dave Lester

Title	Journal	Author(s)	Publication Date
4. Stacks of Software Stacks		Andrew Rowley Oliver Rhodes Petrut Bogdan Christian Brenninkmeijer Simon Davidson ...	2020/3
Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations	Philosophical Transactions of the Royal Society A	Michael Hopkins Mantas Mikaitis Dave R Lester Steve Furber	2020/3/6