computer science

	STAFF — Michael Hoffmann  M.Sc. (Sussex), Ph.D. (Leicester) Lecturer
	F7 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3895 F: +44 (0)116 252 3604 E: mh55@mcs.le.ac.uk

My Background:

I started my study at the Ruhr-Universität Bochum in Mathematics and Physics. After four years I went to the University of Sussex where I was awarded my MSc in Mathematics. The research area of my dissertation was vector fields of spheres which was supervised by Roger Fenn. In my PhD, supervised by Rick Thomas, I discussed automatic semigroups. This class of semigroups can be characterized in terms of automata and regular languages.

Research interests:

One of the areas of my research is in (semi)group theory and formal languages theory. In particular the classification of (semi)groups by their computational properties and the design of algorithm for such classes. Currently my main focus lies in automatic, hyperbolic and related semigroups. Beside a strong connection to automata theory, this area is also closely linked to geometry of graphs (in particular Cayley graphs) and string rewriting.

The design of online and graph algorithms builds another area of my research. My work includes update efficient algorithm for mobile data and frequency assignment problems. More recently my interest includes the network discovery problem and graph algorithms with areas of uncertainty.

Talks and Conferences:

External Seminar, December 05, Durham University.
15th International Symposium on Fundamentals of Computation Theory (FCT) , August 05, Luebeck.
International Conference on Semigroups and Languages , July 05, Lisbon.
21st British Colloquium for Theoretical Computer Science (BCTCS) , April 05, Nottingham University.
External Seminar, March 05, Loughborough University.
External Seminar, December 04, University of Warwick.
External Seminar, April 04, ETH Zurich.
External Seminar, August 03, University of Queensland.
International Meeting on Semigroup Theory and Related Topics June 03, Braga, Portugal.
5th Conference on Algorithms and Complexity, CIAC2003 , May 03, Rome, Italy.
Mini Symposium, July 02, Loughborough University.
Thematic Term on Semigroups, Algorithms, Automata and Languages , July 2001, Coimbra, Portugal.
External Seminar, June 01, University of Sussex.
External Seminar, Jan 00, University of St Andrews.
International Conference on Geometric and Combinatorial Methods in Group Theory and Semigroup Theory, May 00, University of Lincoln, Neraska.
External Seminar, August 99, University of Sydney.
BCTCS 15, April 99, University of Keele.

Publications:

Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matus Mihalak, L. Shankar Ram: Network Discovery and Verification In Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2005), LNCS 3787, Springer, (2005) 127-138.

R. J. Bruce, M. Hoffmann, D. Krizanc andR. Raman, Efficient Update Strategies for Geometric Computing with Uncertainty, Theory of Computing Systems 38, (2005) 411-423

M. Hoffmann and R.M. Thomas. Biautomatic Semigroups, in M. Liskiewicz and R. Reischuk (eds): FCT 2005, LNCS 3623, (2005) 56-67

M. Hoffmann and R. M. Thomas, Notions of automaticity in semigroups, Semigroup Forum, 66, (2003) 337-367.

R. J. Bruce, M. Hoffmann, D. Krizanc and R. Raman, Efficient Update Strategies for Geometric Computing with Uncertainty, Proceedings of 5th Italian Conference, CIAC 2003, Springer Lecture Notes in Computer Science, 2653, (2003) 12-23.

R. J. Bruce and M. Hoffmann, L(p,q)-labeling of outerplanar graphs, Technical Report 2003/9, Department of Mathematics and Computer Science, (2003) 1--15.

M. Hoffmann, N. Ruskuc and R. M. Thomas, Automatic semigroups with subsemigroups of finite Rees index, International Journal of Algebra and Computation, Vol 12, No. 3 (2002) 463-476.

M. Hoffmann and R. M. Thomas, Automatic commutative semigroups, Glasgow Mathematical Journal, 44 (2002) 167-176.

M. Hoffmann, D. Kuske, F. Otto and R. M. Thomas, Some relatives of automatic and hyperbolic groups, in G. M. S. Gomes, J.-E. Pin and P. V. Silva (editors), Semigroups, Algorithms, Automata and Languages (World Scientific, 2002) 379--406.

M. Hoffmann, S. Muthukrishnan and R. Raman, Location data stream: models and algorithms, submitted.

M. Hoffmann and R. M. Thomas. A geometric characterization of automatic semigroups, submitted.

Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matus Mihalak, L. Shankar Ram: Network Discovery and Verification Accepted for publication in IEEE Journal on Selected Areas in Communications, special issue on SAMPLING THE INTERNET: TECHNIQUES AND APPLICATIONS.

Courses:

During this academic year I am involved in teaching the following modules:

• CO1003 (Program Design)
• CO2006 (Software Engineering and System Development)
• CO2015 (Software Engineering Project)
• CO2016 (Multimedia and Computer Graphics)
• CO3015 (Computer Science Project)
• CO7001 (Introduction to Object Oriented Programming)

• Other Links
• Travel to Leicester

Author: Michael Hoffmann (mh55@mcs.le.ac.uk), T: +44 (0)116 252 3895.
© University of Leicester 23 September 2002. Last modified: 12th May 2006, 11:04:13.
CS Web Maintainer. Any opinions expressed on this page are those of the author.