Autores

Obteve o seu PhD em matemática, trabalhou 6 anos numa empresa de consultadoria antes de se tornar professor catedrático em Computer Science na Eindhoven University of Technology (TU/e) em 1984. Desde de 1994 até 2004 foi parceiro durante 5 anos numa importante empresa de consultadoria holandesa e 5 anos na Deloitte. Em 2004 decidiu dedicar-se a tempo integral à TU/e. Publicou vários artigos nas áreas de processos de Markov, redes de Petri, métodos de especificação formal, ferramentas e métodos para a engenharia de software, sistemas de apoio à decisão, e sistemas de gestão de workflows. Os seus interesses científicos centram-se em Service Oriented Computing usando redes de Petri, e testes de propriedades de sistemas de informação usando métodos formais e estatísticos.

——

Kees van Hee obtained a PhD in mathematics and worked in a consulting company for six years before becoming a full professor in computer science at Eindhoven University of Technology (TU/e) in 1984. From 1994 to 2005 he was, for five years, a partner of an important Dutch consulting company and, for five years, a partner at Deloitte. In 2004 he decided to only work at TU/e. He has published several articles on Markov processes, Petri networks, formal specifications methods, software engineering methods and tools, decision making support systems, and workflow management systems. His academic research interests focus on service oriented computing using Petri networks and properties tests for information systems using formal and statistical methods.