KNAW

Prof.dr. J.A. Bergstra Person

Prof.dr. J.A. Bergstra

Expertise Computer science, programming
Expertise (NL) Informatica, programmatuur
Digital Author ID info:eu-repo/dai/nl/068653433
KNAW member Science Division

Active as

Professor
Organisation Informatics Institute (UvA)
Chair (EN) Computer science, in particular programming
Chair (NL) Informatica, in het bijzonder programmatuur
Phone +31-20-5255239
Email j. a. bergstra -at- uva. nl
URL http://staff.science.uva.nl/~janb/

Publications

Current research

(the most recent research is at the top)
Project leader Symbiosis

Completed research projects

(the most recent research is at the top)
Project leader Formal Methods
Project leader Thread algebra for strategic interleaving
Researcher Transmission Control Protocols for the Internet

Classification


Go to page top
Go back to contents
Go back to site navigation