Hoffmann, Achim
University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.

Hofmann, Martin
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.

Honsell, Furio
University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.

Houle, Michael
University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.

Howell, Rodney R.
Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.

Results: Previous 1 2 3 4

( Add Your Site )

» Advertising » Affiliate Program » Business » Computers » Construction » Consulting » Education » Entertainment » Financial Services » Food » Forum » Furniture » Gambling » Games » Garden » Graphic Design » Hardware » Health » Home » Human Resources » Internet » ISP » Law » Marketing » Mortgage

» Music » News » Others » Personal Site » Portal » Real Estate » Recreation » Search Engine Optimization » Security » Shopping » Society » Software » Sports » Telecommunications » Transportation » Travel » Web Design » Web Hosting Directory » Web Hosting Guide » Web Hosting Providers » Web Hosting Reviews » Web Marketing » Web Template » Webmaster Resources » World