Networks and distributed systems	[ Main | Publications| karlo | Studieren in den USA ]
Bielefeld University - Faculty of technology

The student finished his Vordiplom with the average grade `excellent' (Please see ` Course of Studies in Computing for Science' for further explanation.) (A+/A).

His grades achieved in the Hauptstudium after four out of five exams are `very good' (A/A-)

Results of oral exams achieved by the student are listed in Section 1.

He also received certificates of successful completion in Courses and Seminars listed in Sections 2 and 3.

Certificates are given for work that is `satisfactory' or above.

Courses and seminars audited by the student are listed in Section 4.

Oral Exams:

Grundstudium

Hauptstudium

Grundstudium:

Courses:

• Informatik I
  (Algorithms and Data Structures I)
  basic concepts of computer science:
  • specification of algorithms
  • correctness and efficiency
  • syntax and semantics
  • abstract machines and reduction calculus
  • principles of imperative programming (Pascal)
• Informatik II
  (Algorithms and Data Structures II)
  basic concepts of computer science:
  • extension of topics in part I
  • principles of functional programming (Miranda)
• Informatik III \& IV
  (Computing Theory)
  • formal languages and grammar
  • automatons and state machines
  • theory of complexity
  • foundations of logic
• Mathematik für die Naturwissenschaftliche Infomatik I
  (Mathematics Part I)
  • algebra
  • calculus I
• Mathematik für die Naturwissenschaftliche Infomatik II
  (Mathematics Part II)
  • calculus II
• Mathematik für die Naturwissenschaftliche Infomatik III
  (Mathematics Part III)
  • analysis
  • differential equations
• Mathematik für die Naturwissenschaftliche Infomatik IV
  (Mathematics Part IV)
  • statistics
  • probability
• Physik für die Naturwissenschaftliche Informatiker
  (Foundations of Physics)
• Prinzipien der Chemie
  (Principles of Chemistry)

Seminars:

• Technik und Gesellschaft
  (Sociological Aspects of Computer Science and Computer Engineering)

Practical (`Lab') Courses:

Biology:

• Einführung in die allgemeine Biologie
  (Basic Methods of Biology Part I)
  • microscopy
• Nebenfachpraktikum Biologie II
  (Basic Methods of Biology Part II)
  • biochemistry
  • neurophysiology
  • genetics

Computer Science

• Softwarepraktikum
  (Software development)
• Übungen zur Spezifikation und Verifikation von System en
  (Exercises in System Specification and Verification)
• Übungen zu Informatik I
  (Computing and Theoretical Exercises on contents of course: Algorithms and Data Structures I)
• Übungen zu Informatik II
  (Computing and Theoretical Exercises on contents of course: Algorithms and Data Structures II)
• Übungen zu Informatik III
  (Computing and Theoretical Exercises on contents of course: Computing Theory I)
• Übungen zu Informatik IV
  (Computing and Theoretical Exercises on contents of course: Computing Theory I)
• Übungen zu Mathematik I
  (Exercises on contents of course: Mathematics I)
• Übungen zu Mathematik II
  (Exercises on contents of course: Mathematics II)
• Übungen zu Mathematik III
  (Exercises on contents of course: Mathematics III)
• Übungen zu Mathematik IV
  (Exercises on contents of course: Mathematics IV)

Hauptstudium:

Seminars:

• Spezielle Algorithmen auf Sequenzen
  (Algorithms on Sequences Part I)
  • RNA-folding strategies
  • exact pattern matching
  • similarity search (FASTA, BLASTA)
  • approximate pattern matching (agrep, ANREP)
• Rechnernetze und verteilte Systeme
  (Computer Networks and Distributed Systems)
  • network topologies
  • planning and installation and maintenance of a computer network
  • planning, installation and maintenance of a WWW-Server
  • email: configuration and testing of different MTUs (sendmail, qmail, Netscape Mail Server)
  • configuration of various tools and applications
    (Network Time Protocol, \LaTeX, GNU Emacs ...)
  • system security (firewalling, encryption)
• Informatik in der Molekularbiologie
  (Algorithms for Molecular Biology)
  • RNA and protein-folding algorithms based on:
    • artificial neural networks
    • textual based string analysis
    • geometric hashing
• Anwendungen von Logik
  (Applications of Logic)
  • automated theorem proving (Eves, PVS)
• Specifikation und Verifikation
  (Specification and Verification)

Practical (`Lab') Courses:

Biology (laboratory training)

• Characterization of Microorganisms by Genetic Fingerprinting
• Bakterien und Phagengenetik
  (Bacteria and Phage Genetics)

Computer Science

• Digitalelektronisches Praktikum
  (Microelectronics Lab)
  • layout and implementation of diverse circuits
  • development, creation and optimization of an 8-bit CPU

Further Courses and Seminars audited: (no `Schein' requested)

• (C) Stoffwechselphysiologie
  (Foundations of Metabolism)
• (C) Neurophysiologie
  (Neurophysiology)
• (C) Theorie Neuronaler Netze I
  (Neural Networks I)
• (L) Übungen zu Vorlesung `Theorie Neuronaler Netze I'
  (Computing and Theoretical excercises on contents of course: Neural Networks I)
• (C) Theorie Neuronaler Netze II
  (Neural Networks II)
• (C) Algorithmen auf Sequenzen I
  (Algorithms on Sequences Part I)
  • RNA-folding strategies
  • exact pattern matching
  • similarity search (FASTA, BLASTA)
  • approximate pattern matching (agrep, ANREP)
• (L) Übungen zu Algorithmen auf Sequenzen II
  (Computing and Theoretical excercises on contents of course: Algorithms on Sequences Part II)
• (C) Algorithmen auf Sequenzen II
  (Algorithms on Sequences Part II)
  • calculation of RNA structure
  • multiple alignments
  • phylogenetic trees
• (S) Informationssysteme im Internet
  (Information Retrieval via Internet)
• (C) Einführung in die künstliche Intelligenz
  (Introduction to Artificial Intelligence)
• (L) übungen zur Vorlesung 'Einführung in die künstliche Intelligenz I'
  (Computing and Theoretical excercises on contents of course: Introduction to Artificial Intelligence)
• (S) Konstruktion Auitonomer Roboter
  (Construction of Autonomous Robots)
• (C) Einführung in die Robotik
  (Foundations of Robotics)
• (C) Einführung in die biologische Kybernetik
  (Introduction to Biological Cybernetics)
• (C) Compilerbau
  (Compiler Construction)
• (L) Übungen zur Vorlesung Compilerbau
  (Computing and Theoretical excercises on contents of course: Compiler Construction)
• (C) Mustererkennung
  (Foundations of Pattern Recognition)
• (C) C++ Programming
• (C) Einfhrung in die Datenbankentwicklung
  (Introduction to Database Development)
• (S) Wissensbasierte Computergrafik
  (Knowledge-Based Computer Graphics)
• (C) Verteilte Systeme und Verifikation
  (Distributed Computer Systems and Verification Problems)
• (S) Paralleles und verteiltes Rechnen
  (Parallel and Distributed Computing)
• (S) Artificial Life