Makana Castillo-Martin, Jason Fan, Nick Franzese and Lillian Huang received the 2020 National Science Foundation Graduate Research Fellowships
Computer engineering is the branch of engineering that integrates electronic engineering with computer sciences. Computer engineers design and develop computer systems and other technological devices.
Some of the most prominent pioneers in computer hardware include:
- Blaise Pascal, inventor of the mechanical calculator;
- Charles Babbage, inventor of the Analytical Engine;
- J. Presper Eckert and John Mauchly, builders of ENIAC, and later UNIVAC, the first computer to be sold commercially;
- Nicholas Metropolis, designer of the MANIAC I computer;
- William Shockley and his team at Bell Labs, inventors of the transistor;
- Seymour Cray, the “Father of Supercomputing”;
- Steve Wozniak, designer of the Apple I and II personal computers and co-founder of Apple Computer along with Steve Jobs;
- Adam Osborne, developer of the first portable computer, the Osborne 1; and
- Douglas Engelbart and Bill English, co-inventors of the computer mouse and developers of hypertext, computer networks and the graphical user interface (GUI).
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.
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
Why Study Computer Science at PLU?
There are many reasons why studying Computer Science at PLU is a great choice. The CS department has small class sizes, dedicated and caring faculty, great facilities, and an excellent curriculum.
Our curriculum prepares students to work in the high technology industry as professional software developers, to continue their studies in graduate school, or to apply their computational skills to another field. With a degree in computer science you might end up writing code for software simulations of proteins, creating the next big video game, or developing a social application that connects people in new ways. The possibilities seem limitless.
Software is a fundamental part of modern life. Most of what we do runs on software, and the world needs quality people to create that software. At PLU, we strive to educate our students to be responsible citizens, critical thinkers, effective communicators, and to
Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.
The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues andthe aspects of industrial practice.
The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including
• Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software;
• Design, implementation and evaluation of programming languages;
• Programming environments, development tools, visualisation and animation;
• Management of the development process;
• Human factors in software, software for social interaction, software for social computing;
• Cyber physical systems, and software for the interaction between the physical and the machine;
• Software aspects of infrastructure services, system administration,
Modeling COVID-19 Spread: Scenario Studies from Indiana Data
CS Professors Szpankowski, Grama and post doc researcher, Sreedharan are working on epidemiological models and predictions of spread of COVID-19 infection, the impact of social distancing guidelines, and providing guidance for policy-making.
Hambrusch quoted in The Chronicle of Higher Education
“The Discipline That Is Transforming Higher Ed” – The computer-science boom is straining colleges. But it could save some, too.
Kate, Peng, and Rompf Promoted to Associate Professor
Purdue University’s Board of Trustees approved faculty promotions for the 2020-2021 academic year. In the Department of Computer Science, three individuals have been promoted to associate professor; Aniket Kate, Chunyi Peng, and Tiark Rompf.
Bertino and Hussain Author CCC White Paper on 5G Security and Privacy
The Computing Community Consortium (CCC) released a white paper titled “5G Security and Privacy – A Research Roadmap.” The white paper, authored by Bertino with Hussain
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.
Any queries about submissions and peer review should be addressed to the TCS editorial office: firstname.lastname@example.org.
Papers published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games’ is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language
Reducing delays in wireless networks
Congestion control system could help streaming video, mobile games, and other applications run more smoothly.
April 9, 2020
Sprayable user interfaces
CSAIL’s SprayableTech system lets users create large-scale interactive surfaces with sensors and displays using airbrushed inks.
April 8, 2020
Computational thinking class enables students to engage in Covid-19 response
Nearly 300 students join an open course that applies data science, artificial intelligence, and mathematical modeling using the Julia language to study Covid-19.
April 7, 2020
Accelerating data-driven discoveries
Life science companies use Paradigm4’s unique database management system to uncover new insights into human health.
April 4, 2020
MIT joins White House supercomputing effort to speed up search for Covid-19 solutions
Consortium includes industry, government, and academic institutions.
March 23, 2020
System trains driverless cars in simulation before they hit the road
Using a photorealistic simulation engine, vehicles learn to drive in the real world
the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers.
SLAY JABBERWOCKY WITH THIS NO-NONSENSE WORD OF THE DAY QUIZ
Think you remember last week’s words? Take this quiz on the Words of the Day from April 6–12 to find out!
Question 1 of 7
Origin of computer science
First recorded in 1970–75
OTHER WORDS FROM computer science
computer scientist, noun
Words nearby computer science
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2020
British Dictionary definitions for computer science
the study of computers and their application
Collins English Dictionary – Complete
Chu Receives Career Award From National Science Foundation Read More
Butler Selected as a Doctoral Dissertation Advisor/Mentoring Awardee by College Read More
Gilbert Testifies Before U.S. House Committee about Election Security Read More
Show your gratitude this season
by investing in our department today.