Erc starting grant the goal of skills4robots is to develop an autonomous skill learning system that enables humanoid robots to acquire and improve a rich set of motor skills. Mira mezini software technology group tu darmstadt. Actual software developed at multimedia communications lab. Student theses, seminars and practical courses are still provided. Gnom, rpgnom, offtopic, tu darmstadt programmingcontest, suche biete. Hosted interim meeting of our artificial intelligence research training group of the german national academic scholarship foundation at the tu darmstadt. Michael waidner security in information technology. Artificial intelligence at tu darmstadt aida is an initiative of several reserach groups at the tu darmstadt to coordinate and advance core ai research. Full professor at institute for data technology, department for electrical engineering and communication technology, darmstadt university of technology 1998 2002 associate professor at institute for software technology, faculty of computer science, university of the german armed forces, munich. Crokodil a learning environment for ressourcebased learning decentralizeddisttm decentralized collaborative flow monitoring in distributed sdn controlplanes. Michael eichberg software technology group department.
Boris belousov is a member of the skills4robots project. The knowledge engineering group at the computer science department at the technische universitat darmstadt has been established in 2004. In the upcoming winter semester in 20192020, we will offer robot learning. Only in rare exceptions, we have openings for external students for internships or masters theses unless they are already enrolled with tu darmstadt. Tu darmstadt informatik fachgebiet softwaretechnik lehre lehrveranstaltungen ws 201112. Ralf riedel advanced thin film technology 20701 prof. Furnkranz left tu darmstadt in september 2019, he will not provide any lectures anymore. Building on a bachelors degree, a masters program provides specialization and indepth learning. Teaching intelligent autonomous systems tu darmstadt. Um software im internetshop kaufen zu konnen, mussen sie sich erstmalig online registrieren.
Distributed software systems technical university of. Enabling trust in new and next generation computing environments and of crisp. According to john mccarthy, one of the founders of the field, ai is the science and engineering of making intelligent machines, especially intelligent computer programs. The content of our bachelors degree is applicationbased and reflects the challenges computer science students are facing in regard to a fastgrowing digital working environment. Samuele received his bachelor degree as well as his master degree in software engineering from polytechnic university of milan. Simon studied informationssystemtechnik ist and received his bachelor degree also from tu darmstadt. Homepage maschinenbau technical university of darmstadt. Mitarbeiterinnen reiner hahnle richard bubel nathan wasser. Plan and implement a professional software project.
Study at fachbereich informatik at the tu darmstadt zeit. Computer science technical university of darmstadt. Study at fachbereich informatik at the tu darmstadt zeit campus. The aim of our research is to make software based systems more trustworthy i. However, a first successful installation on winnt has been reported. Arbeitsmittel zum corporate design technische universitat. Department of computer science department of computer. The technische universitat darmstadt is the leading researchoriented university in the rheinmain area with a strong focus on computer science and engineering. From 1994 to 2010 he held various technical and management positions with the ibm corporation. Tu darmstadt informatik fachgebiet softwaretechnik lehre lehrveranstaltungen ws 200910. Fachgebiete materials science technical university of.
Heiko mantel had been the spokesman of the german national research initiative rs 3 reliably secure software systems funded by the dfg german research association from 2010 to 2017, and he had been a principle investigator of cased center for advanced security research darmstadt and of ecspride european center for security by design. There are two ways of constructing a software design. Fur studierende am fachbereich informatik andert sich dadurch nichts. Enabling performance engineering in hesse and rhinelandpalatinate epe a project in the dfg program performance engineering for scientific software objective. The source codes of dircol and npsol have been compiled all together using the egcs1. The startup and innovation center highest at tu darmstadt combines a range of different measures to promote new businesses. Jobs and open positions as a dynamic research group, we are interested in outstanding ph. Samuele tosatto joined the institute for intelligent autonomous systems ias at tu darmstadt in may 2017 as a ph. Inside tu darmstadt, we are part of the motasys project. Web, knowledge and information processing, of which three or four have to be chosen. Fachschaft informatik tu darmstadt, darmstadt, germany. Tu darmstadt and the department of computer science are committed to promoting business startups. Michael waidner took his current position in darmstadt in october 2010. Such a reduction of the dependency on realworld samples alleviates one of the key problems of reinforcement learning.
Centre for computational engineering cce computational engineering ce is an integral part of the research profile of tu darmstadt. Besides robotics, he therefore also got insight into other subjects such as chip design, communication networkstechnologies, or software engineering. The master of science programme distributed software systems specialises in the design, development and adaptation of flexible, secure and reliable distributed applications. As software engineering is a complex and errorprone task, we employ formal methods for reasoning about information systems and critical system properties.
Softwareengineering einfuhrung fachgebiet echtzeitsysteme. Important aspects are the underlying software infrastructure as well as the efficient exchange of data between widely distributed locations via public, supraregional networks. Until 2006 he was with ibm research in ruschlikon, switzerland, as a senior manager responsible for ibm zurichs security and software research projects, and responsible for ibm. Electrical engineering and information technology dept. Logic and learning and software engineering for aimlbased systems. Highest offers advice, qualifications and support with all questions relating to startups. Department of computer science of tu darmstadt wikipedia. Tu darmstadt informatik software technology group teaching courses ss 2020. Our collective goal is to use, advance and create techniques from the fields of programming languages and software engineering to aid in current and future. Welcome to the software technology group and reactive programming our research is dedicated to developing new technologies that help to construct highquality software in a productive way.
Technical university of darmstadt software technology group. Postdoktorand uc berkeley, arbeitsgruppe brass 1997. As a graduate of one of our masters programs you are as well qualified for higher positions in the economy as for a subsequent academic career via a doctoral program. To be accepted onto a masters programme, it is an admission requirement to hold a bachelors degree on the same study path at tu darmstadt or an equivalent qualification. Proceedings of the 2017 11th joint meeting on foundations of software engineering, s. The use of internal physical models allows creating training data without a large number of realworld explorations. Formal modeling and analysis of railroad operations. At th darmstadt piloty worked with winfried oppelt on a study plan computer science, which was characterized by engineering science. Encrypto group encrypto technical university of darmstadt. Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and natural phenomena. Part of our research is in programming language design and implementation.
Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. Jan peters intelligent autonomous systems tu darmstadt. Security engineering group seceng technical university. We occasionally have hiwi positions for students of the tu darmstadt. Student jobs intelligent autonomous systems tu darmstadt. If you are interested in one of the opportunities, please contact only the person indicated in the job description. Program analysis and mining software repositories type systems and verifiable guarantees our collective goal is to use, advance and create techniques from the fields of programming languages and software engineering to aid in current and future challenges to software development ranging from distributed computing and software security to.
Tu darmstadt artificial intelligence and machine learning lab. Expand and deepen hpc support in areas where existing scientific expertise coincides with critical user needs. Ist is an interdisciplinarily combination of electrical engineering and computer science. For a very succinct summary of what this course is about, we would like to quote hoare, who once said. Computer science is a modern form of solving problems and an interface science at the same time, as practically no modern area of life can function without informatics be it in automotive and mechanical engineering, in the financial industry, or in bio and medical engineering. Heiko mantel has been professor for computer science at tu darmstadt since 2007. Programmes typically take four semesters to complete. All project topics originate from industry partners, outside of the campus.
Security engineering group seceng technical university of. For this, we bring theory into practice by using methods from applied cryptography and algorithm engineering for developing protocols, tools, and software prototypes to efficiently protect sensitive data in various application scenarios. There was already another curriculum with the name diplomingenieur informatik mathematik, which came from the faculty of mathematics and physics and provided for a stronger emphasis on software engineering. Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Jan peters is a full professor w3 for intelligent autonomous systems at the computer science department of the technische universitaet darmstadt and at the same time an adjunct senior research scientist at the maxplanck institute for intelligent systems, where he heads the interdepartmental robot learning group between the departments of empirical inference and. Boris belousov intelligent autonomous systems tu darmstadt. Since january 2018, he has been the spokesman of the loewe research focus software factory 4. Modeling and analysis of information systems research. The master of science programme computer science has at its core the six fields of. Proceedings of the 2017 11th joint meeting on foundations of software engineering, paderborn, germany, in. Heiko mantel is a principle investigator of the dfgfunded collaborative research center crossing cryptographybased security solutions. Epe overview scientific computing technical university.
639 1588 1172 669 183 154 955 995 63 732 406 1086 704 1273 287 162 1006 413 1341 1549 628 667 994 534 1024 815 255 58 1137 499 601