1 / 14

CREST

CREST. Center of Excellence in Formal Methods in Programming Ralph-Johan Back Director. IT in Turku. ICT-house. TUCS. Turku School of Economics/ IS. Åbo Akademi University / IT. University of Turku /Math. University of Turku / IT. Turku Polytechnic /IT. IT-department.

vinnie
Download Presentation

CREST

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CREST Center of Excellence in Formal Methods in Programming Ralph-Johan Back Director

  2. IT in Turku ICT-house TUCS Turku School of Economics/ IS Åbo Akademi University / IT University of Turku /Math University of Turku / IT Turku Polytechnic /IT

  3. IT-department • New Faculty of Technology at Åbo Akademi 2006 -- • Two departments • IT (Information technology) • KT (Chemical engineering) • IT previously spread out over three different faculties • MNF, KTF, ESF • Present personnel • Teaching appr. 30 • Administration, technical support 9 • Research 60 – 80 persons

  4. IT-department (cont.) • Students and Degrees • Approx. 600 (masters and Ph.D. students) • 60 - 70 new students and • 10-12 new doctoral students enrolled each year • Financial volume 2007 • Internal funding : 2 Meuros • External funding : 3.5 Meuros • Degrees • 8 Ph.D theses in 2006, 5 Ph.D theses 2007 • 53 MSc theses in 2006, 56 MSc thesis 2007

  5. IT at Åbo Akademi 2006- Åbo Akademi Faculty of Technology IT department Department of Chemical Engineering CREST 45 IAMSR 35 Other groups 130 20

  6. Linas Laibinis (J. von Wright) Martin Büchi (R.Back) Elena Troubitsyna (K.Sere) Shuhua Liu (C.Carlsson) Ivan Porres (R.Back) Mauno Rönkkö (K.Sere) Rainer Jansson (C.Carlsson) Vladimir Kvassov (C.Carlsson) Franck Tétard (C.Carlsson) Bill Anckar (P. Walden) Antonina Kloptchenko (B.Back) Eija Koskivaara, TSE (B.Back) Péter Majlender (C.Carlsson) Otieno Mbare (C.Carlsson) Mikael Collan (C.Carlsson) Tomas Eklund (B.Back) Aapo Länsiluoto, TSE (B.Back) Rimvydas Ruksenas (K.Sere) Seppo Wirtanen, UTU (J.Lilius) Dag Björklund (J.Lilius) Cristina Seceleanu (R.Back) Luigia Petre ((K.Sere, R.Back) Lu Yan (K.Sere) Shengnan Han (P. Walden) Jukka Arvo, UTU, (J. Westerholm) Irina Georgescu (C.Carlsson) Adrian Costea (B.Back) Orieta Celiku (A. Mciver,K. Sere) Viorel Preoteasa (R.Back) Luka Milanov (R.Back) Ville Harkke (C.Carlsson) Chihab BenMoussa (C.Carlsson) Kaj-Mikael Björk (C.Carlsson) Francisco Augusto Alcaraz Garcia (C.Carlsson) Erkki Patokorpi (P. Walden) Dragos Truscan (J.Lilius) Markus Alanen (I.Porres, R. Back) Dubravka Ilic (Troubitsyna, K.Sere) Kim Solin (R. Back, B. Möller) Ph.D. theses 2000-2007

  7. Programming Methods Group - CREST • Programming Methods Research Group at Abo Akademi 1984 – • Ralph Back, founder • Kaisa Sere • Joakim von Wright • Johan Lilius • Large number of Ph.D.s and post docs during the years • Decided to divide research group into five research labs 2002 – • Programming Methods Group continues as CREST: Centre for Reliable Software Technology

  8. CREST • Center for Reliable Software Technology • Director: Ralph-Johan Back, vice director: Kaisa Sere • Focus: how to model, construct and analyze large reliable software intensive systems • ~50 researchers + a number of M.Sc students • CREST labs • Distributed systems lab: Kaisa Sere, Marina Walden, Elena Troubitsyna, Juha Plosila (UTU) (~ 20 res.) • Embedded systems lab: Johan Lilius (~ 10 res.) • Software construction lab: Ralph Back, Ivan Porres (~10 res) • Learning and reasoning lab: Ralph Back, Tapio Salakoski (UTU) (~ 10 res.) • Crest Center of Excellence in Research 2002 – 2007 • Crest was on shortlist for CoE 2008 - 2013, but not selected • Reviews were excellent, but competition very strong

  9. Main research directions • theoretical foundations of programming languages and programming methods • extending formal methods to new application areas • building computer supported tools for formal methods • studying the use of formal methods in the software construction process as a whole, and • case studies on how to apply formal methods

  10. CREST 2002 - 2007 • Research has essentially followed the original research plan, focusing on formal methods and their applications • Emphasis on practial applications and industrial cooperation has grown stronger • The four laboratories have grown strong and each now has its own clear profile and identity • The Mechanized Reasoning lab was reorganized after von Wright left, became Learning and Reasoning lab, which has worked out well • A new generation of senior researchers has stepped forward and are now actively carrying out research projects • External cooperation has become more extensive • External funding has grown considerably in 2007- 2008, with TEKES, AoF and EU funding

  11. CREST in numbers • Ph.D students 2002 - 2007 (13 Ph.D. students) • Distributed Systems lab: 4 Ph.D • Petre, Ruksenas, Yan, Ilic • Embedded Systems lab: 3 Ph.D. • Virtanen, Björklund, Truscan • Learning and Reasoning lab: 2 Ph.D • Celiku, Solin • Software Construction lag: 5 Ph.D • Petre, Seceleanu, Milovanov, Preoteasa, Alanen

  12. New research directions • teaching formal methods • systems biology • energy aware systems • model based testing • systems engineering • network oriented languages

  13. Presentations of CREST research labs • Distributed systems lab: Kaisa Sere • Embedded systems lab: Johan Lilius • Software construction lab: Ralph Back • Learning and reasoning lab: Ralph Back

More Related