- Computer architecture and operating systems
- Storage systems
- Computer networks
- Distributed systems
- Formal methods
The scope of areas traditionally known as “computer architecture” and “computer systems” has broadened tremendously over the last decade, and is now faced with new challenges requiring a broad toolset and overreaching insights. In terms of technology, the stagnation of Moore’s Law challenges the ubiquitous von Neumann computing model and calls for designing new computer systems comprising novel processing models and compute accelerators. Furthermore, the advent of new memory technologies has introduced new opportunities to improve compute performance and escape traditional capacity bottlenecks.
Collectively, our computer networks and computer engineering groups cover a broad spectrum of topics ranging from low-level hardware and storage architectures and accelerators, via operating systems to computer and storage networks, and further to security and formal methods, high-level software applications such as blockchains, distributed systems protocols and algorithms.Read More