The Computer Systems discipline (which encompasses the sub-areas of operating systems, distributed, embedded, real time and pervasive systems) constitutes a central pillar of computer science. Systems research is the scientific study, analysis, modeling and engineering of effective software platforms. Its challenge is to provide dependable, powerful, performant, secure and scalable solutions within an increasingly complex IT environment. As toolsmiths fueled the Industrial Revolution, today Systems researchers lay the foundation for IT services and applications in the Knowledge Era. Healthy research in Systems is therefore essential for the success and continuing innovation of the IT-based industry (be it proprietary or open source) in Europe.
[1]
John R. Hayes,et al.
The Complete Problem Solver
,
1981
.
[2]
Martín Abadi,et al.
A logic of authentication
,
1989,
Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[3]
Telecommunications Board,et al.
Academic Careers for Experimental Computer Scientists and Engineers
,
1994
.
[4]
Olivier Ridoux,et al.
A Logic File System
,
2003,
USENIX Annual Technical Conference, General Track.
[5]
Robin Milner,et al.
Grand Challenges for Computing Research
,
2005,
Comput. J..