Research and Co-operations
The departments of the Institute conduct research in the following areas.
Department of Computational Optimization
Reliable computing, interval optimization, discrete optimization, PNS problems, extremal graph theory, combinatorial games, and history of mathematics.
Department of Computer Algorithms and Artificial Intelligence
Automata theory, Fuzzy theory, Bin packing, Meta heuristics, String matching, On-line algorithms, Machine Learning and Computational Learning Theory, Multi-Criteria Decision Making, Scheduling, Robotics, and Mechatronics.
Department of Foundations of Computer Science
Algebra and logics in computer science, Automata and formal languages. Tree-automata and tree-transducers. Term rewriting systems, and fixed points in computer science. Process algebras, Temporal logics. Structures in computer science: semirings and semi-modules, and categorical algebras.
Department of Image Processing and Computer Graphics
Geoinformatics, Industrial Applications, Markov Models, Medical Applications, Registration, Remote Sensing, Segmentation, Skeletonization, Surgical Planning, Tomography - Discrete Tomography, Variational Methods
Department of Software Engineering
Static and dynamic analysis of software systems. Slicing for imperative languages and logical programming. Reverse engineering. Open source software development. Linux file system and GCC compiler optimization. Embedded systems. Ad-Hoc networks. Process synthesis. Optimization problems arising in chemistry, biology and industry.
The members of the Institute of Informatics publish about 150 scientific papers in highly respected international journals/proceedings anually.
Department of Technical Informatics
Noise and fluctuations, scientific instrumentation, robotics, wireless sensors, sensor signal conditioning and processing, medical instrumentation and signal processing, remote controlled laboratory, computer-controlled real-time experimentation.
The Institute of Informatics has joint programs and research cooperation (e.g. CEEPUS, SOCRATES/ERASMUS) with the following higher education institutes from North-America, Europe, and Asia.
Canada: University of Waterloo, Canada, Queen's University, Canada.
USA: Boston University, MA, City University of New York, NY, Columbia University, New York, NY, The University of Iowa, Iowa City, IA, University of Illinois at Urbana-Champaign, IL, Stevens Institute of Technology, Hoboken NJ, AT&T Labs., Texas A&M University, College Station, TX
Austria: Technische Universität Wien, Medizinische Universität Graz, Technische Universität Graz.
Czech Republic: Charles University, Prague.
Denmark: University of Aalborg.
England: University College London, GB.
Finland: University of Turku, Lappeenranta University of Technology.
France: University of Bordeaux, INRIA, Sophia Antipolis, University of Paris 6 and 7.
Germany: Technische Universität Ilmenau, Technische Universität Dresden, Universität Hamburg, Technische Universität München, Universität Erlangen-Nürnberg, Universität Mannheim, Universität Karlsruhe, Universität Stuttgart.
Switzerland: University of Bern.
Italy: University of Rome La Sapienza.
Netherlands: Technical University of Eindhoven.
Serbia: University of Nis, University of Novi Sad, Institut Mihajlo Pupin, Belgrad.
Slovenia: University of Maribor.
Spain: Universidad de Almeria, Universidad de Tarragona.
China: Hong Kong University of Science & Technology.
Israel: Ben-Gurion University of the Negev, University of Haifa.
Japan: Kyoto Sangyo University, University of Aizu.