To the top

Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM

Tell a friend about this page
Print version

Department of Computer Science and Engineering - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Department of Computer Science and Engineering

at IT Faculty

Department of Computer Science and Engineering
SE412 96 Göteborg
Delivery address: Rännvägen 6 B, 412 58 Göteborg
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Fax: +46 317723663
Web Page: www.chalmers.se/sv/institutioner/cse
Email: cse@cse.gu.se

Tf Prefekt: Patrik Jansson

Latest publications

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Prediction of Undetected Faults in Safety-Critical Software
J. Sundell, Richard Torkar, K. Lundqvist, H. Forsberg
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Conference paper 2019
Conference paper

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

A Generic Traceability Metamodel for Enabling Unified End-to-End Traceability in Software Product Lines
P. Heisig, Jan-Philipp Steghöfer, C. Brink, S. Sachweh
SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing , ACM Digital Library, Chapter in book 2019
Chapter in book

Visitor monitoring and education in recreation and tourism management in marine protected areas: A technology-driven approach
Andreas Skriver Hansen, Richard Torkar, Claudio Aguyao, Michael Lück, Brooke Porter
Proceedings of the 13th Annual Conference of the International Competence Network of Tourism Research and Education (ICNT): The future of community engagement in tourism: Adressing the (im)balance between tourism growth and local community involvement, Conference contribution 2019
Conference contribution

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Conference paper 2019
Conference paper

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World
M. Autili, D. Di Ruscio, P. Inverardi, Patrizio Pelliccione, M. Tivoli
Ieee Access, Journal article 2019
Journal article

People

Showing 1 - 50 of 146

Name Title Phone Email
Holmer, Uno Senior Lecturer +46 31-772 5730 uno.holmer@chalmers.se
Peterson, Lena Senior Lecturer +46 31-772 1822 lenap@chalmers.se
Nordlander, Johan Visiting Research Fellow johnordl@chalmers.se
Gorschek, Tony Visiting Lecturer gorschek@chalmers.se
Sabelfeld, Andrei Professor +46 31-772 1018 andrei@chalmers.se
Pathan, Risat Doctoral student +46 31-772 5216 risat@chalmers.se
Alahyari, Hiva Doctoral student +46 31-772 5710 hiva@chalmers.se
Sintorn, Erik Doctoral student erik.sintorn@chalmers.se
Lillieström, Ann Doctoral student +46 31-772 6169 annl@chalmers.se
Fathollah Nejad Asl, Negin Doctoral student +46 31-772 5211 negin@chalmers.se
Knyaginin, Dmitry Doctoral student +46 31-772 1669 dmitry.knyaginin@chalmers.se
Almström Duregård, Jonas Doctoral student +46 31-7721028 jonas.duregard@chalmers.se
Manivannan, Madhavan Doctoral student +46 31-772 1669 madhavan@chalmers.se
Palka, Michal Postdoctor +46 31-772 1079 michal.palka@chalmers.se
Mckee, Sally Docent +46 31-772 1668 sally.mckee@chalmers.se
Crnkovic, Ivica Professor +46 31-772 6076 crnkovic@chalmers.se
Gustafsson, Birgitta Departmental Financial Administrator +46 31-772 1790 birgitta.gustafsson@chalmers.se
Broberg, Niklas Projkect assistant +46 31-772 1058
Ionescu, Cezar +46 31-772 1089 cezar@chalmers.se
Jonsson, Jan Associate Professor +46 31-772 5220 janjo@chalmers.se
Kegel Andreasson, Elisabeth Administrator +46 31-772 1693 elisabeth.kegel@chalmers.se
Lindström Claesson, Koen Associate Professor +46 31-772 5424 koen@chalmers.se
Myréen, Magnus Research assistant +46 31-772 1664 myreen@chalmers.se
Månhammar, Monica Administrativ koordinator +46 31-772 1677 monica.manhammar@chalmers.se
Tornberg, Ann Administrator +46 31-772 1689 ann.tornberg@chalmers.se
Ranta, Aarne Professor +46 31-772 1082 aarne@chalmers.se
Al Mamun, Abdullah Doctoral student +46 31-772 5646 abdullah.mamun@chalmers.se
Abel, Andreas Martin Senior lecturer +46 31-772 1731 abela@chalmers.se
Nilsson, Agneta Senior lecturer +46 31-772 4842 agneta.nilsson@gu.se
Russo, Alejandro Docent +46 31-772 6156 russo@chalmers.se
Schliep, Alexander Senior lecturer alexander.schliep@cse.gu.se
Gerdes, Alex Senior lecturer alexg@chalmers.se
Salehson, Ali Lecturer +46 31-772 5746 ali.mahdi@chalmers.se
Bove, Ana Senior lecturer +46 31-772 1020 bove@chalmers.se
Andersson, Anneli Communications officer +46 31-772 1029 anneli.andersson@chalmers.se
Linde, Arne Research Engineer +46 31-772 1683 arne@chalmers.se
Afshari, Bahareh Postdoctoral research fellow +46 31-772 6153 bahareh.afshari@cse.gu.se
Nordström, Bengt Professor +46 31-772 1033 bengt.nordstrom@chalmers.se
Grohe, Birgit Lecturer birgit.grohe@gu.se
Börjesson, Peter Doctoral student borjessp@chalmers.se
Chaudron, Michel Professor +46 31-772 1165 chaudron@chalmers.se
Dimitrakakis, Christos Postdoctor +46 31-772 1044 chrdimi@chalmers.se
Berger, Christian Senior lecturer +46 31-772 6038 christian.berger@gu.se
Cauli, Claudia Doctoral student claudia.cauli@gu.se
Cockx, Jesper Postdoctor cockx@chalmers.se
Coquand, Thierry Professor +46 31-772 1030 thierry.coquand@gu.se
Wedelin, Dag Docent +46 31-772 1022 dag@chalmers.se
Strüber, Daniel Postdoctor daniel.struber@gu.se
Durisic, Darko Universitetslektor, adjungerad darko.durisic@gu.se
Sands, David Professor +46 31-772 1059 dave@chalmers.se

Showing 1 - 50 of 146

Showing 1 - 10 of 767

2019

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Prediction of Undetected Faults in Safety-Critical Software
J. Sundell, Richard Torkar, K. Lundqvist, H. Forsberg
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Conference paper 2019
Conference paper

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

A Generic Traceability Metamodel for Enabling Unified End-to-End Traceability in Software Product Lines
P. Heisig, Jan-Philipp Steghöfer, C. Brink, S. Sachweh
SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing , ACM Digital Library, Chapter in book 2019
Chapter in book

Visitor monitoring and education in recreation and tourism management in marine protected areas: A technology-driven approach
Andreas Skriver Hansen, Richard Torkar, Claudio Aguyao, Michael Lück, Brooke Porter
Proceedings of the 13th Annual Conference of the International Competence Network of Tourism Research and Education (ICNT): The future of community engagement in tourism: Adressing the (im)balance between tourism growth and local community involvement, Conference contribution 2019
Conference contribution

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Conference paper 2019
Conference paper

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World
M. Autili, D. Di Ruscio, P. Inverardi, Patrizio Pelliccione, M. Tivoli
Ieee Access, Journal article 2019
Journal article

Showing 1 - 10 of 767

Page Manager: Webmaster|Last update: 9/12/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?