_S_D_U_
Software Development Unit, DSV
On this page you find short descriptions of the people involved in the Software Construcion Competence Track listed in alphabetical order.
Anna-Lena has for long been an enthusiast for logic programming. The title of her dissertation is "Logic Program Synthesis Using Schema Instantiation in an Interactive Environment".
Together with A. Eriksson-Granskog and A. Edman she is the author of two acclaimed books on PROLOG -- the programming language synonymous with logic programming.
Besides her proffession in computer science, she is a driving force behind Western Riders Gotland and does oil painting together with Kristina Höök.
I'm a teacher and a Ph. D. Student at the Department of Computer and Systems Sciences, a joint department at Stockholm University and The Royal Institute of Technology.
I teach computer science, programming methodology, theory of computability, object orientation and software engineering.
My research interests are programming languages, object orientation, dynamically typed programming languages, and software engineering. My advisors are Love Ekenberg and Tobias Wrigstad.
Apart from being a full time teacher at the Department of Computer and Systems Sciences, a joint department between the University of Stockholm and the Royal Institute of TechnologyI, I am also, albeit slowly, pursuing a Ph. D degree.
My research interests are Software Metrics in general and Software Cost Estimation in particular. I am the author of "Predictor", a software cost estimation tool based on case-based reasoning. This was also the subject of my licenciate thesis. I also dabble in parser generator.
I have written several programs that I maintain, the most famous being "Stitch"
I'm a Ph.D. Student at the Department of Computer and Systems Sciences at Stockholm University/Royal Institute of Technology.
My research interests are object-oriented programming, software quality and validation and verification of software.
Currently on parental leave.
I'm a post-graduate at the Department of Computer and Systems Science, a joint department at Stockholm University and The Royal Institute of Technology. My actual supervisor is Dr. Dave Clarke, of Dutch fame. My formal supervisor is Professor Dr. Dr. Love Ekenberg.
I'm currently trying to wrap up my thesis, which is about aliasing in object-oriented programming languages and systems. At the same time, I do too much teaching and try to stay clear of any other projects that might come my way. I'm currently the head of the competence track in Software Construction and Computer Science.
I am a big fan of plain text and any forms of light-weight markup such as reStructured text, Markdown, Textile and even more of the marvellous type-setting system LaTeX. I'm also a big fan of Wikis, collaborative, internet-driven tools and social computing networks such as Flickr, Blogspot, Slashdot, 43things, etc.
The activities of the Software Development Unit cover various aspects of software modelling, development and verification. More specifically, the interests of the unit includes a variety of areas, such as agile methods, large scale software engineering, software metrics, quality models and standards, interactive systems, game development, data mining, conflict detection and resolution as well as automated reasoning. The unit also hosts a large programme for ICT in developing countries.
Software is an integrated part of our society. We need techniques to develop software that does what it is supposed to do without getting in our way or creating errors, and that can easily be adjusted to benefit from the fast technical development. This is valid for all kinds of computer systems: computer games in the constantly growing entertainment industry as well as word processors and server software.
In our industrial society, the work of the programmers who line by line create software are part of the decreasing number craft professions. How can we provide the programmers with the tools and techniques needed to create the software that our society needs?
Our research includes, among other things, techniques and methods to find errors in software and correct them before the software is released. We also do research on programming languages , the fundamental tools to build software. How can we create languages that makes it easier for the programmer to express how the program is supposed to work? What supporting techniques do we need around programming? What supporting techniques do we need in the processes surrounding programming?
Time and cost estimation are important tools for planning a project. How time will we need to finishe the project? How many programmers will we need? How much will it cost? These are difficult questions that are often anwered by the few experts in the area. Our research aims at systems supporting this kind of estimations that can easily be used without the support of experts.
We believe that dividing courses in smaller parts that with different examination dates during the course will help the student to plan his or her work better and spread the work over a longer time. This will lead to deeper learning.
Two students taking the sama course given by the PVU unit may learn different things. Many of our courses offer possibilities to specialise in different areas.
We try to build our courses around real and existing problems to give students knowledge applicable in real life.
Taking a course given by the PVU unit you will hopefully meet students with different backgrounds and different skills. This leads to a bigger understanding and respect for the knowledge and skills of others, and better software produced during courses.