CSE News
Master’s thesis topic in software technology
Visualization of SAT-Solvers The SAT problem — determining if a formula in proposition logic is satisfiable — is decidable because you can construct a truth table. If there are n atomic propositions, there are 2^n assignments, so this is not an efficient algorithm. An efficient algorithm for SAT would solve the P=NP? problem in the affirmative, which is unlikely. However, many interesting algorithms for SAT (called SAT Solvers) have proved to be very efficient in practice. The algorithms are generally based on the DPLL (David, Putnam, Logemann, Loveland) algorithm and add sophisticated search methods and heuristics. The Master’s thesis project … Read more
Lecture on “Social networking and computer network design” 9.5. at 16:15 in A106
The recent development in computer network has enabled a rich set of Internet services and applications such email, online social networks (OSNs), and microblogging systems that are now a very important part of our daily lives. Many computer networks have dual properties. They are physical networks and at the same time human networks. It is tremendously important to exploit this social networking feature to design more efficient and more reliable communication systems. In this talk, I will illustrate, with several examples, how social networks can be integrated into system design. I will start by introducing several human mobility and social … Read more
Open M.Sc. thesis position: “Design and implementation of high-level Internet models on top of a distributed discrete event simulator”
(Autumn 2012) Background: A clean-slate information-centric network (ICN) architecture for Internet is being developed in the PURSUIT EU project. The system under work includes a global rendezvous service based on hierarchical DHT consisting of thousands of nodes dispersed cover different autonomous systems. The evaluation of system of this size is difficult, as router-level simulations do not scale to the whole Internet and global prototype deployment is not feasible. Therefore, we are developing our own distributed discrete event simulator tool, that can be run in a computer cluster for large-scale models. In addition, we have been collecting and combining existing data … Read more
Guest Lecture: Dr. Vladimir Mazarov, Fri 27th of April at 1:00 p.m, room A106
NETWORKING GAMES, STRONG NASH EQUILIBRIUM AND OPTIMAL ROUTING on Friday, April 27th, at 1:00 p.m. in room A106, Computer Science Building, Aalto University School of Science. Vladimir Mazalov, Prof., Ph.D., Dr. Sci. Karelian Research Centre of the Russian Academy of Sciences Many real problems in modern networks and supercomputing such as resource distribution, scheduling and routing, spam fighting, etc. can be solved by game-theoretic methods. The players here can be the users, the jobs, the packages, etc. Networking games can be divided for two classes in respect of the traffic being divided (Wardrope games) or not (KP models) for units. … Read more
Notice of a Meeting
DEAN VISITS DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING THURSDAY 26th OF APRIL AT 13:00 (about 60 min) LECTURE HALL T1 Agenda: Aalto University´s strategy, dean Kimmo Kaski SCI SAB report, dean Kimmo Kaski Current status of reformation of bachelor´s degree, Mari Knuuttila
Open Position: Secretary, Department of Computer Science and Engineering
Read more on Finnish pages.
Open PhD Research Positions
Aalto University is a new university with over a century of experience. Created from a high-profile merger between three leading universities in Finland – the Helsinki School of Economics, the Helsinki University of Technology and the University of Art and Design Helsinki – Aalto University opens up new possibilities for strong multi-disciplinary education and research. The university’s ambitious goal is to rank among the top universities in the world in its areas of specialization. At Aalto, there are 20,000 students and a staff of 4,500 including 340 professors. Aalto University School of Science invites applications for: PHD RESEARCH POSITIONS IN … Read more
EIT ICT Labs Cloud Computing Summer School registration now open
EIT ICT Labs Cloud Computing Summer School at Aalto University 3.-8.6.2012 registration is now opened. More information in the cloud computing summer school pages.
Master thesis topic in Mammoth project and in NRC
Security Architecture for Short-range Wireless High-bandwidth Memory Access The project in NRC is for an M.Sc. thesis around the topic of defining and prototyping security architecture for a short-range high-bandwidth wireless memory access technology. Objectives To design and implement a security architecture for a short-range high-bandwidth wireless memory access technology. If feasible, also investigate the security issues for specific usage scenarios of this technology. Contacts in NRC: Jan-Erik Ekberg (jan-erik.ekberg@nokia.com), N. Asokan (n.asokan@nokia.com) More information: Antti Ylä-Jääski (antti.yla-jaaski@aalto.fi). Group communication in Low power and Lossy Networks Internet of things(IoT) is an integrated part of Future Internet, which mainly focuses on … Read more
Data Communications Software Research Seminar on Tue 6 Mar 2012 in TUAS building
T-110 / Data Communications Software Research Seminar was held 6.3.2012 this spring in the TUAS building, hall TU3 and the restaurant Ranta. The whole day seminar had short presentations explaining the work done in the projects in the Data Communications Software Research Group. After the seminar there was wine and pizza school in the restaurant Ranta. Here are some pictures and the agenda. T-110 Research Seminar, TUAS 6.3.2012_PROGRAM
