Results for "Center for Information Assurance and Security"

The Center for Information Assurance and Security at the University of Texas at Austin seeks to be one of the preeminent academic leaders in Information Assurance and Security in the United States, by adopting a large-scale, end-to-end perspective - emphasizing national, collaborative efforts in information security research and education.

Website: http://www.cias.utexas.edu/

Projects

There are no results.

Faculty

William R. Cook

Affiliated Departments:
Computer Science
Research Interests:

Programming languages, modeling languages, domain-specific languages, strategic programming, interfacing programming languages and databases, distributed computing and web services, software engineering, type theory…

Anna Gal

Affiliated Departments:
Computer Science
Research Interests:

* Computational complexity
* Lower bounds for complexity of Boolean Functions
* Fault tolerant computing
* Randomness and computation
* Algorithms and combinatorics

Warren A Hunt Jr

Affiliated Departments:
Computer Science, Electrical and Computer Engineering
Research Interests:

Professor Hunt's research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications. Specifications…

Aloysius K Mok

Affiliated Departments:
Computer Science
Research Interests:

Fault-tolerant hard-real-time systems, cyber-physical systems, computer-aided system design tools, software engineering

Lili Qiu

Affiliated Departments:
Computer Science
Research Interests:

- Wireless networks & Internet
- Network measurement and tomography
- Overlay routing/Multihoming

Sriram Vishwanath

Affiliated Departments:
Electrical and Computer Engineering, South Asia Institute, Statistics and Scientific Computation
Research Interests:

Information theory, Wireless communications, Coding theory

Emmett Witchel

Affiliated Departments:
Computer Science
Research Interests:

Operating systems, security, architecture, and concurrency.

William D Young

Affiliated Departments:
Computer Science
Research Interests:

Automated reasoning, Computer security, Program verification, Social issues in computing