If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
Binary decision diagrams
Temporal logic
Parallel algorithms
Specification languages
Data structures
Theorem proving