Tanel Tammet

Estonian Academy of Sciences, Tallinn University of Technology

Papers

Total Citations

H-Index

About

Tanel Tammet is a researcher whose work bridges the foundational principles of automated deduction with the emerging frontiers of autonomous robotics. His early career is marked by a significant contribution to the field of artificial intelligence, evidenced by his involvement in the "10th International Conference on Automated Deduction" (1991), a seminal work that has garnered 29 citations and underscores his deep roots in logical reasoning and theorem proving. This foundational expertise later evolved into pioneering applications in robotics, where Tammet has become a notable figure in the development of self-organizing robot swarms. His 2008 paper on "RFID-based Communications for a Self-Organising Robot Swarm" (10 citations) is a standout contribution, exploring practical implementations using iRobot Roomba platforms to enhance cleaning efficiency through decentralized coordination. Further advancing the field, his work on "Towards scalable proofs of robot swarm dependability" (5 citations) tackles the critical challenge of ensuring reliability in complex, safety-critical swarm systems. Tammet’s research uniquely combines theoretical rigor with hands-on experimentation, making him a key innovator in creating robust, knowledge-centric software architectures for cooperative multi-robot systems.