to the Univerity of Wuppertal

Programming -  Formal Specification -  IT -  IAGMPI

to the Department of Mathematics

you are already reading the english version of this page zu der deutschen Version dieser Seite

my picture

Prof. Dr. H.-J. Buhl

      Programming and Information Technologies

      »Mathematical Problems in Engineering«  (Numerical Computing et al.)

      Computing Services

      Computer Operating of the Department Computer Center

      SOLARIS-CompetenceCentreonly german page available   &  

MSDN Academic Alliance


Professional History
Research: Projects
Computer Services
Public Keys


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
Phone: +49 202 2422009
Fax:     +49 202 2422011

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

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


Research: Projects

  • Programming and Information Technologies
    letter  FGprogit (at)
    • 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 Centeronly german page available
  • »Mathematical Problems in Engineering«
    letter  FGiagmpi (at)
    • 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)

Computing Services

letter  admin (at)

See also SPARC-Kompetenzzentrum


Public Keys

 Download my X.509 certificate for S/MIME
(SHA1-Fingerprint: SHA1:A7:D6:1D:BF:A0:AE:F2:12:9B:95:CD:17:34:7B:BC:18:76:11:58:AA)
from the UniWuppertal-CA download page.

 Download my public PGP-key: key (Fingerprint: DC26 764D 89E2 5E80 1914 C36D 111E F14C C305 1CC6 )



  Hans-Jürgen Buhl  

W3C 4.0 Checked!