John V. Tucker
استاد · Theory of synchronous algorithms with digital and analogue components
Graz University of Technologyمعرفی
John V. Tucker is a Professor of Computer Science at Swansea University since 1989. He served as Head of the Department of Computer Science (1994-2007) and Head of the School of Physical Sciences (2007-2011). His research spans theoretical computer science, history of computing, and computational foundations of physics.
- Education: MSc in Mathematical Logic and Foundations of Mathematics and Computer Science (1974) and PhD in Mathematical Logic (1977) from the University of Bristol.
His research interests include the theory of synchronous algorithms, physical foundations of computation, algebraic specification, and algorithmic models of nonlinear systems. He pioneered equational specification methods for microprocessors, 3D graphics, and whole-heart modeling.
Scientific awards include:
- Founding Fellow of the Learned Society of Wales (2010)
- Elected Fellow of British Computer Society (1998)
He has supervised 16 PhD students directly and contributed to supervision in Uppsala, served on EU project evaluation panels, chaired appointments, and led editorial roles in journals and book series.
