Sites:
| Nadathur, Gopalan: University of Chicago - Declarative programming languages, lambda Prolog. | | 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. | | Nieh, Jason: Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance evaluation. | | Nilsson, Stefan: Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. | | 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. |
|
Classical
