News: Data- och informationsteknikhttp://www.chalmers.se/sv/nyheterNews related to Chalmers University of TechnologyWed, 12 Dec 2018 08:55:32 +0100http://www.chalmers.se/sv/nyheterhttps://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 +0100https://www.chalmers.se/en/departments/cse/news/Pages/cybersecurity.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/cybersecurity.aspxBuilding a solid ground for cybersecurity<p><b>Substantial tools and methods to counter the most common vulnerabilities on the web. Efforts to develop a secure internet of things for industrial use. Two new, extensive cybersecurity projects are about to start at the Department of Computer Science and Engineering.</b></p><div>Cybersecurity research at Chalmers has been successful for a long time, and now two framework grants from SSF will further strengthen the area. Two applications, WebSec and Octopi, received funding in last year's major call for cybersecurity. WebSec will be conducted largely within the division for Information Security, while Octopi has extensive collaboration with the division for Functional Programming. Both projects aim at introducing the security aspect early in development, rather than searching for, and attempting to correct errors when the systems are already taken in production. <br /></div> <h3 class="chalmersElement-H3">Trying to prevent as much as possible </h3> <div><div><img src="/SiteCollectionImages/Institutioner/DoIT/News/Andrei-Sabelfeld-small.gif" class="chalmersPosition-FloatRight" alt="Photo of Andrei Sabelfeld" style="margin:5px;width:351px;height:329px" />&quot;The goal of security research is to ensure that security is not getting in the way of other development, that there are tools and automated methods that make it hard to make mistakes&quot; says Andrei Sabelfeld, Professor in the Information Security division and project leader for the new SSF-funded project WebSec. </div> <div> </div> <div>One of the most serious threats to web security is cross-site scripting, which means that the attacker is able to inject malicious code in the victim's web browser. Companies pay big money every year to detect and block security holes in the systems they use. <br /><br /></div> <div>&quot;Web systems are heterogeneous, they are implemented in different programming languages ​​and designed at different levels, so when you connect them, there will be holes. In a typical cross-site scripting attack, the attacker injects code instead of data. With new programming languages ​​and security enhancing mechanisms, such attacks can be prevented. In the project, we will develop new concepts for analyzing web applications for detection, mitigation, and prevention of cross-site scripting attacks&quot;, says Andrei Sabelfeld. </div> <div> </div> <div>For JavaScript, the most common programming language on the web, the project will deliver a platform for analysis that will aid programmers in producing code that is already protected when it goes in to production. <br /><br /></div> <div>&quot;We will also work with system-wide security. We return to the problem that different components are designed in different programming languages, and often we succeed in securing one of the components, perhaps the browser or database, but when they're connected, new errors occur that we didn't think of&quot;, says Andrei Sabelfeld. <br /><br />Here, the researchers will build mechanisms to track the information throughout the system, and ensure that no information is destroyed or leaked. </div> <h3 class="chalmersElement-H3">Internet of things moving towards the industry </h3> <div><div><img src="/SiteCollectionImages/Institutioner/DoIT/Profile%20pictures/ST/Alejandro-Russo.jpg" class="chalmersPosition-FloatRight" alt="Photo of Alejandro Russo" style="margin:5px" />&quot;The Internet of Things refers to a wide variety of connected devices - big things like cars, smaller things as a robot vacuum cleaner, your wrist watch, or anything that has some computational power and is connected to the internet. The idea is that all these devices should be interconnected to simplify and improve your life, but this trend brings major problems when it comes to security&quot;, says Alejandro Russo, professor in the division for Information Security, and project leader for Octopi.</div> <br />Industry is showing increased interest in harnessing the benefits of the internet of things, for example user data sampling and data from sensor measurements can be used to improve the next generation of products. But the overall security level is too low, and an unsafe internet of things is open for attack. There are frightening examples of how smart refrigerators have been hacked to access password data, and connected cars have been taken over and remotely controlled.</div> <br />In most programming languages used to program devices for the internet of things today, security is not a factor. Octopi will make the development of embedded systems comfortable while help placing security at a central point in the deveoper's mind.<br />&quot;The project is unique in the way it will apply the advantages of programming in very high level languages; correctness, security, reasoning about software, for developing software for the internet of things. But this vision requires solutions to some tough problems in order to become a reality&quot;, says Alejandro Russo. <br /></div> <br /> <h4 class="chalmersElement-H4">Project information</h4> <div><strong>WebSec, Säkerhetsdrivna webbsystem </strong><br />Project leader: <a href="/en/Staff/Pages/andrei.aspx">Andrei Sabelfeld</a>, Chalmers University of Technology. <br />Project members: <a href="/en/Staff/Pages/russo.aspx">Alejandro Russo</a> och <a href="/en/Staff/Pages/dave.aspx">David Sands</a>, Chalmers University of Technology, and <a href="http://www.philipp.ruemmer.org/">Philipp Rümmer</a>, Uppsala University. <br />The project is funded by <a href="https://strategiska.se/en/">Swedish Foundation for Strategic Research</a> with 30 million SEK. <br /><br /><strong>Octopi, säker programmering för sakernas internet</strong><br /> Project leader: <span><a href="/sv/personal/redigera/Sidor/russo.aspx">Alejandro Russo</a>, Chalmers University of Technology. </span></div> Project members: <a href="/en/Staff/Pages/mary-sheeran.aspx">Mary Sheeran</a>, <a href="/en/Staff/Pages/rjmh.aspx">John Hughes</a>, <a href="/en/Staff/Pages/koen.aspx">Koen Lindström Claessen</a> and <a href="/en/Staff/Pages/secarl.aspx">Carl Seger</a>, division for Functional Programming, Chalmers University of Technology. <br />Industrial Partners: Pelagicore AB, LumenRadio AB och Ericsson. <br />The project is funded by <a href="https://strategiska.se/en/">Swedish Foundation for Strategic Research</a> with 31 million SEK. <br />Mon, 12 Feb 2018 00:00:00 +0100https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/How-much-can-a-computer-understand.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/How-much-can-a-computer-understand.aspxHow much can a computer understand?<p><b>​Machine learning has revolutionized computers understanding of language in just a few years. Yet they still do not truly understand what it is that they know.</b></p>​ <br />Some people are afraid that there will be a time when computers get so smart that they form liaisons and take over the world. Shalom Lappin, Professor of Computational Linguistics at the University of Gothenburg, is not one of them.<br /><br /><a href="https://clasp.gu.se/about/people/shalom-lappin" target="_blank"><img src="https://www.gu.se/digitalAssets/1551/1551090_1543951_shalomlappin.jpg" alt="Shalom Lappin, University of Gothenburg" class="chalmersPosition-FloatRight" style="margin:5px" /></a>“The revolution in artificial intelligence that has arrived with the deep learning technology is still in its infancy, and even though it’s developing fast, I don’t think the idea of malicious super-agents is a real prospect that we have to worry about in the near future.” <br /><br /><strong>Computers only have the ability to reason</strong> about the task for which they are trained. They can find patterns and associations in millions of data, thus become better than humans in playing chess, translating and writing texts and driving a car. But as soon as we leave a specific and defined area and jump to another they are lost.<br /><br />“My personal feeling is that we will never quite get to the point where machines have something that resembles general reasoning power. But I could well be wrong”, says Shalom Lappin.<br /><br /><strong>Computers’ weakness is that they don’t really understand anything</strong>, adds Richard Johansson, Associate Professor at the division of Data Science at Chalmers. But with the help of machine learning, they can be very good at recognizing informative patterns. Therefore, they are very good at understanding languages in both speech and writing.<br /><br /><a href="http://www.cse.chalmers.se/research/lab/people/richard-johansson/" target="_blank"><img src="http://www.cse.chalmers.se/research/lab/wp-content/uploads/2015/01/1593485_img_4469-e1477032356847-237x300.jpg" alt="Richard Johansson, Chalmers" class="chalmersPosition-FloatRight" style="margin:5px;width:220px;height:278px" /></a>“The development is gradual, sometimes in leaps. Google translate is much better now than ten years ago, and today it provides useful translations, but I hardly believe that professional translators use it to any large extent”, says Richard Johansson, and mentions a problem area for machine translation:<br /><br />“The word &quot;it&quot; is translated with &quot;den&quot; or &quot;det&quot; in Swedish, and sometimes you may need to go back a few sentences to understand what “it” refers to to be correct.<br /><br />The improvement of Google's machine translations in recent years is largely due to the switch from statistical translation to a deep learning model. This allows the system to understand the context and thus generate improved translations.<br /><br /><strong>How good can computers get at recognizing patterns and relations?</strong> The sky is the limit, says Shalom Lappin, and mentions the development of facial recognition as an example where the computer is already superior to humans.<br /><br />Translations are the flagship area of machine learning technology today, but how well do computers perform on language processing? Imagine, for example, reading a text to a computer and getting it processed and rewritten. Richard Johansson thinks it’s not impossible.<br /><br />“First, your speech signal will be converted into text, and that technology is relatively good already. Then the text will be rendered into a grammatically well-structured language. I think that is fully operational within a few years.”<br /><br /><strong>Is there a risk that the personal language will disappear?</strong><br />&quot;Yes, should people get lazy and formulate carelessly, the language can certainly get more generic and less personal. On the other hand, I think it will take a long time before computers can make major changes in texts, such as moving paragraphs or sentences to make them well-structured&quot;, says Richard Johansson.<br /><br /><br /><br /><ul><li><strong>Artificial intelligence</strong> refers to computers that imitate human cognitive functions such as learning and problem solving.</li> <li><strong>Machine learning</strong> is, simply put, algorithms that are trained to draw conclusions based on large amounts of data.</li> <li><strong>Deep learning</strong> is machine learning that uses so-called neural networks (see below) as a model for learning.</li> <li><strong>Artificial neural networks</strong> are self-learning algorithms that imitate the model of biological neural networks (such as the brain). Artificial neural networks can often handle problems that are difficult to solve with conventional task-specific programming. A neural network must be trained with examples before it can fulfill its intended function.</li></ul> <p><br /></p> <p style="text-align:center"></p> <h4 class="chalmersElement-H4"><div>Welcome to our Initiative seminar on Digitalisation: </div> <div>Security &amp; Privacy | Machine Intelligence</div></h4> <p></p> <p>On 15 March 2018, Chalmers organise a second Initiative seminar on Digitalisation. This time we present a more in-depth programme – with half a day on Security and Privacy and the other half-day on Machine Intelligence.  </p> <p><a href="/en/areas-of-advance/ict/events/Digitalisation2018/Pages/default.aspx">See the programme and register for the seminar &gt;<br /></a></p> <p><a href="/en/areas-of-advance/ict/events/Digitalisation2018/Pages/default.aspx"></a><br /></p> Wed, 17 Jan 2018 09:00:00 +0100https://www.chalmers.se/en/departments/cse/news/Pages/SwedishEmbeddedAward2017.aspxhttps://www.chalmers.se/en/departments/cse/news/Pages/SwedishEmbeddedAward2017.aspxSwedish Embedded Awards 2017<p><b>A shared first place was the result for Gabriel Ortiz and Fredrik Treven in the student category at the Swedish Embedded Awards, which was held in early November. The winning project, &quot;A Framework for a Relative Real-Time Tracking System Based on Ultra-Wideband Technology&quot;, was conducted as a master thesis in the Embedded Electronic System Design master programme.</b></p> The growing number of applications in automated robots and vehicles has led to an increasing demand for positioning, location and tracking systems. The majority of methods currently in use are based on machine-vision systems, and require a direct line of sight between the tracking device and the target at all times, to carry out the desired functions. This limits the possible applications and makes them vulnerable to disturbances.<br /><br />Gabriel Ortiz and Fredrik Treven have built a prototype for tracking devices, demonstrating an innovative variant of UWB positioning where a set of anchors follows the target's position, and maintains a specific distance to it. This is in contrast to common indoor positioning systems, where the target monitors its own position in relation to fixed reference points. Examples of gadgets that could follow you around in the future are shopping carts, suitcases, as well as various kinds of toys.  <br /><br />The entire thesis is available here<br /><a href="http://studentarbeten.chalmers.se/publication/249921">http://studentarbeten.chalmers.se/publication/249921</a>Fri, 17 Nov 2017 08:00:00 +0100https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Artificial-Intelligence-Starting-From-a-Blank-Slate.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Artificial-Intelligence-Starting-From-a-Blank-Slate.aspxArtificial Intelligence Starting From a Blank Slate<p><b>Watch the seminar about the main principles used in AlphaGoZero, developed by Google DeepMind and recently covered in media. We also present research at Chalmers that uses reinforcement learning.</b></p>​ <br />A grand challenge for artificial intelligence is to develop an algorithm that learns complex concepts from a blank slate and with superhuman proficiency. To beat world-champion human players at the classic strategy game Go, Google DeepMInd developed a program AlphaGo, trained through a combination of supervised learning based on millions of human expert moves and reinforcement learning from self-play. This program defeated Go champion Lee Sedol in a tournament in March 2016.<br /><br />A new version of the AlphaGo computer program, called AlphaGo Zero, was able to teach itself to rapidly master Go, starting from a blank slate and without human input, as reported in <a href="https://deepmind.com/blog/alphago-zero-learning-scratch/" target="_blank">a new paper published in Nature on 19 October</a>. It learns solely from the games that it plays against itself, starting from random moves, with only the board and pieces as inputs and without human data. And defeated its predecessor by 100 games to 0 after training for only 36 h.<br /><br />AlphaGo Zero uses a single neural network, which is trained to predict the program’s own move selection and the winner of its games, improving with each iteration of self-play. As the program trained, it independently discovered some of the same game principles that took humans thousands of years to conceptualize and also developed novel strategies that provide new insights into this ancient game.The new program uses a single machine and 4 TPUs while the previous version of AlphaGo was trained over several months and required multiple machines and 48 TPUs (specialized chips for neural network training).<br /><br />We will discuss the main principles and new extensions of reinforcement used in this work and at the end we will  briefly discuss research at Chalmers that uses reinforcement learning in autonomous driving and natural language technology research. <br /><br /><br /><strong>The seminar was held on 10 November 2017</strong><br /><span>Speakers: Devdatt Dubhashi, Mikael Kågebäck and others, Department of Computer Science and Engineering, Chalmers<span style="display:inline-block"></span></span><br />Location: RunAn, Chalmers Student Union Building, Chalmersplatsen 1, Johanneberg<br /><br /><br /><strong>Media coverage:</strong><br />The research paper from DeepMind caused a lot of media attention, also in Swedish media. <br />Chalmers machine learning experts have commented in Swedish media (in Swedish).<br /><ul><li><a href="https://svenska.yle.fi/artikel/2017/10/18/googles-ai-program-larde-sig-sjalv-att-spela-det-svara-bradspelet-go-finlandskt" target="_blank">Devdatt Dubhashi in Yle.</a></li> <li><a href="http://sverigesradio.se/sida/artikel.aspx?programid=406&amp;artikel=6801347" target="_blank">Mikael Kågebäck in Vetenskapsradion i P1</a>, and in <a href="http://sverigesradio.se/sida/artikel.aspx?programid=104&amp;artikel=6801896" target="_blank">P4 Göteborg</a>, also partly available <a href="https://www.facebook.com/P4SRGoteborg/videos/10155704848598529/" target="_blank">on Facebook</a>.  </li> <li><a href="https://www.svt.se/nyheter/vetenskap/artificiell-intelligens-tar-ett-stort-kliv-framat" target="_blank">Mikael Kågebäck in SVT vetenskap.</a>  </li></ul>Mon, 23 Oct 2017 17:00:00 +0200https://www.chalmers.se/en/areas-of-advance/Transport/news/Pages/New-research-opportunities-as-ElectriCity-grows.aspxhttps://www.chalmers.se/en/areas-of-advance/Transport/news/Pages/New-research-opportunities-as-ElectriCity-grows.aspxNew research opportunities for Chalmers researchers as ElectriCity grows<p><b>​ElectriCity, best known for the electric bus 55 in Gothenburg, is much more than just the bus. As the project grows, new exciting opportunities for research appear. Per Lövsund, coordinator for ElectriCity at Chalmers University of Technology, invites Chalmers researchers to contact him with ideas.</b></p><p><br /></p> <p>“We can perform research projects, master and bachelor thesis projects within ElectriCity, and thereby gain better dissemination and utilisation of our results”, says Per Lövsund, who calls on Chalmers researchers to contact him with ideas for new projects.<br /></p> <p><br /></p> <p>ElectriCity is now growing to include for example smaller trucks, such as waste trucks and distribution cars. This means exciting opportunities for several research areas, Per Lövsund explains. Self-driving vehicles, safety, community planning, noise, thermal optimization, control algorithms, vehicle dynamics, development and recycling of batteries and fuel cells, and charging station requirements are some examples of questions from different research fields, all of which can be studied within the framework of ElectriCity.<br /></p> <p><br /></p> <p>Researchers involved in ElectriCity have access to research platforms such as buses and other vehicles. The project’s demo arena also includes the new urban area Frihamnen and the development of south Chalmers Johanneberg Campus, with a stop for the ElectriCity bus. Here, safety aspects and new innovative solutions at the stop and interactions between vehicles and unprotected road users can be studied.<br /></p> <p><br /></p> <p>The fact that ElectriCity enters a new phase has already generated new research at Chalmers.<br /></p> <p><br /></p> <p>“One project about bus trains and one about autonomous docking at bus stops are just about to take off”, says Per Lövsund. “Another project investigates how bus drivers experience the effects of the Volvo Dynamic Steering system.”<br /></p> <p><br /></p> <p>A workshop is planned to be held at Chalmers to formulate projects on low-frequency noise in urban environment, modeling of noise impact and safety issues regarding quiet buses at bus stops.<br /></p> <p><br /></p> <p>“In the long run, perhaps other sectors could be included as well. I personally think that the marine sector would be interesting”, says Per Lövsund. “Chalmers has great competence in this field, for example through <a href="http://www.sspa.se/">SSPA </a>and <a href="http://www.lighthouse.nu/">Lighthouse</a>.” <br /></p> <p><br /></p> <p>ElectriCity has run in Gothenburg for two years and is a collaboration between industry, academia and society, where the participants develop and test solutions for tomorrow’s sustainable public transport. The electric and hybrid buses of route 55, where different technology solutions are tested and developed, run between the two campuses of Chalmers. The project has created a lot of international interest.<br /></p> <p><br /></p> <p>“The international attention has given us new networks and new interesting research topics”, concludes Per Lövsund.</p> <p><br /></p> <p>Are you a Chalmers researcher and have a project idea for ElectriCity? Contact Chalmers coordinator Per Lövsund, <a href="mailto:per.lovsund@chalmers.se">per.lovsund@chalmers.se</a><br /></p> <p><br /></p> <p><a href="http://www.electricitygoteborg.se/">Read more about ElectriCity &gt;&gt;</a><br /><br /></p> <p><br /></p> <p><em>Text: Christian Boström, Emilia Lundgren</em><br /></p>Mon, 23 Oct 2017 00:00:00 +0200https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Carl-JohanSeger.aspxhttps://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Carl-JohanSeger.aspxHe offers methods for securing autonomous systems<p><b>​Verification is a time consuming and crucial factor in both hardware and software development. The one who finds the smartest method to quickly verify a system becomes highly sought after. Carl-Johan Seger is one of those people.</b></p>​ <br />In 1995, Carl-Johan Seger received a phone call with an offer that would change the direction of his research career at the University of British Columbia. He had only a few days earlier taken up a professor's appointment with so-called tenure, a meriting position.<br />&quot;I started my new position in June 1995 and in September I resigned,&quot; says Carl-Johan Seger, laughing at the memory.<br /><br />The phone call came from the American semiconductor company Intel, who was in great need of his skills.<br />&quot;There was a crisis at Intel. They had just rolled out a new generation of Pentium processors when a serious error in the construction was discovered. The error had escaped Intel's very extensive verification procedures. The final bill landed somewhere in the neighbourhood of 475 million dollar&quot;, he says.<br /><br />The problem was that the traditional verification method did not allow testing of all conceivable values, it could simply not be done within the time frame, even though very extensive verification was carried out.<br /><br /><strong>Mathematical tools for verification</strong><br />Carl-Johan Seger's research is on formal methods, i.e., mathematical tools for analysis and verification of systems. Very useful for verifying hardware – in this case silicon circuits. The tools that Carl-Johan Seger worked with in his research could offer the solution to the precise problems that Intel suffered.<br /><br />&quot;With formal methods, we developed a verification tool that was not only more reliable, we could also perform the verification faster.&quot;<br /><br />As a result, Carl-Johan Seger introduced early formal verification in the development process at Intel. <br />&quot;Early formal verification is extremely important for achieving good results. It is only after we verify that we can know for sure, and can draw conclusions from the work. It is usually said that we learn by our mistakes, and I couldn’t agree more.&quot;<br /><br />At Intel, he created the Forte Formal Verification System, based on his previous research, and the same verification system is still used today, over 20 years later.<br />&quot;If you buy a computer today with an Intel processor, large parts of the processor are verified by this method.&quot;<br /><br /><strong>Return to academia</strong><br />He stayed at Intel for 22 years, and during that time he has published his research with great impact.<br />&quot;It has been fun working in industry, but there is not much long-term research done. In 2006-2007, I was given the opportunity to be a visiting researcher at Oxford&quot;, he says. <br /><br />Perhaps that is where the thoughts of returning to academia took shape? So, when Intel last year announced staff cuts, and launched a retirement package, he took the offer.<br />&quot;Intel's offer turned to those who with x number of years in the company, added with one's own age, summed to the number 75 or higher. And it included me with a 3-month margin.&quot;<br /><br />Carl-Johan Seger is pleased with his choice to return to academia and Chalmers, and the mood is on top during the interview. We wonder, of course, how he experiences the transition.<br />&quot;It's a big change, I cannot say it's neither better nor worse, but on the other hand – it takes a lot of effort and renewal and it makes me feel younger.&quot;<br /><br /><strong>Important part of autonomous systems</strong><br />Carl-Johan Seger is recruited as part of Chalmers activities in the Wallenberg project WASP – <a href="/en/areas-of-advance/ict/research/automated-society/wasp/Pages/default.aspx">Wallenberg Autonomous Systems and Software Program</a>. An important trend along with the development of autonomous systems is the decreasing gaps between hardware and software, we are seeing much more of programmable hardware. There are two very big benefits to doing so – increased performance and reduced energy consumption.<br /><br />&quot;When a large number of sensors are introduced to enable an autonomous system, and all sensors are sending their data to a central processor, it becomes inefficient and slow. Through programmable hardware, or FPGA, Field-Programmable Gate Array, we can introduce more intelligence closer to the sensors&quot;, says Carl-Johan Seger.<br /><br />FPGA are circuits in which the function of the circuit is determined by software. It provides flexibility, you do not necessarily need to re-design your hardware to introduce new functionality – just rolling out new instructions is enough. But there's a big challenge, it gets a lot more difficult to design and verify.<br />&quot;Look at cars for example, they contain many computer-powered features, and it's crucial that the systems respond quickly, never fail and are secured. This is what we are testing using formal methods&quot;, says Carl-Johan Seger. <br /><br />So, what does Carl-Johan Seger think about the future of self-driving vehicles out of a safety perspective? He says that there are several layers of technology in the vehicles – all are not critical systems.<br />&quot;There is a core in the systems that we need to find solutions for, in order for the self-driving vehicles to succeed. The future is about robust technology, but it's also about working out the regulations and what the consequences are if anything goes wrong. The market will determine how big risks that are reasonable to take. If the cost of errors becomes too large then we will not see any self-driving vehicles on the roads.&quot;<br /><br />Carl-Johan Seger points out that autonomous systems are not just about vehicles. We will see all sorts of new services, inspections, deliveries, window cleaning, and a host of applications in industry.<br />&quot;The development of autonomous systems leads to an increasing need to do right from the start – and thus it gets more and more important with verification. It is simply faster and less of a business risk to do it right the first time.&quot;<br /><br /><strong>Back at Chalmers</strong><br />Carl-Johan Seger is now recruited to Chalmers as Professor of Computer Science. Which means he is back at Chalmers where he started his studies in 1981, after nearly 34 years in Canada, the United States and Britain.<br />&quot;I don’t say I'm moving <em>back </em>to Sweden. I've been away for so long, so I say I'm moving to Sweden. It actually makes it a little easier for me.&quot;<br /><br />The first task at Chalmers is to build a verification system. Intel has proprietary ownership of the Forte system, so Carl-Johan Seger could not bring it to Chalmers for further research.<br />&quot;My wife usually says Forte is my fourth child, and maybe there is something to it. I have spent at least as many hours with Forte as with my three children.&quot;<br /><br />However, he has the old system to build on, the one he developed during his time as a researcher before leaving for Intel.<br />&quot;Now we are rebuilding, and this time, of course, it will go much faster because we already know the target.&quot;<br /><br /><br />Contact details: Carl-Johan Seger, <a href="mailto:secarl@chalmers.se">secarl@chalmers.se</a><br /><br /><em>Text: Malin Ulfvarson</em><br /><em>Photo: Anneli Andersson</em>Tue, 17 Oct 2017 09:00:00 +0200