N

N Links

Nadathur, Gopalan University of Chicago - Declarative programming languages, lambda Prolog.
Nipkow, Tobias Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
Nadjm-Tehrani, Simin Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.
Nicol, David M. Dartmouth College - Parallel processing, performance analysis, parallel simulation, static and dynamic mapping algorithms, network simulation, security.
Nilsson, Stefan Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing.
Ngu, Anne University of New South Wales - Cooperative onformation systems, multimedia databases, and object-oriented databases.
Naraschewski, Wolfgang Technische Universität München - Automatic and interactive theorem proving, verification of object-oriented programs, foundations of object-oriented programming, type systems for functional programming languages.

Help build the largest human-edited directory on the web.