Groundbreaking & Useful research practice Find a researcher - - PowerPoint PPT Presentation

Thesis StartUp

Seminar @SDT

Andrzej Wąsowski

IT University of Copenhagen

Groundbreaking & Useful

Make a business case - find a company willing to spend time research practice Find a researcher to work with impact impact

Groundbreaking & Useful

Make a business case - find a company willing to spend time research practice Find a researcher to work with impact impact

Groundbreaking & Useful

Make a business case - find a company willing to spend time research practice Find a researcher to work with impact impact

Groundbreaking & Useful

Make a business case - find a company willing to spend time research practice Find a researcher to work with impact impact

A webshop or a library database do not usually fullfil these criteria! Not challenging! Nobody needs it!

Groundbreaking & Useful

Make a business case - find a company willing to spend time research practice Find a researcher to work with impact impact

A webshop or a library database do not usually fullfil these criteria! Not challenging! Nobody needs it!

Kinds of Software These

• Design, construction or implementation of technology
• Testing and evaluating a method or technique.
• Empirical research (study users and needs)
• Development of a mathematical model of some kind.
• Algorithm design ...
• SDT students work with development and technology.
• Heavy development → advisable to work in a team!
• Last summer all delayed projects were single person!
• In the following slides we show concrete examples

Expression trees for LINQ to C5

Design, construction or implementation of technology

LINQ allows to query datasources using operators similar to SQL. LINQ supports Microsoft SQL Server, XML and in-memory collections of objects. C5 is a library of collection classes for C#. Data structures supported include doubly linked lists, hash- indexed array lists and tree sets. Implement a LINQ query provider for C5. Do this by examining the abstract syntax trees of the query and retrieve relevant collection items. Take advantage of the underlying data structure to generate optimised queries.

Performance Evaluation of System Integration - Using SAP Process Integration and Microsoft BizTalk

Testing and evaluating a method or technique

An ERP system (ERP) is used to manage resources and information in an organization, but it is also required to communicate with external systems. Data conversion and the actual communication, takes computational resources and time. I evaluate experimentally the SAP Process Integration product by testing performance impact of separating communication/conversion from business logics on two distinct servers. The work is done in close collaboration with a tool vendor and large customer organization.

Counting Skolem sequences using inclusion-exclusion

Algorithm design

We modify the algorithm described by Husfeldt-Björklund in Exact algorithms for exact satisfiability and number of perfect matchings and Godfrey's algorithm for the Langford problem, in order to confirm previously found Langford-values. We will apply parallization techniques to the algorithms and analyze the improvement.

Relational Methods for Reasoning about Contextual Equivalence

Development of a mathematical model

Construct a model for reasoning about the idealized programming language Fμ, a call-by- value variant of System F with recursive types and general references. The work includes: definition of operational semantics, definition of type system for Fμ,

proof of canonical forms lemma, proof of type

soundness by progress.

User Driven Innovation in the Ecosystem of the Open Source ERP system Apache OFBiz

Empirical research (study users and needs)

I will investigate the role UDI takes, by identifying who the actors are and what there role is. How communicate and collaborate around issues like design and innovation? How is domain knowledge and software expertise bridged? Does the innovation come from the end users? Method: literature study, mailing list analysis, surveys, interviews with community actors

Do not start from scratch...

• Write in the area of your expertise!
• Typically one of your specialization:

– Models and Programs / Programming Languages – Databases / Systems / Tunning – Data Mining / Artificial Intelligence – Algorithm Design – Distributed Systems – Software Engineering / Project Management / Processes / Requirements Engineering / UI Design

• Browse old projects at http://mit.itu.dk

(including complete definitions of the examples above)

• Use old projects at http://mit.itu.dk to find

potential supervisors for your idea

Some References on Projects and Report Writing

• Project and thesis goal description: tinyurl.com/248wruy
• Project agreement guidelines for software students:

tinyurl.com/39k3mgv

• J. Zobel: Writing for Computer Science. Springer 2004.

The library has a few copies. You do know that we have a library, don't you?

Questions ?