The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking. http://www.cs.technion.ac.il/users/orna/
University of Udine - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming. http://www.dimi.uniud.it/~gabbri/
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases. http://www.adrem.ua.ac.be/~goethals/
University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial database systems, graphs (networks) in spatial databases. http://www.informatik.fernuni-hagen.de/import/pi4/gueting/home.html
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices. http://www-2.cs.cmu.edu/~garth/
University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars. http://www.cogs.susx.ac.uk/lab/nlp/gazdar/gazdar.html
Add URL
My Sites
My Account
Contact Us