Programming -  Formal Specification -  IT -  IAGMPI
  DEPARTMENT OF  MATHEMATICS AND  INFORMATICS
  UNIVERSITY  OF  WUPPERTAL

Contents

Address

Buhl, Hans-Jürgen, Prof., Dr. rer. nat.

University of Wuppertal

School of Mathematics and Natural Sciences

Department of Mathematics and Informatics

Gaußstraße 20

D-42119 Wuppertal

Germany

 

Phone: +49 202 2422009

Fax:     +49 202 2422011

e-mail: Hans-Juergen.Buhl@math.uni-wuppertal.de

WWW: http://www2.math.uni-wuppertal.de/~buhl

Professional History

Born October, 15th, 1955 in Schlegel (Słubiec/Nova Ruda 1, see also: 1), now district of Neurode (Nowa Ruda) / County of Glatz (Powiat Kłodzko, see also: 1, 2, 3) / Lower Silesia (Dolnoslaskie Province). Son of Johannes Josef Buhl (Schlegel, Leppelt/Straszków, see also: 2, 3, 4 ) and Irmgard Buhl, nee Lachnit (Rengersdorf, now Krosnowice, see also: 2, 3, 4, 5, 6, 7, 8, 9, 10, 11). Childhood and schooling in Bönen (see also: 1, 2). Secondary schooling in Unna (see also: 1, 2) at Ernst Barlach (Aufbau-)Gymnasium. A-levels 1975 ibidem. Studies at the Bergischen Universität Wuppertal. Dr. rer. nat. 1987 ibidem. Member of the executive board of the Institute of Applied Computer Science since 1987. Representative in matters of data processing of the Department of Mathematics since 1992. Prof. 1993 at the University of Wuppertal. Domiciled in Wuppertal Elberfeld in Pfalzgrafenstraße.

Member of the

• GI - Gesellschaft für Informatik
• ACM - Association for Computing Machinery
• IEEE Computer Society

• DMV - Deutsche Mathematiker-Vereinigung
• GAMM - Gesellschaft für Angewandte Mathematik und Mechanik
• AMS - American Mathematical Society

Teaching

• Lectures
• Exercises
• Lectrure Notes
• Other Course Materials

Research: Projects

• Programming and Information Technologies

  FGprogit (at) math.uni-wuppertal.de

  • Formal Specification and Object Oriented Class Libraries
    • Using OCL2/VDM++ to Specify and Design among other things Verified Computing Algorithms
    • OCL2 modelling civil status data
    • SW contracts for algorithms of numerical linear algebra
    • Generic Objects used in mathematical toolboxes
  • »Electronic Publishing« in Education and Academic Research
    • A newsletter module used in a content management system (Zope)
    • Thin clients for TeX authoring
    • Algorithmic graph theory in school
    • Using a web helpdesk in the computing centre
    • Administration Friendly WWW Subsystem (create, modify, moderate, administer the WWW site structure and the WWW documents with HTML forms; create, modify, administer databases and HTML database reports with HTML forms; ...)
    • Department Lecture Management System (forms for requesting rooms/dates/..., automatic generation of the Department Calendar, ...)
    • Using Databases for the Department WWW Information System
    • Local Search in the Department WWW Sites
    • WWW Reproduction of Hyperlinked Mathematical (dvi-) Documents without Client Helper Applications
    • xterm Recource File for Using OPAC (local bibliographic search)
    • Interface Subsystem for Using the University CDROM-Library at all Workstations on the Campus
    • E-mail Replier »JasonDecoder« for Automatic Decoding of Jason Answers (remote scientific article delivery)
    See also Microsoft Academic Internet Center

• »Mathematical Problems in Engineering«

  FGiagmpi (at) math.uni-wuppertal.de

  • Verified evaluation of binominal and hypergeometric propabilities
  • C++ GUI application for maintenance and operation of a boiler management unit
  • Data transfer between SkyView detectors, school data centres and the university project centre
  • Dicrete differential forms and the maxwell equations
  • (Rapid) verified automatic adaptive formula evaluation (high-precision enclosure)

Bibliography

• Preprints
• Publications
  • Books
  • Papers
  • Technical Reports
  • Reviews
  • Lecture Notes
  • Course Materials
  • Electronic Publications
    • Lecture Notes
      • Zielgerichtete Algorithmenkonstruktion - von der Spezifikation zum Programm", IAGMPI.9303

  Hans-Jürgen Buhl