Technology

Tag Archives

Archive of posts published in the category: Department
Apr
27

Programming Languages | Department of Computer Science

The programming languages research group at Cornell includes eight faculty and over two dozen Ph.D. students. We are proud of both our breadth and depth in this core discipline. Cornell has been known from the beginning for its research in programming languages. We have made foundational contributions to type theory, automated theorem proving, and language semantics. A more recent theme has been language-based solutions to important problems such as computer security, networking, and distributed programming. Cornell researchers have also contributed to language implementation, program analysis and optimization, domain-specific languages, and software engineering.

See the PL group’s site for news and a full list of people involved in PL research.

Faculty

Robert Constable Robert Constable researches programming languages and formal methods in the context of type theory. The Nuprl proof assistant, developed by Constable and his group, is a dependently-typed language that can be used to describe distributed computing, as a formal specification

Read More
Apr
7

Department of Computer Science – Old Dominion University


The College of Sciences remains committed to the success of our students during these challenging times. Our faculty and staff have worked incredibly hard to move classes online and address student concerns. We continue to support our students through on-line tutoring and ​academic advising. Together we will persevere under these circumstances to ensure continued learning and student success. Go Monarchs!

– Dean Gail Dodge







We are experiencing rapid growth in our department in terms of both enrollment and research:

  • Over 600 undergraduates, 100 MS students, and 40 PhD students
  • Significant external research funding from federal agencies such as NSF, NASA, NEH, NIH, DoD, IIPL, NIA, and others
  • High-quality online BS and MS degree programs and an online graduate certificate in cybersecurity
Read More
Apr
4

Department of Computer Science, University of Northern Iowa

Welcome to the home of the Department of Computer Science at
the University of Northern Iowa!

This is a

great time to be in computer science
,
especially at UNI. Demand for IT professionals in Iowa and the
Midwest grows faster than universities can produce graduates.
The discipline of computing continues to push the boundaries of
what is possible by discovering new ideas, building new kinds of
systems, and bring new tools into the home, school, and office.
If you want to be in the thick of the intellectual excitement
that is changing every other discipline, then computer science
is the place to be.

At UNI, you will encounter a faculty immersed in this excitement
and dedicated to student achievement. UNI CS’s undergraduate
students work closely with faculty members to explore the
discipline of computing, learn skills they can use in the
marketplace, and have the opportunity to do research

Read More
Apr
1

UMD Department of Computer Science |

Descriptive Image (20900)
Professor Aravind Srinivasan was recently named a Fellow of the Society for Industrial and Applied Mathematics (SIAM) for 2020 . SIAM is an international society which aims to promote research that will lead to effective…read more
Descriptive Image (20896)
Computer Science undergraduate Pavan Ravindra, a Banneker/Key Scholar has been named the 2020 Goldwater Scholar by the Barry Goldwater Scholarship and Excellence in Education Foundation. Ravindra was among the 396 Barry Goldwater Scholars selected from…read more
Descriptive Image (20895)

Yogesh Balaji, Sanghyun Hong and Nitin Sanket were awarded the Ann G. Wylie Dissertation Fellowship for the 2020-2021 academic year.

Three students from the department were awarded the Ann G. Wylie Dissertation Fellowship for the 2020- 2021 academic year. The Ann G. Wylie Dissertation Fellowship supports students with excellent qualifications who are in the latter…read more
Descriptive Image (20892)
A team of researchers led by Professor Aravind Srinivasan at UMD and by the University of Virginia overall, secured the prestigious NSF
Read More
Apr
1

UH Department of Electrical and Computer Engineering |

The Cullen College of Engineering was recently ranked at No. 67 on the list of 2021 Best Graduate Schools By U.S. News & World Report.

On Tuesday, March 17, U.S. News & World Report released its updated 2021 rankings of best graduate engineering programs in the country. The UH Cullen College of Engineering has increased once again and is now rated No. 67. 

Cullen College Listed Among Best Engineering Graduate Schools of 2021 The UH/HCC Engineering Academy at Katy is a unique educational partnership between UH and HCC.

Over 100 individuals joined representatives from the University of Houston Cullen College of Engineering and Houston Community College last Thursday, Feb. 20, for the first official UH/HCC Engineering Academy Information Session. The event was held at the new UH at Katy facility, which officially opened in August 2019.

New UH/HCC Engineering Academy Steps Into The Spotlight

Research Ranges From Better Batteries to Better Ways of Diagnosing Alzheimer’s Disease

Four UH Faculty Members Elected to National Academy of Inventors Stanko Brankovic, a globally-renowned electrodeposition authority at the UH Cullen College of Engineering, and Robles Hernández, an associate professor at the UH College of Technology have teamed up for the Semiconductor Research Corp.– funded new materials research project.

The Semiconductor Research Corp. awarded a three-year, $240,000 grant to University of Houston researchers to design a new electrodeposition process and solution to create

Read More