 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Sponsored Links:
|
| URL: |
http://www.dcs.ed.ac.uk/~dts/
|
| Title: |
Don Sannella |
| Description: |
Computers, Computer Science, People, S - Sannella, Donald. University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. |
| Specialized in: |
Home Page
|
|
 |
|
 |
Snodgrass, Richard T. (Popularity: ): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Simon, Janos (Popularity: ): University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired ...
Smits, Brian (Popularity: ): University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
Stevens, Rick (Popularity: ): Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
Simpson, Alexander (Popularity: ): University of Edinburgh - Category theory, domain theory, logic, type theory.
Stark, Ian (Popularity: ): University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Steedman, Mark (Popularity: ): University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
Stirling, Colin (Popularity: ): University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description ...
Sammut, Claude (Popularity: ): University of New South Wales - Machine learning, logic programming, and knowledge based systems.
Sowmya, Arcot (Popularity: ): University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI ...
|
 |
Popular Sites |
 |
Stantchev, Vladimir and Lubomira (Popularity: ): Humboldt University, Berlin.
Sannella, Donald (Popularity: ): University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Snodgrass, Richard T. (Popularity: ): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Shyamasundar, R. K. (Popularity: ): Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming ...
Schreiner, Wolfgang (Popularity: ): Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic ...
|
 |
Related Press |
 |
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity: ): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...
Bank of America Exceeds $1 Billion in Lending and Investing to Community Lenders (Popularity: ): Bank of America today announced it surpassed the $1 billion mark in loans and investments to more than 120 Community ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|