Viliam Geffert (born 1955) is a
Slovak
theoretical computer scientist
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumscribe the th ...
known for his contributions
to the
computational complexity theory
In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved ...
in sublogarithmic space
and to the
state complexity State complexity is an area of theoretical computer science
dealing with the size of abstract automata,
such as different kinds of finite automata.
The classical result in the area is that
simulating an n-state
nondeterministic finite automaton
by ...
of
two-way finite automata.
He has also developed new in-place
sorting algorithms
In computer science, a sorting algorithm is an algorithm that puts elements of a list into an order. The most frequently used orders are numerical order and lexicographical order, and either ascending or descending. Efficient sorting is import ...
.
He is a professor and the head of the computer science department at the
P. J. Šafárik University in
Košice.
Biography
Geffert did his undergraduate studies at the
P. J. Šafárik University, graduating in 1979. He earned his PhD degree in 1988 from the
Comenius University
Comenius University in Bratislava ( sk, Univerzita Komenského v Bratislave) is the largest university in Slovakia, with most of its faculties located in Bratislava. It was founded in 1919, shortly after the creation of Czechoslovakia. It is name ...
in
Bratislava. Since 2003, he is a full professor of the
P. J. Šafárik University.
References
External links
*
{{DEFAULTSORT:Geffert, Viliam
Slovak computer scientists
Theoretical computer scientists
1955 births
People from Košice
Comenius University alumni
Living people