en.unionpedia.org

Chris Verhoef, the Glossary

Christopher (Chris) Verhoef (born 1962) is a Dutch computer scientist, and Professor of Computer Science at the Vrije Universiteit in Amsterdam.^[1]

12 relations: Algebra of communicating processes, Computer science, Computer scientist, Eindhoven University of Technology, IT portfolio management, Jan Bergstra, Jan Willem Klop, Kedichem, Operational semantics, Reverse engineering, University of Amsterdam, Vrije Universiteit Amsterdam.
21st-century Dutch scientists
People from Leerdam

Algebra of communicating processes

The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems.

See Chris Verhoef and Algebra of communicating processes

Computer science

Computer science is the study of computation, information, and automation.

See Chris Verhoef and Computer science

Computer scientist

A computer scientist is a scholar who specializes in the academic study of computer science.

See Chris Verhoef and Computer scientist

Eindhoven University of Technology

The Eindhoven University of Technology (Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, situated in Eindhoven.

See Chris Verhoef and Eindhoven University of Technology

IT portfolio management

IT portfolio management is the application of systematic management to the investments, projects and activities of enterprise Information Technology (IT) departments.

See Chris Verhoef and IT portfolio management

Jan Bergstra

Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. Chris Verhoef and Jan Bergstra are Dutch computer scientists.

See Chris Verhoef and Jan Bergstra

Jan Willem Klop (born 1945) is a professor of applied logic at Vrije Universiteit in Amsterdam. Chris Verhoef and Jan Willem Klop are academic staff of Vrije Universiteit Amsterdam and Dutch computer scientists.

See Chris Verhoef and Jan Willem Klop

Kedichem

Kedichem is a village in the Dutch province of Utrecht.

See Chris Verhoef and Kedichem

Operational semantics

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics).

See Chris Verhoef and Operational semantics

Reverse engineering

Reverse engineering (also known as backwards engineering or back engineering) is a process or method through which one attempts to understand through deductive reasoning how a previously made device, process, system, or piece of software accomplishes a task with very little (if any) insight into exactly how it does so.

See Chris Verhoef and Reverse engineering