News: Data- och informationsteknikhttp://www.chalmers.se/sv/nyheterNews related to Chalmers University of TechnologyWed, 10 Apr 2019 14:44:24 +0200http://www.chalmers.se/sv/nyheterhttps://www.chalmers.se/en/departments/cse/news/Pages/the-question-of-granularity.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/the-question-of-granularity.aspxDistinguished paper answers the question of granularity<p><b>​A method to bridge the gap between different information flow control approaches, bringing us one step closer to building secure software systems. This groundbreaking result, that answers a long-standing open question in the security community, won a distinguished paper award at the Symposium on Principles of Programming Languages (POPL 2019) in Cascais, Portugal.</b></p><img src="/SiteCollectionImages/Institutioner/DoIT/News/MarcoVassena.gif" class="chalmersPosition-FloatRight" alt="" style="margin:5px" />Marco Vassena, PhD student in the information Security division at Computer Science and Engineering, was already excited that his paper had been accepted at the conference.  <div>“Then, the day right before flying to the conference, I found out that out of 77 accepted papers, mine was one of the six that had been distinguished by the program committee. I was on top of the world!” <br /></div> <div><br /></div> <div>Information-flow control is an emerging security mechanism that shows promising results in securing modern software systems, which are typically constructed using components of different origin. However, the practice has yet to see widespread use. Traditional heavyweight approaches rely on specific fully-fledged programming languages that require substantial efforts to develop and to adopt. Recent approaches based on information-flow control software libraries are lightweight, but have been considered too imprecise in practice. </div> <div><br /></div> <div><h2 class="chalmersElement-H2">The question of granularity</h2></div> <div></div> <div>Both fully-fledged information-flow control languages and libraries enforce security by tracking flows of information within a computer program, but they do it at different levels of granularity. Information-flow control languages inspect every single program instruction to detect information leaks in a <em>fine-grained fashion</em>, where information-flow control libraries focus only on specific input/output instructions, tracking information leaks in a <em>coarse-grained fashion</em>. </div> <div>“The security community has been discussing about the trade-offs that arise from the different granularity of these approaches for a long time, researchers have claimed that the coarse-grained approach is intrinsically more imprecise than the fine-grained approach and thus concluded that software libraries are bound to raise more false alarms than fully-fledged languages in practice” says Marco Vassena. </div> <div><br /></div> <div>In the paper “From Fine- to Coarse-Grained Dynamic Information Flow Control” Marco Vassena and his colleagues* present mathematical proof that these two different approaches are actually equally effective.</div> <div>“Our research disproves that unfunded claim. Software libraries can track information as precisely as fully-fledged languages and thus represent a viable approach to securing modern software systems.” </div>   <h2 class="chalmersElement-H2">Reading on the subject</h2> <div><span>*<a href="https://popl19.sigplan.org/event/popl-2019-research-papers-from-fine-to-coarse-grained-dynamic-information-flow-control-and-back">From Fine- to Coarse-Grained Dynamic Information Flow Control and Back</a> <br />Authors: Marco Vassena, Alejandro Russo, Deepak Garg, Vinset Rajani, Deian Stefan. Presented at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Cascais, Portugal. <span style="display:inline-block"></span></span><br /> </div> <div><br /></div> <div>Marco Vassena defended his PhD thesis on the subject of &quot;Veryfing Information Flow Control Libraries&quot; in February 2019. <br /></div> <div><a href="https://research.chalmers.se/publication/508494/file/508494_Fulltext.pdf">Full text version on line</a>. <br /></div> <div><br /></div> Mon, 04 Mar 2019 00:00:00 +0100https://www.chalmers.se/en/centres/chair/news/Pages/Kick-start-for-Chalmers’-AI-initiative.aspxhttps://www.chalmers.se/en/centres/chair/news/Pages/Kick-start-for-Chalmers%E2%80%99-AI-initiative.aspxKick start for Chalmers’ AI initiative<p><b>​Chalmers is starting up an extensive initiative in the field of artificial intelligence to enhance and coordinate the current AI research. A kick-off event will be held on 4 March for the new Chalmers AI Research Centre (CHAIR), with a two-day seminar on AI.</b></p>​“The aim of the centre is to enhance Chalmers’s AI expertise in research, education and innovation,” says Stefan Bengtsson, CEO and President at Chalmers. “We already have a hundred researchers working with AI in various ways, but now we’re focusing our efforts to a new level, by recruiting prominent researchers and building up close collaboration with industry.” <p><br />The Chalmers initiative will cost about SEK 370 million over ten years. It is the biggest investment in AI research from a single university in Sweden. The majority of the centre’s funding, SEK 317 million, comes from the Chalmers University Foundation. The plan is that investments from the centre’s partners in industry and the community will double the total funding. The goal is a world-class AI centre of expertise. <br /></p> <p>“We’re building up unique expertise in AI in combination with Chalmers’s existing excellence in application fields like transportation, automation, systems and software,” says Ivica Crnkovic, director of the centre. </p> <p>One key aspect of the centre will be collaboration with industry and the public sector. Chalmers is making ties to key strategic partners who will have influence over the centre’s development, participate in research projects and utilise research results and the centre’s broad network of expertise. Chalmers is also one of the co-founders of the national <em><a href="/sv/styrkeomraden/ikt/nyheter/Sidor/Chalmers-partner-i-AI-Innovation-of-Sweden.aspx">AI Innovation of Sweden</a></em> initative. </p> <p>Chalmers AI Research Centre will be enhancing its partnerships with Wallenberg Artificial Intelligence, Autonomous System and Software Program (WASP) and especially with WASP-AI. WASP is Sweden’s single biggest research programme through the ages, and WASP-AI is the biggest investment in AI research in the country. </p> <p>“CHAIR is an impressive initiative,” says Sara Mazur, vice-chair of WASP and a member of the centre’s advisory board, “and it’s a very positive step that Chalmers is assembling expertise in the field. This will improve the university’s collaboration with WASP.” </p> <p>In connection with Chalmers’s annual <a href="/en/areas-of-advance/ict/events/initiative-seminar-AI2019/Pages/default.aspx">initiative seminar in ICT </a>on 4–5 March at the Lindholmen Conference Centre, there will be a kick-off event for the centre. The programme features prominent speakers from academia and industry.  Participants will include the centre’s advisory board, including Sara Mazur, vice-chair of WASP; Anna Nilsson-Ehle, chair of Vinnova; Mark Girolami, programme director at the Alan Turing Institute; Staffan Truvé, co-founder of Recorded Future; and Daniel Langkilde, co-founder of Annotell. </p> <p></p> <p><a href="/en/areas-of-advance/ict/events/initiative-seminar-AI2019/Pages/Video-webcast.aspx"><img class="ms-asset-icon ms-rtePosition-4" src="/_layouts/images/ichtm.gif" alt="" />You can watch the initiative seminar on live stream (starting at 09.00 CET, Monday 4 March).</a><br /></p>Tue, 26 Feb 2019 00:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/Their-proofs-make-software-safer.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/Their-proofs-make-software-safer.aspxTheir mathematical proofs make software safer<p><b>​​Self-driving cars, bank apps, and pacemakers. As a society we depend more and more on software, but how can we make sure that software always works? Magnus Myreen and his colleagues at the department of Computer Science and Engineering investigate how to mathematically prove that an application is working correctly.</b></p>”The research I am doing aims to produce software that is as reliable as possible so that in the future we can build even more complex software.”<br /><br />Our mobile phones and computers contain a lot of private information. One important aspect of the research project is to make sure that applications don’t leak sensitive information.<br /><br />”If you have a banking app on your phone, and you also have some game, you don’t want the game to be able to tap in to your bank account.”<br /><br />Instead of testing the software the research team uses mathematics to prove the software is always working to its specification. <br /><br /><a href="https://youtu.be/Cl2ajs2XChI">Click here to learn more in SSF's ”Future research leaders” video &gt;</a><br /><br /><em>The Swedish Foundation for Strategic Research, SSF, supports research in science, engineering and medicine for the purpose of strengthening Sweden´s future competitiveness.  SSF provided funding of around SEK 600 million per annum and has a capital of approximately 11 billion as a basis for its activities.</em><br />Tue, 19 Feb 2019 00:00:00 +0100https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Chalmers-a-partner-in-AI-Innovation-of-Sweden.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Chalmers-a-partner-in-AI-Innovation-of-Sweden.aspxChalmers a partner in AI Innovation of Sweden<p><b>​On Wednesday, 6 February, the national initiative AI Innovation of Sweden was launched at its home base in Lindholmen Science Park. Chalmers is a co-founder of the initiative, which currently includes some 40 organisations and companies in the business, public and academic sectors.</b></p><p>AI Innovation of Sweden is a national mobilisation aiming to serve as an engine in the Swedish AI ecosystem. The focus is on accelerating the application of AI through shared knowledge and data between players in a variety of industries, co-location sites and collaborative projects, all with a heavy focus on ethics, transparency and security.</p> <p>“Chalmers is investing heavily in AI and mobilising our resources in artificial intelligence, with extensive funding from the Chalmers University Foundation,” says Stefan Bengtsson, President and CEO of Chalmers. “Our participation in AI Innovation of Sweden gives us access to forums and networks, and above all interesting research data, while allowing us to contribute with key expertise.”</p> <p>AI Innovation of Sweden is establishing shared resources. It will produce data factories to make large amounts of data available in new, unique ways. Through co-location sites, the initiative will enhance collaboration, the sharing of knowledge and the ability to attract skills. The first co-location site is in Ericsson’s premises at Lindholmen Science Park in Gothenburg. The plan is to open similar nodes in Malmö and Stockholm.</p> <p>“Chalmers’s strategic partnership with AI Innovation of Sweden will occur through CHAIR and will benefit researchers at the university, in Swedish industry and Swedish society in general,” explains Ivica Crnkovic, director of the Chalmers AI Research Centre (CHAIR).</p> <p>AI Innovation of Sweden is funded by Vinnova, the Västra Götaland region, industry, the public sector, research institutes and the academic world. The formal host of the initiative is Lindholmen Science Park AB, and in addition to Chalmers, partners include Rise, AstraZeneca, Sahlgrenska University Hospital, the Volvo Group, Zenuity, the Swedish Association of Local Authorities and Regions and the Swedish Tax Agency.</p> <p>Read more at <a href="http://www.ai.se/">www.ai.se<br /></a></p> <p><strong>Contac</strong>t<br /><a href="/sv/personal/Sidor/crnkovic.aspx">Ivica Crnkovic​</a>, Director,<a href="http://www.chalmers.se/chair"> www.chalmers.se/chair</a><br /><br /><strong>Text: </strong>Malin Ulfvarson<br /><strong>Photo: </strong>Lindholmen Science Park<br /></p>Thu, 14 Feb 2019 09:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/student-awarded-for-privacy-solution.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/student-awarded-for-privacy-solution.aspxStudent awarded for privacy solution<p><b>​A new programming language that can help preserve privacy, that was Elisabet Lobo-Vesga’s contribution to the ACM Student Research Competition at the POPL 2019 conference in Cascais, Portugal. As one of the finalists, she presented her research at the conference and was awarded second prize.</b></p><p>​“When we were presenting, I got the feeling this was something everyone had been waiting for. So, I hope we can contribute something to the community.” says Elisabet Lobo-Vesga, PhD student at the Information Security division, Department of Computer Science and Engineering.“ </p> <p>People are more and more concerned about privacy, and organisations are trying different mechanisms to help preserve the user’s privacy when analysing their data.” A part of the solution is the concept called <em>differential privacy</em>. It’s a method of protecting the privacy by changing the response from a database slightly when requesting data.</p> <p>“The response is less exact than the actual data in the database” Elisabeth explains, “Let's say we have a database with personal information and we want to know the number of people that pick their noses. In our data, Alice, Bob, and Charlie are the ones who do that, so the real answer should be 3. However, we don't want to expose them, how do we protect their privacy? We want our response to be as similar as possible to what the answer would be if one of them weren’t in the database. We do this by adding randomly -1, 0 or 1 to the answer. That way we ensure that, with some probability, an attacker, by looking at the answer, cannot identify if in particular Bob was or wasn't included in the count. This is the whole concept of differential privacy.  But in practice, the noise we add is a bit more complex.”</p> <h2>Sought after accuracy</h2> <p>Elisabet Lobo-Vesga has created a programming language that allows non-privacy experts to create algorithms that preserve privacy.</p> <p>Differential privacy is a strong mechanism used by companies like Amazon and Google. The down side is that you don’t know how accurate the information is when making a query to a database.</p> <p>“Our programming language makes it possible to also get a notion if you can trust the information. It will tell you the error margin, so you know if you can actually publish the result or if it’s just random nonsense.” </p> <p>For a single variable accuracy can quite easily be determined with a mathematical equation. The tricky part is combining or doing operations between multiple variables, which is common when analysing data. </p> <p>“Knowing the accuracy of just one random variable is easier than knowing the accuracy of an operation of several random variables. What’s important is to know is if the variables are dependent or not, since you need to handle them differently, with different bounds. To keep track of the dependency or independency we are putting a tag on each query so we can see where the variables come from. That way, we know how to handle them.”</p> <p>Elisabet and her colleagues are now making the final tests of the implementation of the language before the release.</p> <p>“I think in every scenario where you can apply differential privacy, this could be useful.”</p> <p></p> <h2 class="chalmersElement-H2">A rewarding experience</h2> <p></p> <p>Presenting at the conference both reassured Elisabet that her research is relevant and gave her some valuable feedback from the programming language community.</p> <p>“People where friendly and really interested in my research. It was awesome to see that people care about what I’m doing. I also got some good feedback and realised some problems that may come with my implementation, so I could start looking for solutions for those problems.”</p> <p>18 graduate students participated in the ACM Student Research Competition by submitting posters explaining their research. The top three students got to present their research before a panel of judges and conference attendees, and receive prizes of $500, $300, and $200, respectively.</p> <p><a href="/en/departments/cse/news/Documents/Poster-DPella.pdf"><img class="ms-asset-icon ms-rtePosition-4" src="/en/departments/cse/news/_layouts/images/icpdf.png" alt="Poster-DPella.pdf" />See the prize winning poster (pdf)</a></p> Mon, 11 Feb 2019 15:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/D-students-Sustainability-course.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/D-students-Sustainability-course.aspxD-students do Sustainability<p><b>Students collaborate with local companies and organizations to strengthen sustainable city traffic.</b></p><div>The course <strong>Sustainable development and ethics for computer science</strong> is teached by Frances Sprei at Space, Earth and Environment, together with Håkan Burden, adjunct teacher at CSE, with the aim to inspire and stimulate aspiring computer engineers to contribute to sustainable social development in their future professional role, and to provide knowledge and tools that students will need to tackle complex sustainability problems.</div> <div><span><br /></span></div> <div><span>&quot;We started a small project together with Ericsson, to provide interesting challenges for the students to work with. But there is a huge interest for these issues, so the collaboration grew to include the self-driving shuttle bus that's been running at Chalmers Campus Johanneberg, and the electrical bus lines 16 and 55. We also connected with <a href="/en/areas-of-advance/five-star-campus/Pages/default.aspx">Chalmers Five Star Campus</a> initiative and the local municipal organizations for parking (Parkeringsbolaget) and environment (Miljöförvaltningen). We all see the city change, and new needs and possibilites for our daily travels arise&quot;, says Håkan Burden.</span> </div> <div><span><span><br /></span></span></div> <div><span><span>On November 23-24 of 2018, the students took part in an ideathon organized by UITP <span>(the international organisation for public transport authorities and operators)<span style="display:inline-block"></span></span><span style="display:inline-block"></span></span><span>, Johanneberg Science Park and RISE, hosted by Ericsson at Lindholmen. The students were provided with real life cases and projects connected to sustainable development. </span><span>This helps the students see the relevance of their education, and gives them the opportunity to collaborate with different stakeholders and learn about their requirements. It is also a way to tie global challenges to local issues, making them concrete and possible to act on. <span style="display:inline-block"></span></span></span><br /></div> <div><br /></div> <div><h3 class="chalmersElement-H3">Live experiment</h3> <div>As a result of the Ideathon, and thanks to technical solutions developed by Ericsson, during April 2019 vehicles on line 55 are in traffic with sensors that gather data about the air quality along the line. Measurements are also gathered from some of the bus stops on the route. The students, Åke Axeland, Magnus Carlsson, Simon Duchén, Henrik Hagfeldt, Lina Lagerquist och Sofija Zdjelar, hope to be able to visualize the measurements to be able to study them in real time.The gathered data will hopefully be stored and available for future analysis.</div></div> <div><div> </div></div> <h3 class="chalmersElement-H3">Articles in Swedish</h3> <div><a href="https://www.electricitygoteborg.se/nyheter/electricity-testarena-luftkvalitetsmatningar-0">https://www.electricitygoteborg.se/nyheter/electricity-testarena-luftkvalitetsmatningar-0</a></div> <div><a href="https://www.vasttrafik.se/om-vasttrafik/nyhetsarkiv/elbuss-mater-goteborgs-luftkvalitet/">https://www.vasttrafik.se/om-vasttrafik/nyhetsarkiv/elbuss-mater-goteborgs-luftkvalitet/</a><br /></div> <div><br /></div> <div>For more information contact Håkan Burden, <a href="mailto:burden@chalmers.se">burden@chalmers.se</a></div> <div><br /></div>Mon, 17 Dec 2018 00:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/john-hughes-acm-fellow.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/john-hughes-acm-fellow.aspxJohn Hughes named ACM Fellow<p><b>Second ACM Fellow at ​Computer Science and Engineering as John Hughes joins the exclusive group. He is recognized for his contributions to software testing and functional programming, which include the development of the programming language Haskell and the test tool QuickCheck.</b></p><div>ACM, the Association for Computing Machinery, is the world's largest educational and scientific society, uniting computing educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. They are behind, among others, the prestigious <a href="https://amturing.acm.org/">Turing Award</a>. Each year, after a rigorous nomination process, a number of members are named Fellows. On the recently published list for 2018 was professor John Hughes at Computer Science and Engineering. He is recognized for his contributions to software testing and functional programming, which include the development of the programming language Haskell and the test tool QuickCheck. <br /></div> <div><br /></div> <div>John Hughes participated in the development of Haskell during the years 1988-1998. He joined Chalmers in 1992, and since 2006 runs the company <a href="http://www.quviq.com/">Quviq</a> in parallel with research and teaching, to develop and commercialize QuickCheck. The original version of <a href="http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html">QuickCheck</a> for Haskell was developed in 1999, and it remains a popular tool in the community. </div> <div>&quot;We have two new customers in the blockchain domain, and recently provided QuickCheck training for 25 of 50 Haskell developers at <em>Input Output Hong Kong</em>, the company behind the world's eleventh largest crypto currency.&quot; </div> <div><br /></div> <div>During the autumn he has been involved in developing material for contract teaching of high school mathematics teachers, that the department has provided for the municipalities of Kungsbacka and Halmstad.</div> <div>&quot;We have combined parts from Jan Skansholm's book Programmera på riktigt, with materials developed at Brown University in the United States to teach functional programming to high school students.&quot; <br /></div> <div><br /></div> <div>(If you want to know more about functional programming, John Hughes gives a good overview <a href="https://www.youtube.com/watch?v=LnX3B9oaKzw">in this movie</a>.) <br /></div> <div><br /></div> <div>ACM recognizes its new Fellows and award winners at the Awards Banquet, to be held in San Francisco on June 15, 2019. Information about all ACM Fellows (including Per Stenström at Computer Science and Engineering, appointed in 2008) <a href="https://awards.acm.org/fellows">is available at ACM's website</a>. </div> <br />Tue, 11 Dec 2018 00:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/award-winning-work-in-software-metrics.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/award-winning-work-in-software-metrics.aspxAward winning work in software metrics<p><b>In Software Metrics, different properties of a software are measured and evaluated to , for example, speed up product development. Reserachers are now looking at ways to apply machine learning and artificial intelligence to the results, to maximize the insight provided by software metrics.</b></p><img src="/SiteCollectionImages/Institutioner/DoIT/Profile%20pictures/SE/1579930_miroslaw2016.jpg" class="chalmersPosition-FloatRight" alt="Miroslaw Staron" style="margin:5px;width:190px;height:249px" />Miroslaw Staron, Professor at the Department of Computer Science and Engineering, works with colleagues at Ericsson in Gothenburg and the Poznan University of Technology, Poland, to establish, maintain and evolve measurement programs in large software development companies. The collaboration was established in 2006 and has resulted in over 40,000 measurement systems and dashboards used by industry.<p></p> <br /><div>&quot;For example, we have implemented measurements on release readiness to motivate organizations to break old habits of 'plan release' and move on to 'delivering as fast as possible when the customer wants the latest software' and thus become more agile and proactive in development. Another example is our work on using machine learning to identify signal malfunctions in mobile networks and then prioritize the measures&quot; he says.</div> <div><br /></div> <div><h3 class="chalmersElement-H3">New award aims to recognize impact efforts</h3></div> <p></p> <div> Now, the collaboration with Ericsson and the Poznan University of Technology has been awarded the Team Impact Commitment award in the first ever Real Impact Awards, an international prize founded by Emerald Publishing, with the aim to raise the profile of individuals, teams and institutions that have placed real impact at the top of their agenda; recognize innovative approaches to impact; celebrate interdisciplinary research; bridge the gap between research and practice; and tell real impact success stories and showcase those driving the debate. <br /></div> <div>&quot;For us, the price is a confirmation that our way of using industry-related problems for theory-building works and is important, and we are sure that the award can provide more visibility to academics and practitioners working in the same way within software engineering,&quot; says Miroslaw Staron.</div> <div><br /></div> <p></p> The motivation states, among other things, that the group have demonstrated the ability to build on the skills of academics and practitioners. In addition to the implemented systems, the team have developed courses for students and practitioners and co-authored about 40 papers and one textbook. Their current focus is on applying artificial intelligence and machine learning for maximizing the insight provided by software metrics. <p></p> &quot;Our ambition is that autonomous, machine-learning measurement systems should be able to take over the daily work of discovering new measurements, patterns and analyzes. The focus of software engineers should be on finding new business opportunities, values and visualizations. Our new concept of AI-based autonomous measurement systems has shown great potential in areas such as source code analysis, requirement analysis and testing&quot; says Miroslaw Staron. <p></p> <br /><h3 class="chalmersElement-H3">Members of the winning team: </h3> <ul><li> <a href="https://www.gu.se/omuniversitetet/personal/?userId=xstmir&amp;departmentId=107832">Miroslaw Staron</a>, Department of Computer Science and Engineering, University of Gothenburg</li> <li> Miroslaw Ochodek, Poznan University of Technology, Polen</li> <li> Wilhelm Meding, Ericsson</li> <li>Martin Sjödin, Ericsson</li></ul> <br /><div><a href="http://www.emeraldgrouppublishing.com/about/news/story.htm?id=8135">LInk to pressrelease from Emerald publishing.</a></div>Wed, 28 Nov 2018 00:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/student-project-exhibition-challenges-traditional-views-on-new-technology.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/student-project-exhibition-challenges-traditional-views-on-new-technology.aspxStudent project exhibition challenges traditional views on new technology<p><b>​On 26-27 October Interaction Design master students at CSE presented their second-year projects at Universeum in Gothenburg. The project theme was #NyTeknik (New Technology), and extra focus was placed on attracting a non traditional audience to new technology, such as artificial intelligence, virtual reality and sensors.</b></p><p>The ambition of the project is to show that Interaction Design can play an important role in the innovation process, design work and implementation of new systems in this context. In the era of digitalization, public knowledge institutions such as museums, libraries and science centers are developing. New technology gives new possibilities for sharing knowledge, gaining new experiences, and attracting visitors. The exhibition was a success, with many visitors and a lot of interest from Universeum.<br /><br /><a href="http://idxpo.se/current/">See all the projects at idxpo.se</a><br /><br /><br /><strong>For more information</strong><span style="display:inline-block"></span></p> <p>Contact Josef Wideström, <a href="mailto:josef.widestrom@chalmers.se">josef.widestrom@chalmers.se<br /></a></p> <p><br /><a href="mailto:josef.widestrom@chalmers.se"></a></p>Thu, 01 Nov 2018 16:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/Four-top-rated-software-researchers-at-CSE.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/Four-top-rated-software-researchers-at-CSE.aspxTop-rated software researchers at CSE<p><b>​A recent bibliometric study has identified the top-20 early stage, consolidated, and experienced scholars in the field of software engineering. Among the top-rated are four researchers from the Department of Computer Science and Engineering; Robert Feldt, Jan Bosch, Richard Torkar and Thorsten Berger.</b></p>The paper <a href="https://www.sciencedirect.com/science/article/pii/S0164121218302334#keys0001">A Bibliometric Assessment of Software Engineering Scholars and Institutions (2010-2017) </a>presents the findings of a bibliometric study, targeting an eight-year period (2010-2017), with the aim of identifying: <br /><ul><li>emerging research directions, </li> <li>the top-20 institutions, and </li> <li>top-20 early stage, consolidated, and experienced scholars in the field of software engineering.</li></ul> <br />Four researchers at the Department of Computer Science and Engineering is rated in the paper:<br /><br /><ul><li><strong>Robert Feldt, Professor, Software Engineering division</strong><br />6th in Europe (8th in the World, 1st in Sweden) in <em>Most Active Experienced SE Researchers in Top-Quality Journals 2010-2017</em><br /></li></ul> <ul><li><strong>Jan Bosch Professor, Software Engineering division</strong><br />8th in Europe (11th in the World, 2nd in Sweden) in <em>Most Active Experienced SE Researchers in Top-Quality Journals 2010-2017</em><br /></li></ul> <ul><li><strong>Richard Torkar, Professor and Head of division, Software Engineering division</strong><br />5th in Europe (9th in the World, 3rd in Sweden) in <em>Most Active Consolidated SE Researchers in Top-Quality Journals 2010-2017</em>, and on the list of <em>Most impactful consolidated SE researchers in general</em><br /></li></ul> <ul><li><strong>Thorsten Berger, Senior lecturer, Software Engineering division</strong><br />On the list for <em>Most impactful consolidated SE researchers in general</em><br /></li></ul> <br />The <em>Consolidated Researcher </em>category ranks people who are a bit more junior than the <em>E</em><em>xperienced Researcher</em>.<br />Wed, 31 Oct 2018 15:00:00 +0100https://www.chalmers.se/en/news/Pages/world-champion-teaches-you-how-to-remember.aspxhttps://www.chalmers.se/en/news/Pages/world-champion-teaches-you-how-to-remember.aspxWorld champion teaches you how to remember<p><b>​What do a cake, a ghost and a helmet have in common? Well, they represent the first nine decimals of pi. At least, that’s according to Jonas von Essen, student at Chalmers University of Technology and two-time world champion in memory. On October 6-7, the Swedish championship in memory 2018 is held and here Jonas explains how you can learn to remember.</b></p><p>Six years ago, Jonas von Essen had no idea that he would become a two-time world champion in memory. He even says that he had quite a bad memory. Thanks to a book on memory techniques he found at the library, Jonas started to get interested in the subject and only three months later, he won the Swedish championship in memory. One year after that he became world champion. How did this happen?<br /><br />“Once I had found this book I started practicing different memory techniques. I looked up the different Swedish records in memory and became very motivated to try to beat them. I managed to succeed and then wanted to aim higher. On the way, I’ve met many interesting people, it was a new and fascinating world that opened up to me.” <br /> </p> <div><br /></div> <h4 class="chalmersElement-H4">Wants to share the knowledge</h4> <p>Jonas von Essen is currently studying his third year in the program information technology at Chalmers University of Technology. After his bachelor’s degree he plans to do his master’s degree in learning and leadership and he wants to use his education and his ability to remember to teach the techniques to others.<br /><br />“These memory techniques have changed my life and my view on learning. I’m much more motivated to learn things now because I know I’ll remember it. Previously, I could learn something and a week later, it would be gone. If I use the memory techniques, I know that the information will stick. That way, it feels like I’m building a whole mountain of knowledge. I want to share this with as many people as possible.” </p> <p><br /></p> <p></p> <h4 class="chalmersElement-H4">Memory palaces are the key</h4> <div>Jonas explains that the secret to remembering is a so called memory palace. During the spring of 2018, Jonas participated in the program “Sweden’s got Talent” where he memorised 50,000 decimals of pi. He managed to do this by converting all three-digit numbers into images using a digit alphabet based on the different numbers’ sounds. The first three pi-decimals together create the Swedish word for “cake”, the next three create the word “ghost” and after that the word “helmet”.  Jonas then place these images on a long walk in his head on a location he knows well, like his hometown of Skövde or the buildings on Chalmers campus.<br /><br />“You don’t necessarily have to be a creative person to succeed with these techniques. It’s more about getting into that specific way of thinking. Once you’ve learned to do that, you can practice in becoming faster and faster at remembering the different images. Of course, not everyone can become world champion in memory, but I’m convinced that everyone can get an extremely good memory with the help of memory techniques.” <br /><br /> </div> <h4 class="chalmersElement-H4">Aiming at a new world record</h4> <div>The first weekend in October, the Swedish championship in memory is being held at Chalmers. Jonas will be at the championship, helping out with the competitions, but he will not himself participate in this year’s championship. He is instead focusing on trying to beat the world record in remembering pi-decimals. The person with the current record can recite more than 70,000 decimals in a row and Jonas has the goal of reaching 100,000 decimals. However, it is not only the extensive memory training that is part of the challenge. It is also very demanding physically.<br /><br />“You must recite all decimals in a row in one sitting, and for this many decimals it might take up to 20 hours. You just have to continue to recite the numbers and manage not to fall asleep during that time. That means there is also a lot of physical exercise required to manage to do this. We’ll see if it works!&quot; </div> <div><br /></div> <div>The Swedish championship 2018 will take place 6–7 October at Chalmers campus Johanneberg.</div> <div><br /></div> <div><br /></div> <div><strong>Text:</strong> Sophia Kristensson<br /></div> <p></p>Fri, 05 Oct 2018 09:00:00 +0200https://www.chalmers.se/en/departments/cse/news/Pages/Intel.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/Intel.aspxIntel funds research to investigate major security flaws found in all modern processors<p><b>At the beginning of 2018, computer security experts discovered that all modern processors have two major security flaws that can be used to access sensitive data, such as password or credit card information. A new research project at the Department of Computer Science and Engineering will investigate how to find and fix similar hardware bugs in the future, funded by a grant from Intel.</b></p><img src="/SiteCollectionImages/Institutioner/DoIT/Profile%20pictures/ST/Carl-Seger.jpg" class="chalmersPosition-FloatRight" alt="Professor Carl-Johan Seger" style="margin-bottom:20px;margin-left:20px" /> <p>“Virtually all modern, high performing processors in the world have these flaws, even your laptop or mobile phone. But the biggest problem is that it affects virtualization machines, for example, cloud services like Amazon Web Services. This means as a customer you might be able to read other customers’ data since you are sharing the same hardware.” says professor Carl-Johan Seger, who’s running the research project together with professor Alejandro Russo, at the Department of Computer Science and Engineering.</p> <p>The security flaws, named Meltdown and Spectre, allow programs to access sensitive data which is currently processed on the computer and stored in the temporary memory, the cache. In Spectre’s case, this is due to processors using speculative execution which creates a side-channel through which private information can be extracted. While an attacker can’t directly read the cache, it is possible to measure the timing of the cache to extract its content.</p> <p>“It’s almost like you are chasing a car. You lose sight of it and come to a parking lot and all the cars are parked. Which one is the car you were chasing? What you do is, you go around and check which car has a warm hood. Then you can determine that was the car, even if you didn’t see it park there” Carl-Johan Seger explains. </p> <p>There is no evidence of the flaws being used by hackers, but since the flaws have become public the risk for attacks increase.</p> <p><br /></p> <h5 class="chalmersElement-H5"> Combining techniques to fight future bugs </h5> <p>While processor and operative system manufacturers have released software patches to combat the flaws this does not fix the entire problem.</p> <p>“The hardware would most certainly need to be modified. That’s partly why this is so painful for the manufacturers. If you just patch the software it will most likely lead to a performance decrease. But what’s even more scary for most processor designers is, what if there is another bug, we haven’t found?” says Carl-Johan Seger.</p> <p>This is what the new research project, called Securing Multi-Cycle Hardware Architectures, will investigate.</p> <p>“Alejandro Russo and I have two pieces to this puzzle. He has a technique to look at a very big system and roughly identifying the problem area in a hardware component. My technology, symbolic simulation, allows you to analyze small pieces of hardware very accurately. This is a technology already used by Intel. Our research proposal is to combine our two techniques to find and help fix similar hardware bugs.”</p> <p><br /></p> <h5 class="chalmersElement-H5"> Funding for a three-year post-doc </h5> <p>The grant from Intel Corporate Research Council consists of 100 000 USD yearly and will be used to fund a post-doc that will work on the project together with Carl-Johan Seger and Alejandro Russo. The project was one of five in Europe to be funded out of over fifty proposals.</p> <p>“This is an interesting and challenging problem. The idea is not to fix these specific bugs, but rather to find a technique to identify where there might be problems with the hardware, and what those problems are. At least that’s what we promised to do. We’ll see what we succeed in.” Carl-Johan Seger concludes.</p> <p><br /></p> <h5 class="chalmersElement-H5">Contact</h5> <p><strong>Carl-Johan Seger</strong>, Research professor, Functional Programming division, Computer Science and Engineering</p> <p><a href="mailto:secarl@chalmers.se">secarl@chalmers.se</a>, +46 709 49 23 55, +46 31 772 64 19</p> <p><br /><strong>Alejandro Russo</strong>, Professor, Information Security division, Department of Computer Science and Engineering</p> <p><a href="mailto:russo@chalmers.se">russo@chalmers.se</a>, +46 31 772 61 56</p> <p><br /></p>Wed, 26 Sep 2018 13:00:00 +0200https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Several-calls-from-WASP-AI-this-spring.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Several-calls-from-WASP-AI-this-spring.aspxOpen positions within WASP AI this spring<p><b>​WASP, Wallenberg AI, Autonomous Systems and Software Program, has announced several open positions this spring! Here we sum up the calls with links to more information.</b></p><div>​ </div> <div><span style="text-decoration:underline">Current calls in WASP:</span><br /><br /><div><strong>WASP expedition projects</strong></div> <div>Deadline short proposal: 10th August 2018</div> <div><a href="http://wasp-sweden.org/wasp-announces-call-for-expedition-projects/">More information &gt;<span style="display:inline-block"></span></a> </div> </div> <div><br /><span style="text-decoration:underline">Open positions in WASP AI: </span><br /><br /></div> <div><strong>Wallenberg Distinguished Chairs in AI</strong> are professorships at the highest level. Up to five positions are open for continuous applications. <a href="http://wasp-sweden.org/wasp-ai-positions/" target="_blank">More information and contact details &gt;</a> </div> <div> </div> <div><strong>WASP Professorships</strong> are positions primarily at the Assistant Professor level. They could also be on the level of Associate Professor or Professor. Each position comes with an attractive start package. </div> <div><a href="http://wasp-sweden.org/research/overview-of-the-aimlx-area/" target="_blank">Information about the prioritized areas &gt;</a> </div> <div>Interested candidates should register their interest no later than 31st July, 2018 <br /><a href="http://wasp-sweden.org/wasp-ai-positions/" target="_blank">More information and contact details &gt;</a> </div> <div> </div> <div><strong>Fifteen WASP industrial PhD student</strong> positions <a href="http://wasp-sweden.org/wasp-industrial-phd-student-positions-in-ai/" target="_blank">open for application &gt;</a> <br />Deadline for application is 11th May 2018.</div> <div> </div> <div><strong>WASP projects for universities in AI/machine learning</strong>.</div> <div>First round: Deadline 3rd June, 2018</div> <div>Second round: September/October, 2018</div> <div><a href="http://wasp-sweden.org/wasp-announces-call-for-collaboration-projects/" target="_blank">More information &gt;</a> </div> <div> </div> <div><strong>WASP AI 18 PhD Positions in AI-Math</strong> - university PhD positions at seven university sites, with focus on mathematics behind AI. <a href="http://wasp-sweden.org/phd-positions-ai-math/" target="_blank">More information &gt;</a> Please note: different final dates for applications!</div> <div><br />Chalmers has 6 of the total 18 positions - <a href="/sv/institutioner/math/nyheter/Sidor/Doktorander-till-matematik-for-artificiell-intelligens.aspx">announcement here &gt;</a> </div> <div>Deadline 13th May 2018.</div> <div> </div> <div><strong><br /></strong></div> <div> </div> <div> </div> <h3 class="chalmersElement-H3">Upcoming calls</h3> <div><strong>WASP Guest Research Program</strong> offers the opportunity to invite guest researchers to Sweden. The first announcement for Guest Researcher will be in June. <a href="http://wasp-sweden.org/wasp-ai-positions/" target="_blank">More information &gt; </a></div> <div> </div> <div><strong>Five WASP Professorships</strong> within basic mathematics for AI will open during 2018.</div> <div> </div> <div> </div> <h3 class="chalmersElement-H3">About WASP</h3> <div>Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest ever individual research program, a major national initiative for basic research, education and faculty recruitment. The total budget for the program is more than 3.5 billion SEK, and major goals are more than 50 new professors and more than 300 new PhDs within AI, Autonomous Systems and Software.</div> <div> </div> <div>The ambition is to advance Sweden into an internationally recognized and leading position in these areas, and WASP is now taking a step by launching a first broad investment in Artificial Intelligence. The offering includes several different positions to build and strengthen AI in Sweden.</div> <div><a href="http://www.wasp-sweden.org/" target="_blank">www.wasp-sweden.org</a></div>Mon, 07 May 2018 20:00:00 +0200https://www.chalmers.se/en/departments/cse/news/Pages/edge.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/edge.aspxThe edge of extreme scale computing for global evolutions<p><b>Building data ecosystems can aid policy-makers and businesses in mastering their global challenges. A European initiative, coordinated from Chalmers, plans a &quot;one-stop hub&quot; for high-performance computing to make Big Data usable. And reusable.</b></p><div>Based on experience from the <em>Centre of Excellence for Global Systems Science</em> (CoeGSS), a European Commission funded project that has been running since 2015, a new team has been assembled to further move the edge of what can be done using extreme scale computing for global challenges.<br /> <br /></div> <div> </div> <div><img src="/SiteCollectionImages/Institutioner/DoIT/News/ExampleAreas3.png" class="chalmersPosition-FloatRight" alt="Professor Patrik Jansson, coordinator of the edge-initiative, presents the three main example areas. Pandemics: The spreading of contagious diseases over the globe. Simulations of the spreading can be useful in order to decide whether to close down, for example, schools or airports in order to reduce or slow down the spreading. Global Mobility: The greening and evolution of the global mobility system is an important question for the future of mankind. The individual choice of means of transportation, and the way we influence each other, has massive impact. Global Finance: Many banks and companies are connected in advanced networks, meaning that if certain partners fail, the entire system is at risk of breaking down. Larger economic actors need to understand systemic risks and try to counteract it." style="margin:5px 0px;width:240px;height:960px" />The new centre, <em>Exascale, Data, and Global Evolution</em>s (EDGE), will be prepared to carry on when CoeGSS comes to an end in September 2018. An application has been submitted to the EC, in which the 19 partners aim to establish a one-stop hub in Europe for organisations faced with global challenges that require extreme computing power to make sense of Big Data. Seven of the partners come with experience from CoeGSS and have joined with 12 new ones, including several high performance computing centres. Professor Patrik Jansson at the division of Functional Programming at Chalmers is coordinating the initiative. </div> <div> </div> <div>– We have identified three main example areas: pandemics, global finance, and global mobility systems. There are some similarities and possible synergies between them, and one of the common factors is big, complicated networks. </div> <div> </div> <div> </div> <div> </div> <div> Therefore, network science and the possibility to simulate large, synthetic populations of agents, are essential in tackling the big challenges in this domain. (A synthetic population contains simplified representations of real people and the networks of connections between them – both physical proximity networks and digital “friendship” networks).<br /><br /><h5 class="chalmersElement-H5">Domain specific languages to bridge the gap</h5> </div> <div> </div> <div>Correctness of algorithms and validation of data will be important parts of the work, and domain specific languages (DSLs) will be used to bridge the gap between the domain experts and the implementors. <br />– Each scientific domain has its own jargon, and when we codify that as a DSL we not only make many scientific models executable, but the new language also works as a &quot;tool for thinking&quot;, and aids communication between experts, programmers, and computers. HPC enables us to use parallel computing in order to get answers quickly. But there’s no use in computing an answer quickly if it’s wrong. Before we spend thousands of core hours and megawatt hours of energy on a computing problem, we need to know that the result can be used for something, says Patrik Jansson.</div> <div> </div> <div> </div> <h5 class="chalmersElement-H5">Building data ecosystems </h5> <div> Big Data is often unstructured and messy, and requires preparation in several stages to be useful. Large-scale computations are needed to take the raw data as input and to produce other clean, structured data as output. If the data is properly processed and tagged with correct meta-data, it can be reused in other projects, in a kind of ecosystem of data. One example is high-resolution images of the Earth, collected by the European Space Agency in an Earth observation program. <br />– Most of this raw data is just pixels, lots of pixels. But turned into a data ecosystem it becomes useful in many different ways. It can be used to examine desert growth, or deforestation, or urban development, or even sea-level rise. With this comprehensible data at hand, policy-makers and businesses will be better equipped to master their global challenges, says Patrik Jansson. </div> Wed, 02 May 2018 00:00:00 +0200https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/WASP-Industrial-PhD-student-positions-in-AI.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/WASP-Industrial-PhD-student-positions-in-AI.aspxWASP Industrial PhD student positions in AI<p><b>​Call open for Industrial PhD students in artificial intelligence. Application deadline 11 May 2018.</b></p>​ <br />Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) is Sweden’s largest ever individual research program, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is Excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish industry. <br /><br />One part of the initiative in Artificial Intelligence has a strong focus on machine learning and more specifically deep learning but includes also other areas of AI. The second part deals with increasing our understanding of the mathematical principles behind AI. <br /><br />The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of artificial intelligence, autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. The graduate school provides added value on top of the existing PhD programs at the partner universities, providing unique opportunities for students who are dedicated to achieving international research excellence with industrial relevance. Further information about WASP Graduate School can be found here. <br /><br /><strong>Open positions within Artificial Intelligence</strong> <br />We are now (2018 March 2) offering up to 15 industrial doctoral student positions within AI at the five partner universities Chalmers, KTH, Linköping University, Lund University and Umeå University. In addition to the partner universities, applications for this call can include Örebro University. <br /><br /><strong>Guidelines for WASP Industrial doctoral student positions </strong><br />There are a set of guidelines for WASP Industrial PhD students that are important to consider during the application process. The guidelines (in Swedish) can be found <a href="http://wasp-sweden.org/custom/uploads/2018/03/Riktlinjer-industridoktorander-inom-WASP_final.pdf">here</a>. <br /><br /><strong>Application process </strong><br />The application should be written in a dedicated application form and submitted jointly by the industry and university. The form is available <a href="http://wasp-sweden.org/custom/uploads/2018/03/WASP-formul%C3%A4r-industridoktorander-2018.pdf">here</a>. The form together with requested CVs and a course transcript for the industrial doctoral student, as stated in the form, should be sent to <a href="mailto:position@WASP-Sweden.se">position@WASP-Sweden.se</a> <strong>no later than 2018-05-11</strong> <br /><br /><strong>Information and guidance </strong><br />There will an information meeting for industry in connection with the <a href="http://wasp-sweden.org/ai/ai4x/">AI4X meeting</a> in Stockholm 2018-04-11. In addition to general information there will be a possibility to ask questions and to get suggestions for academic contacts. For further information and contact with Chalmers, please contact: <br /><span>David Sands, Chalmers (<a href="mailto:dave@chalmers.se">dave@chalmers.se</a>) <span style="display:inline-block"></span></span><br /><br />For further information and contact with the other partner universities, please contact:<br />Danica Kragic, KTH (<a href="mailto:dani@kth.se">dani@kth.se</a>) Amy Loutfi, ÖrU (<a href="mailto:amy.loutfi@oru.se">amy.loutfi@oru.se</a>) <br />Fredrik Heintz, LiU (<a href="mailto:fredrik.heintz@liu.se">fredrik.heintz@liu.se</a>) Thomas Schön, UU (<a href="mailto:thomas.schon@it.uu.se">thomas.schon@it.uu.se</a>) <br />Helena Lindgren, UmU (<a href="mailto:helena@cs.umu.se">helena@cs.umu.se</a>) Karl-Erik Årzén, LU (<a href="mailto:karl-erik.arzen@control.lth.se">karl-erik.arzen@control.lth.se</a>) <br /><br /><strong>Timetable </strong><br />2018-04-11 Information &amp; Q/A Stockholm <br />2018-05-11 Application deadline <br />2018-06-11 Decision <br />2018-08-01 Earliest start <br />2019-01-01 Latest startMon, 05 Mar 2018 11:00:00 +0100