Thesis StartUp Seminar @SDT Andrzej Wąsowski IT University of Copenhagen
Groundbreaking & Useful research practice Find a researcher Make a business to work with case - find a company willing to spend time impact impact
Groundbreaking & Useful research practice Find a researcher Make a business to work with case - find a company willing to spend time impact impact
Groundbreaking & Useful research practice Find a researcher Make a business to work with case - find a company willing to spend time impact impact
A webshop or a library Groundbreaking & Useful database do not research practice usually fullfil these criteria! Find a researcher Make a business to work with case - find a Not challenging! company willing to spend time Nobody needs it! impact impact
A webshop or a library Groundbreaking & Useful database do not research practice usually fullfil these criteria! Find a researcher Make a business to work with case - find a Not challenging! company willing to spend time Nobody needs it! impact impact
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 ?
Recommend
More recommend
