Formal Methods for Approximate Computing in Arithmetic Circuits and Hardware-Accelerated Network Traffic Filtering by Tomas Vojnar (Brno University of Technology)