Successful graduates can evaluate software processes, requirements engineering methods, design and architectural principles, validation methods and techniques and can create technical solutions in analysis, design, implementation, and validation of software intensive systems. It was founded in 1877 and received the right to award doctorates in 1899. Tu darmstadt s international affairs department assists. Department of electrical engineering and information technology. Distributed software systems technische universitat darmstadt. Samuele tosatto joined the institute for intelligent autonomous systems ias at tu darmstadt in may 2017 as a ph. Software lab department of computer science university. Specialized lectures and seminars, also in close cooperation with the department of informatics at tu darmstadt, enable the education of software engineering with a. Handson work in research topics of the security engineering group should resemble software engineering process in teams think of it. Electrical engineering and information technology dept. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. Formal modeling and analysis of railroad operations. A modern and industryoriented education towards todays needs within information technology is offered. Software product line spl engineering is a popular approach for the systematic reuse of software artifacts across a very large number of similar products.
Guido salvaneschi assistant professor tu darmstadt. 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. Eric bodden, researches the field of usercentric static analysis. The security engineering group aims at bridging the gap between the cryptography, software engineering and formal methods communities, by offering theoretically sound methods for the design and analysis of secure systems. Student jobs jobs intelligent autonomous systems tu. Software engineering is a design activity based on creative thought. The information and communication engineering master ice is a foursemester programme. Over 110 degree programmes in engineering, natural sciences as well as humanities subjects. Holger marschall mma technical university of darmstadt. I have received the software engineering award of the ernstdenertfoundation for the best dissertation, an emmy noether grant 1. Homepage maschinenbau technical university of darmstadt.
Students while a bachelors degree focuses mainly on the fundamentals of the field, the masters degree serves to upgrade the qualifications of graduates and to. 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. Mathematics and physics are the basis of this discipline, but other natural sciences such as chemistry and biology and, more recently, human sciences such as sociology and philosophy also play a role. The requirements engineering process the result of a feasibility study is a report that recommends whether or not it is worth carrying on with the requirements engineering and system development process. Prospective students fachbereich maschinenbau tu darmstadt. All project topics originate from industry partners, outside of the campus. Actual software developed at multimedia communications lab. Mitarbeiterinnen reiner hahnle richard bubel nathan wasser. The startup and innovation center highest at tu darmstadt combines a range of different measures to promote new businesses.
For a very succinct summary of what this course is about, we would like to quote hoare, who once said. Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Postdoktorand uc berkeley, arbeitsgruppe brass 1997. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. Moreover, we offer a variety of software development courses to our students of engineering and computer science curricula. From 2017 2019, he was the head of the department secure software engineering at fraunhofer institute for secure information technology in darmstadt germany. Department of computer science of tu darmstadt wikipedia.
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. The programme imparts indepth, practice and applicationoriented knowledge in the central topics of software engineering. Tu darmstadt incorporates diverse science cultures to create its characteristic profile. Secure software engineering at paderborn university and. She advocates that static analyses should be able to accommodate specific users requirements about the behavior of the analysis in specific situations. Our research focuses on tools and techniques for building reliable, efficient, and secure software. The technical university tu of darmstadt is one of germanys leading technical universities. Reactive applications, distributed event processing, functional reactive programming. Fur samtliche lernmaterialien skript, ubungen, vorlesungsnotizen etc. Tu darmstadt has acknowledged this need by establishing a new, consecutive bachelormaster program in. European graduates tu darmstadt, frankfurt am main area. The realtime systems lab provides highquality educational courses, which offer the participants a keen insight into the field of software engineering as well as means for developing.
Michael waidner security in information technology. Programming models for distributed systems and security. Samuele received his bachelor degree as well as his master degree in software engineering from polytechnic university of milan. Department of electrical engineering and information technology head of communications engineering lab. Distributed software systems technical university of. Plan and implement a professional software project.
Students while a bachelors degree focuses mainly on the fundamentals of the field, the masters degree serves to upgrade the qualifications of graduates and to analyse the subject based on research. Does the system contribute to the overall objectives of the. Programmes typically take four semesters to complete. The software lab is a research group in the department of computer science of university of stuttgart led by michael pradel.
The master in distributed software systems is structured in three main areas. Sooqua is a saassolution for water utilities and private companies that analyzes sensor data with machinelearning algorithms and thus shows the networks realtime status and helps to minimize leakage and prevent pipe bursts. Michael pradel software lab department of computer. I have studied computer science at tu dresden and engineering at ecole centrale paris, and i visited epfl for my master thesis. Im an assistant professor at tu darmstadt, where im leading the reactive software systems group. Here we post regular news on secure software engineering, program analysis, as well as malware recognition and defense. All masters degree programmes including englishtaught courses. Thienduyen lisa nguyen quang do, research fellow at fraunhofer iem department software engineering, prof. Michael waidner took his current position in darmstadt in october 2010.
At th darmstadt piloty worked with winfried oppelt on a study plan computer science, which was characterized by engineering science. Tu darmstadt offers a double degree programme at a partner university for this course. I am a member of the compugene project my core research revolves around the design of languages for programing, specification and modelling that ultimately aim at making the software developing process more efficient and the resulting programs safe and trustworthy. The technische universitat darmstadt technical university of darmstadt or unofficially darmstadt university of technology, commonly referred to as tu darmstadt, is a research university in the city of darmstadt, germany. Computeraided software engineering the possibilities for improvements of the software process by case tools are limited.
Enabling trust in new and next generation computing environments cryptography is an essential enabler of trust in complex it systems such as the internet of things and cloud computing. Lets make water supply reliable and sustainable together. Feature modelbased software product line testing tuprints. Online assessment test technical university of darmstadt. To this end, we work on testing and analysis of complex software systems. Admissionrequirements technical university of darmstadt. Softwareengineering fachgebiet echtzeitsysteme tu darmstadt. International masters programme in information and. I am a senior researcher in the software engineering group, working with prof.
Christian weinert technical university of darmstadt. Spls are gaining widespread acceptance and various domains already apply spl engineering successfully to address the wellknown needs of the software engineering community, such as increasing quality, saving costs for development and. From 1994 to 2010 he held various technical and management positions with the ibm corporation. Security engineering group seceng technical university. Its around 300 professors, 4,500 scientific and administrative employees and 26,000 students devote their talents and best efforts to the significant future research fields energy, mobility, communications and information technologies, housing and living conditions. I am a professor at the computer science department of tu darmstadt. Before fraunhofer, he was a phdstudent at the secure software engineering group of tu darmstadt germany, supervised by eric bodden. As part of our research, we have contributed to techniques that detected thousands of. Formal methods, programming languages, and software engineering the lectures and associated exercises of this area will help students to develop the necessary skills to develop flexible, modular and adaptable software that satisfies highestquality requirements. Software engineering is a team activity and quite a. Tu darmstadt and the department of computer science are committed to promoting business startups. Fachbereich informatik at tu darmstadt zeit campus. Software engineering is a team activity and quite a lot of time is spend on interacting with other. The interdisciplinary character of mechatronics requires an entirely new namely parallel education in electrical engineering and information technology, mechanical engineering as well as computer science.
1416 1210 1574 1070 1563 1268 1169 940 1608 1011 430 870 51 474 904 510 1114 1642 575 1235 1120 217 730 1134 1617 828 834 1263 1445 1210 1348 408 682 625 234 782 437 466 168 1254 1000 1222 634 476 571 946 879 510