- programming language semantics
- algebra and category theory in computer science
- automata theory
- +۳ مورد دیگر
Dr. Miklos Bartha is a Professor in the Department of Computer Science at Memorial University of Newfoundland, located within the Faculty of Science. He holds a M.Sc. and Ph.D. from József Attila University in Hungary. His research focuses on programming language semantics, algebra and category theory applied to computer science, automata theory, and graph theory. Dr. Bartha's work bridges formal methods with computational models, emphasizing theoretical foundations and their applications in discrete systems. His academic career includes significant contributions to automata equivalence, synchronous system modeling, and graph-based algorithms. Notable areas of exploration include quantum automata, soliton graphs, and the monoidal structure of Turing machines. His research often intersects category theory, providing novel frameworks for understanding computational processes. Dr. Bartha has published extensively in international conferences and journals, with recent work addressing graph reduction algorithms, deterministic properties of soliton graphs, and the theoretical underpinnings of molecular switching using automata models. His publications span topics from formal verification of circuits to algorithmic graph theory, reflecting a deep engagement with both foundational and applied aspects of computer science. His contact information includes an office at Memorial University and can be reached via email at bartha@mun.ca or phone at (709) 864-2193.












