Gunther Schmidt - Gunther Schmidt

Gunther Schmidt
Født	1939
Beskæftigelse	matematiker

Gunther Schmidt (født 1939, Rüdersdorf ) er en tysk matematiker, der også arbejder med informatik .

Liv

Schmidt begyndte at studere matematik i 1957 på Göttingen University . Hans akademiske lærere var især Kurt Reidemeister, Wilhelm Klingenberg og Karl Stein. I 1960 overførte han til Ludwig-Maximilians-Universität München, hvor han studerede funktioner af flere komplekse variabler med Karl Stein . Schmidt skrev et speciale om analytisk fortsættelse af sådanne funktioner.

I 1962 begyndte Schmidt at arbejde på TU München med studerende fra Robert Sauer, i begyndelsen i laboratorier og selvstudier, senere i mentorskab og administration. Schmidts interesser vendt mod programmering, da han samarbejdede med Hans Langmaack om at omskrive og fletning gruppe i 1969. Friedrich L. Bauer og Klaus Samelson var oprettelse softwareudvikling på universitetet og Schmidt sluttede deres gruppe i 1974. I 1977 han indgivet sin Habilitation "Programmer som delvise grafer ".

Han blev professor i 1980. Kort tid efter blev han udnævnt til at varetage formanden for afdøde Klaus Samelson i halvandet år. Fra 1988 til hans pensionering i 2004 havde han et professorat ved fakultetet for datalogi ved Universität der Bundeswehr München . Han var underviser i klasseværelset for begynderkurser samt specialkurser i matematisk logik , semantik i programmeringssprog , konstruktion af kompilatorer og algoritmiske sprog . I samarbejde med Thomas Strohlein forfattede han en lærebog om relationer og grafer , udgivet på tysk i 1989 og engelsk i 1993 og igen i 2012.

I 2001 blev han involveret i et stort projekt (17 nationer) med European Cooperation in Science and Technology : Schmidt var formand for projekt COST 274 TARSKI (Teori og anvendelse af relationelle strukturer som vidensinstrumenter).

I 2014 blev der arrangeret en festschrift for at fejre hans 75. år.

Den calculus af forbindelserne havde en forholdsvis lav profil blandt matematiske emner i det tyvende århundrede, men Schmidt og andre har rejst pågældende profil. Den delvise rækkefølge af binære relationer kan organiseres ved at gruppere gennem lukning . I 2018 offentliggjorde Schmidt og Michael Winter Relational Topology, der gennemgår klassiske matematiske strukturer , såsom binære operationer og topologisk rum , gennem linsen til relationens beregning.

Arbejde

I 1981 deltog han i International Summer School Marktoberdorf og redigerede forelæsningsnotaterne Theoretical Foundations of Programming Methodology med Manfred Broy .

Gunther Schmidt er hovedsageligt kendt for sit arbejde med relationel matematik; han var medstifter af RAMiCS konferenceserien i 1994.

Hans lærebøger om relationsregning viser anvendelser og potentiale i algebraisk logik .

Bøger

• 1989: (med T. Ströhlein) Relationen und Graphen , Mathematik für Informatiker, Springer Verlag, ISBN  3-540-50304-8 , ISBN  0-387-50304-8
• 1993: (med T. Ströhlein) Relationer og grafer Diskret matematik for dataloger, EATCS monografier om teoretisk datalogi, Springer Verlag, ISBN  3-540-56254-0
• 2011: Relationsmatematik , Encyclopedia of Mathematics and its Applications, bind. 132, Cambridge University Press ISBN  978-0-521-76268-7
• 2018: (med M. Winter) Relationel topologi , Forelæsningsnotater i matematik vol. 2208, Springer Verlag, ISBN  978-3-319-74451-3
• 2020: Rückblick auf die Anfänge der Münchner Informatik , Die blaue Stunde der Informatik, Springer-Vieweg, ISBN  978-3-658-28754-2 , ISBN  978-3-658-28755-9

Redaktioner

• 2006: (med de Swart, HCM , Orłowska, E. og Roubens, M. ) Teori og anvendelse af relationelle strukturer som vidensinstrumenter II , afslutningsvolumen af ​​COST-aktionen 274: TARSKI, Foredragsnotater i datalogi #4342 , Springer ISBN  3-540-69223-1 , ISBN  978-3-540-69223-2
• 2003: (med de Swart, HCM, Orłowska, E. og Roubens, M.) Teori og anvendelse af relationelle strukturer som vidensinstrumenter, Kickoff -volumen af ​​COST -aktionen 274: TARSKI, Forelæsningsnotater i datalogi #2929, Springer, ISBN  3-540-20780-5
• 2001: (med Parnas, D. , Kahl, W. ) Relationsmetoder i software, Specialudgave af elektroniske noter i teoretisk datalogi , bind. 44, nummer 3, ISSN  1571-0661
• 1999: (med Jaoua, A. ) Relationsmetoder inden for datalogi, Special Issue of Information Sciences , bind. 119, nummer 3+4, Elsevier
• 1997: med Brink, C. , Kahl, W .: Relationsmetoder inden for datalogi , fremskridt inden for computervidenskab. Springer ISBN  3-211-82971-7
• 1994: (med Mayr, EW og Tinhofer, G.) Grafteoretiske begreber i datalogi , bind. 903 af Forelæsningsnotater i datalogi , Proc. 20. praktikant. Workshop WG '94, 17. – 19. Juni, Herrsching, Springer 1994, ISBN  3-540-59071-4
• 1991: (med Berghammer, R. ) Grafteoretiske begreber i datalogi , bind. 570 af Forelæsningsnotater i datalogi, Proc. 17. praktikant. Workshop WG '91, 17.-19. Juni, Richterheim Fischbachau, Springer 1991, ISBN  3-540-55121-2 , ISBN  0-387-55121-2
• 1987: (med Tinhofer, G ) Grafteoretiske begreber i datalogi vol. 246 af Forelæsningsnotater i datalogi, Proc. 12. praktikant. Workshop WG '86, 17. – 19. Juni, Kloster Bernried, Springer, ISBN  3-540-17218-1 , ISBN  0-387-17218-1
• 1982: (med Broy, M. ) Teoretiske grundlag for programmeringsmetodik . Reidel Publishers, ISBN  90-277-1460-6 .
• 1981: (med Bauer, FL ) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages , Springer

Referencer

eksterne links

• Hjemmeside på Universität der Bundeswehr München med adgang til en komplet liste over publikationer og samtaler
• Gunther Schmidt på DBLP Bibliography Server
• Gunther Schmidt på Library of Congress Authorities
• Gunther Schmidt forfatterprofilside på ACM Digital Library
• researchr
• Berghammer, Rudolf; Winter, Michael (2014). "Gunther Schmidts liv som matematiker og datalog" . Journal of Logical and Algebraic Methods in Programming . 83 (2): 300–308. doi : 10.1016/j.jlap.2014.02.015 .