Hendrik Brinksma

from Wikipedia, the free encyclopedia
Hendrik "Ed" Brinksma (2016)

Hendrik "Ed" Brinksma (born September 16, 1957 in The Hague ) is a Dutch professor of computer science and since 2018 President of the Hamburg University of Technology .

Life

Brinksma studied mathematics at the University of Groningen with a specialization in mathematical logic . He graduated in 1982 with cum laude .

Act

Brinksma received her PhD in 1988 on LOTOS from the University of Twente.

In addition to formal methods , process calculation and model-based testing are Brinksma's academic focuses

In 1991 Brinksma was offered a professorship for formal methods at the University of Twente . In 2005 he moved to the Technical University of Eindhoven for a professorship in embedded systems . From 2009 to 2016 he was Rector Magnificus at the University of Twente. After his tenure, he received the award as an officer of the Order of Orange-Nassau . Brinksma spent the year following his presidency at the Stevens Institute of Technology and the Singapore University of Technology and Design . Brinksma was elected President of the TUHH on October 25, 2017 by the academic senate of the TU Hamburg-Harburg as the successor to Garabed Antranikian . He took office on February 1, 2018.

Web links

Individual evidence

  1. ↑ a b Hendrik Brinksma: CURRICULUM VITÆ. (PDF, 211 kB) In: utwente.nl. February 2017, accessed February 9, 2018 .
  2. ↑ Hendrik Brinksma: On the design of extended lotos: a specification language for open distributed systems . Enschede 1988, p. 237 (English).
  3. ↑ Katoen, Joost-Pieter; Langerak, Rome; Rensink, Arend (Ed.): ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday . 1st edition. Springer, Berlin 2017, ISBN 978-3-319-68270-9 , doi : 10.1007 / 978-3-319-68270-9 (English).
  4. ^ Ed Brinksma (UT) bij afscheid koninklijk onderscheiden. In: huisaanhuisenschede.nl. November 25, 2016, accessed February 15, 2018 (Dutch).
  5. ↑ Bertyl Lankhaar: Ed Brinksma elected new president of Hamburg University of Technology. In: utwente.nl. October 25, 2017, accessed February 9, 2018 .
  6. ↑ Julia Offen: Boards of the TU Hamburg elect a new president. In: hamburg.de. October 25, 2017. Retrieved February 9, 2018 .
personal data
SURNAME Brinksma, Hendrik
ALTERNATIVE NAMES Brinksma, Ed
BRIEF DESCRIPTION Dutch computer scientist and university president
DATE OF BIRTH September 16, 1957
PLACE OF BIRTH The Hague , Netherlands