LogiDAC
  • Theoretical Foundations of Databases
  • Logic in Computer Science
  • Complexity Theory
  • Formal Languages and Automata Theory
FLDIT
  • Functional and rule-based programming
  • logical-algebraic modeling and verification
  • Expander2: A Workbench for Interactive Formal Reasoning
DA-BiMaSc
  • Intelligent Data Analysis
  • Knowledge Discovery & Data Mining
  • Applications of CI in Bioinformatics and Materials Science
Information Engineering
  • Qualitative and quantitative knowledge engineering
  • Non-monotonic logics and inference
  • Commonsense reasoning
  • Belief dynamics
Dr. Lars Hildebrand Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6375 Room 2.018 Contact
Dipl.-Inf. Iris Paternoster-Bieker Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-7719 Room 2.016 Contact

Data analysis in biology and material sciences


The work related to DA-BiMaSc covers two different fields of application: biology and material sciences. Both fields share the same nature of the fundamental data, e. g. spectra, depth profiles, or numerical matrices. Applied methods come from statistics, artificial intelligence, and computational intelligence. Objective of the work is the detection of relationships between the fundamental data and biological or physical properties.

Material sciences: Novel high-tech materials are based on new alloys, new production techniques, or new coating types. One objective is the increase of corrosion resistance, without impairing other technical properties such as paint adhesion, formability and scratch resistance. There is a need to be able to characterise these new types of materials with both fast and
analytically comprehensive techniques. The characterisation is mainly based on the following analytical measuring technologies:

  • Glow Discharge Optical Emission Spectroscopy (GD-OES)
  • Laser ablation spectroscopy (LIBS)
  • X-Ray Fluorescence (XRF) and Diffraction (XRD) spectroscopy
  • Time of Flight Secondary Ion Mass Spectrometry (ToF-SIMS)

The evaluation of the fundamental data is based on statistical methods, as well as methods coming from the field of artificial and computational intelligence. Applied methods are

  • Regression analysis
  • Interactive decision trees
  • Artificial neural networks (ANN)
  • Self organizing maps (SOM)
  • Fuzzy transformation

Biology: Biological sciences such as Genomics, Proteomics and Metabolomics aim at understanding the principles and mechanisms of living cells and organisms on microscopic and molecular level. Experimental data is produced in both qualitative and quantitative manner and contain both already known and yet unknown dependencies or correlations within or between genes and
metabolites. Following technologies are used:

  • Microarray Experiments
  • Nuclear Magnetic Resonance Spectroscopy (NMR)
  • Ion Mobility Spectrometry (IMS)

Statistical and computational methods for the analysis and identification of global and local correlation and dependencies within the data are designed, based on

  • Clustering / Biclustering
  • Evolutionary Algorithms (EA)
Prof. Dr. Peter Padawitz Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-5108 Room 3.021 Contact
Dipl.-Inf. Jos Kusiek Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-7523 Room 3.020 Contact

 

  • Development of a uniform framework for the integrated specification and verification of constructor-based visible types on the one hand and state-based hidden types on the other hand. We call them dialgebraic or swinging types and use them in various application areas, in particular those where - traditionally - modal logic or object-oriented programming plays the major rôle. The semantics of swinging types is given by Herbrand models with least and greatest relational fixpoints. Proofs about swinging types make heavy use of induction and coinduction. (Peter Padawitz)
  • The prototyping system Expander2 is a multi-purpose workbench for interactive logical inference, constraint solving, data flow analysis and other rule-based manipulations of algebraic terms, logical formulas and graphical representations thereof, which range from term graphs to various turtle-system-generated pictures Expander2 has been written in O'Haskell, an extension of Haskell with object-oriented features for reactive programming and a typed interface to Tcl/Tk for developing GUIs. Besides a comfortable GUI the design goals of Expander2 were to integrate testing, proving and visualizing deductive methods, to admit several degrees of interaction and to keep the system open for extensions or adaptations of individual components to changing demands. Proofs and computations performed with Expander2 follow the rules and the semantics of swinging types. (Peter Padawitz, Sebastian Venier, Karsten Lettow, Jochen Gerlach, Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!, Markus Heller)
  • Classical and non-classical logics in computer science (Hubert Wagner)
  • Hyperdocument design with formal methods (Volker Mattick, Oliver Geppert)
  • Case studies in functional programming with Haskell and ML, functional programming with reactive objects (O'Haskell), functional-logic programming (Curry) and rewriting-logic programming (Maude) (Peter Padawitz, Karsten Lettow, Jochen Gerlach, Matthias Hellwig, Hartmut Kahl) See also The Journal of Functional and Logic Programming and WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming
  • Design and verification of algebraic Petri nets; translation of SDL systems into LOTOS processes and algebraic nets - in cooperation with TÜV Informationstechnik (Oliver Niese, Peter Padawitz)
  • Konzeption und Koordination der Mathematikausbildung und -anwendung: Teilprojekt V.2 des Sofortprogramms Weiterentwicklung des Informatikstudiums an den deutschen Hochschulen; 2001-2003 (Volker Mattick, Peter Padawitz)

Weitergehende Informationen:

FLDIT-Webseite

Prof. Dr. Gabriele Kern-Isberner Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-2045 Room 3.008 Contact
Dipl.-Math. Marco Wilhelm Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6520 Room 3.015 Contact

Dipl.-Biol. Diana Howey

Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6601 Room 3.015 Contact

M. Sc. Tanja Bock

Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6519 Room 3.007 Contact

M. Sc. Andre Thevapalan

Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6318 Room 3.022 Contact
M. Sc. Meliha Sezgin Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-7518 Room 3.019 Contact

 

The information engineering group works in the area of knowledge representation and reasoning. Particular topics of interest herein are:

  • Qualitative and quantitative knowledge represantation
  • Non-monotonic logics and inference
  • Commonsense reasoning
  • Belief change
Prof. Dr. Thomas Schwentick Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6341 Room 3.011 Contact
Dr Ioannis Kokkinis Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6374 Room 3.012 Contact
M. Sc. Nils Vortmeier Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6346 Room 3.012 Contact
M. Sc. Gaetano Geck Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6326 Room 3.017 Contact
Christopher Spinrath, M. Sc. Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-7549 Room 3.017 Contact

The group works on different areas of Theoretical Computer Science in which logic plays a prominent role:

  • Database Theory (with a current emphasis on the foundations of semistructured data)
  • Verification (with a current emphasis on hybrid logics)
  • Automata Theory (with a current emphasis on Tree Automata and automata that can incorporate data values)
  • Complexity Theory (with a current emphasis on Dynamic Complexity)