Rüdiger Valk

Origem: Wikipédia, a enciclopédia livre.
Rüdiger Valk
Nascimento 5 de agosto de 1945 (78 anos)
Cidadania Alemanha
Alma mater
Ocupação matemático, cientista de computação
Empregador(a) Universidade de Hamburgo

Rüdiger Valk (5 de agosto de 1945) é um matemático alemão. Foi de 1976 a 2010 professor de informática no Institut für Informatik (depois Fachbereich Informatik) na Universidade de Hamburgo, Alemanha.[1]

Valk estudou matemática na Universidade de Bonn. Supervisionado por Wilfried Brauer, continuou estudando na pós-graduação em Bonn, obtendo um doutorado matemática em 1974. Em 1976 foi professor de ciência da computação teórica (informática). De 1985 a 2010 foi chefe do grupo de pesquisas sobre fundamentações teóricas da ciência da computação (Theoretische Grundlagen der Informatik, TGI) na Universidade de Hamburgo.[1]

Carreira[editar | editar código-fonte]

Sua pesquisa inicial é caracterizada por trabalhos em autômatos e sistemas topológicos,[2][3][4] problemas de decisão[5][6][7] e propriedades estruturais de redes de Petri.[8][9][10]

Publicou artigos em conferências e periódicos[11][12] bem como livros didáticos.[13][14]

Sua carreira posterior foi dedicada ao paradigma Object Petri Nets e as Nets within Nets; ou seja, a ideia de usar redes de Petri como tokens dentro das redes de Petri.[15][16][17][18][19]

Durante um período considerável de sua carreira de pesquisador, Rüdiger Valk trabalhou em estreita colaboração com Carl Adam Petri, o inventor das redes de Petri, que ocupou um cargo de professor honorário na Universidade de Hamburgo.

Além disso, Valk contribuiu para o debate de como os computadores afetam a sociedade,[20] como a informática deve ser vista como uma disciplina científica[21] e empreendeu pesquisas interdisciplinares sobre modelos de sociologia e a disciplina derivada da sociônica como uma interseção da sociologia e da informática.[22][23][24]

Referências

  1. ↑ a b Página pessoal na Universidade de Hamburgo
  2. ↑ Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4 (1974) 4, pp. 43–52.
  3. ↑ On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, pp. 39–54.
  4. ↑ Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Bonn, 1976.
  5. ↑ Self-modifying Nets, a Natural Extension of Petri Nets. Automata Languages and Programming. Colloquium, Udine In: Lecture Notes in Computer Science. No. 62, Berlin, pp. 464–476.
  6. ↑ Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, (1981) 3, pp. 299–325. (with Guy Vidal-Naquet)
  7. ↑ The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. In: Acta Informatika. 21 (1985), pp. 643–674. (mit M. Jantzen)
  8. ↑ Infinitive Behaviour of Petri Nets. In: Theoretical Computer Science. 25 (1983), pp. 311–341.
  9. ↑ Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75 (1987), pp. 232–263. (with D. Hauschildt)
  10. ↑ Bridging the Gap Between Floyd- and S-Invariants. In: Ajmone Marson M. (Ed.): Application and Theory of Petri Nets. Chicago, USA, Lecture Notes in Computer Science No. 691, Springer, Berlin Juni 1993, pp. 433–453.
  11. ↑ Modelling Concurrency by Task/Flow EN Systems. Proceedings 3rd Workshop on Concurrency and Compositionality. GMD-Studien Nr. 191, Gesellschaft f. Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
  12. ↑ Polynomial deadlock avoidance method for a class of nonsequential resource allocation systems. IEEE Transactions on Systems. In: Man, and Cybernetics - Part A: Systems and Humans. 36(6), 2006. (with Joaquín Ezpeleta)
  13. ↑ Rechensysteme. Springer Verlag. Lehrbuch. Berlin 1987, ISBN 3-540-16383-2. (with E. Jessen)
  14. ↑ Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications. Springer, Berlin, 2003 (Ed. with C. Girault), ISBN 3-540-41217-4.
  15. ↑ Petri Nets as Token Objects - An Introduction to Elementary Object Nets. In: J. Desel, M. Silva (Eds.): Proc. Application and Theory of Petri Nets. Lisbon, Portugal In: Lecture Notes in Computer Science. Nr. 1420, Springer, Berlin 1998, pp. 1–25.
  16. ↑ Reference and Value Semantics for Object Petri Nets. In: H. Weber, H. Ehrig, W. Reisig (Eds.): Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Institute for Software and Systems Engineering ISST, Berlin 1999.
  17. ↑ Mobile and Distributed Object versus Central Referencing. In: J. Grabowski, St. Heymer (Eds.): Formale Beschreibungstechniken für verteilte Systeme. FBT’2000, 10. GI/ITG-Fachgespräch, Lübeck, June 2000, pp. 7–27.
  18. ↑ Concurrency in Communicating Object Petri Nets. In: G. Agha, F. De Cindio, G. Rozenberg (Hrsg.): Concurrent Object-Oriented Programming and Petri Nets. In: Lecture Notes in Computer Science. Springer, Berlin 2001, pp. 158–189.
  19. ↑ Using the Nets-within-Nets Paradigm, Proceedings of the Advanced Course on Petri Nets 2003. Eichstätt, Germany. Lecture Notes in Computer Science, Springer-Verlag, 2004.
  20. ↑ Der Computer als Herausforderung an die menschliche Rationalität. In: Informatik-Spektrum. 10 (1987), pp. 57–66.
  21. ↑ Die Informatik zwischen Formal- und Humanwissenschaften. In: Informatik Spektrum. 20/2, Springer-Verlag, Berlin April 1997, pp. 95–100.
  22. ↑ Sozionik: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Volume 2). Lit-Verlag, Münster/ Hamburg/ London 2003, ISBN 3-8258-5980-0. (with Rolf v. Lüde, Daniel Moldt)
  23. ↑ Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation. In: Journal of Artificial Societies and Social Simulation. 10(1), 2007. (with Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke) (online at: jasss.soc.surrey.ac.uk)
  24. ↑ Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Lit-Verlag, Münster/ Hamburg/ London 2009, ISBN 978-3-643-10057-3. (with Rolf v. Lüde, Daniel Moldt, Eds.)
Obtida de "https://pt.wikipedia.org/w/index.php?title=Rüdiger_Valk&oldid=65645427"