Computer Science

Kaehler, Ted Kaehler, Ted- Walt Disney Imagineering - One of Smalltalk's original core creators, and Squeak team member. Warm, friendly page; diverse topics: from Smalltalk philosophy, to alte… Krasavin, Konstantin Krasavin, Konstantin- University of Joensuu - graduate student in Information Technology. Course and project resources. Kaushik, Saroj Kaushik, Saroj- Indian Institute of Technology, Delhi - Artificial Intelligence, Natural Language Processing, Knowledge Based Systems, Computer Assisted Learning and Teaching Kapoor, Sanjiv Kapoor, Sanjiv- Indian Institute of Technology, Delhi - Computational Geometry, Graph Algorithms, Combinatorial Optimization, Graphics, Data Structures Kemerer, Chris F. Kemerer, Chris F.- University of Pittsburgh - David Roderick Chair in Information Systems. Management and measurement issues in information systems and software engineering. Katz, Shmuel Katz, Shmuel- The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distr… Kumar, Anshul Kumar, Anshul- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture Kleinrock, Leonard Kleinrock, Leonard- Inventor of the internet technology packet switching. Has published more than 200 papers and authored six books on a wide array of subjects including packet sw… Jerrum, Mark Jerrum, Mark- University of Edinburgh - Probabilistic computation, the complexity of combinatorial enumeration, information- and complexity-theoretic aspects of machine learning, … Joshi, Rushikesh Joshi, Rushikesh- Indian Institute of Technology, Bombay - Object Oriented Systems, Distributed Systems, Software Architectures. Johnson, Chris Johnson, Chris- University of Utah - Director, Scientific Computing and Imaging Institute. Jain, Bijendra Jain, Bijendra- Indian Institute of Technology, Delhi - High-speed Networks, Network-based Information Systems, Multimedia Communication, Network Security Jha, Sanjay Jha, Sanjay- University of New South Wales - Higher layer network protocols, end to end quality of service, real-time multimedia communications, subjective evaluation of user perc… Ibbett, Roland Ibbett, Roland- University of Edinburgh - Architecture of parallel and novel computer systems. Iyer, Sridhar Iyer, Sridhar- Indian Institute of Technology, Bombay - Mobile Computing, Distributed Systems, Educational Software. Ibarra, Oscar H. Ibarra, Oscar H.- University of California, Santa Barbara - Design and analysis of algorithms, theory of computation, computational complexity, parallel computing, digital librari… Honsell, Furio Honsell, Furio- University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs,… Howell, Rodney R. Howell, Rodney R.- Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity. Hofmann, Martin Hofmann, Martin- University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods. Herman, Gabor T. Herman, Gabor T.- City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digi… Hesselink, Wim H. Hesselink, Wim H.- University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theo… Held, Martin Held, Martin- University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing. Hoffmann, Achim Hoffmann, Achim- University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of ne… Heiser, Gernot Heiser, Gernot- University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells. Hannaford, Michael R. Hannaford, Michael R.- University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture. Henskens, Frans Henskens, Frans- University of Newcastle - Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, pers… Haas, Laura Haas, Laura- IBM Almaden Research Center - Database query processing. Gousie, Michael B. Gousie, Michael B.- Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS). Güting, Ralf Hartmut Güting, Ralf Hartmut- University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial databas… Gibson, Paul Gibson, Paul- IT SudParis. Personal information, details of research, publications, and teaching. Gupta, Abhinav Gupta, Abhinav- University of Calgary - Routing in Ad hoc Networks. Gilmore, Stephen Gilmore, Stephen- University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. Gabbrielli, Maurizio Gabbrielli, Maurizio- University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages… Gibson, Garth Gibson, Garth- Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, an… Goethals, Bart Goethals, Bart- Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases. Ghosh, R. K. Ghosh, R. K.- Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases. Gibbons, Nick Gibbons, Nick- Keele University, UK Garg, Naveen Garg, Naveen- Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms Grumberg, Orna Grumberg, Orna- The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite … Frailey, Dennis J. Frailey, Dennis J.- Software engineering improvement, especially focusing on cycle time. Foresti, Gian Luca Foresti, Gian Luca- University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence. Fisher, Robert Fisher, Robert- University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms. Franklin, James Franklin, James- University of New South Wales - Neural networks and structuralist philosophy of mathematics. Fröhlich, Peter H. Fröhlich, Peter H.- UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona. Fourman, Michael Fourman, Michael- School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositiona… Foo, Norman Foo, Norman- University of New South Wales - Logic and model theory, belief revision. Fjeld, Morten Fjeld, Morten- ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics. Francez, Nissim Francez, Nissim- The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distribut… Eades, Peter Eades, Peter- University of Sydney - Graph drawing, information visualization, software visualization, algorithms. Eder, Elmar Eder, Elmar- University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, an…