Andrzej Lingas
Boolean function algorithms approximation automata complexity complexity theory computational geometry computational structures computing theory formal language foundations logic mathematical logic optimization theoretical computer science