The master of science programme distributed software systems specialises in the design, development and adaptation of flexible, secure and reliable distributed applications. If you need help, he will support you with experience and knowledge. Security engineering group seceng technical university. The software engineering project is scheduled to run over one semester. Undergraduate, graduate and teaching degree programs are offered among thirteen disciplines, five study areas and 112 courses in engineering, natural sciences, humanities and social sciences. Tu darmstadt offers twostage bachelors masters degrees for those wishing to teach at vocational schools.
During this time, your team is directly supported by an experienced member of our group. Requirements engineering interpreting statements 4 a lamb 1. It was founded in 1877 and received the right to award doctorates in 1899. Software engineering project software technology group tu. Cse focuses on developing problemsolving methodologies and robust tools for numerical simulation. Poster at the 25th usenix security symposium, 2016. The masters programme furthers your studies from the bachelor of education course and is combined with a subject teaching subject. Distributed software systems technical university of. Department of computer science of tu darmstadt wikipedia. The international master program information and communication engineering is a programme of excellence. Besides robotics, he therefore also got insight into other subjects such as chip design, communication networkstechnologies, or software engineering. International masters programme in information and communication engineering information and communication engineering tu darmstadt. Welcome to the joint secure software engineering blog of the software engineering group at paderborn university and the secure software engineering group at tu darmstadt. At th darmstadt piloty worked with winfried oppelt on a study plan computer science, which was characterized by engineering science.
Fur samtliche lernmaterialien skript, ubungen, vorlesungsnotizen etc. Study at fachbereich informatik at the tu darmstadt zeit. Michael waidner is the chair professor for security in information technology at the technical university of darmstadt, department for computer science, and the director institutsleiter of the fraunhofer institute for secure information technology. I am involved in the formbar project which investigates the application of software engineering tools and formal methods to rulebooks in the railway engineering. One of her ideas towards this goal, in collaboration with tu darmstadt, paderborn university, microsoft research, and nc state university, introduces a layered analysis framework in which the developer can explicitly direct the analysis, and control which paths it visits first. Darmstadter automotive software engineeringkolloquium.
Ist is an interdisciplinarily combination of electrical engineering and computer science. Simon studied informationssystemtechnik ist and received his bachelor degree also from tu darmstadt. Mitarbeiterinnen reiner hahnle richard bubel nathan wasser. Tu9 courses tu9 is the alliance of leading institutes of technology in germany. Highest offers advice, qualifications and support with all questions relating.
I am a senior researcher in the software engineering group, working with prof. Formal methods and software engineering 18th international conference on formal engineering methods, icfem 2016, tokyo, japan, november 1418, 2016, proceedings, springer international publishing, s. Technical university of darmstadt seceng stefan katzenbeisser. Here you will find all the available downloads for our department and our degree programmes on one page. 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. In 1883, the university founded the first faculty of electrical engineering and introduced the worlds first degree. Visit these pages to discover more about the department, our study programme and research activities, and find out who to contact at etit.
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. Tu darmstadt and the department of computer science are committed to promoting business startups. Tu darmstadt, masterarbeit nanjunde gowda, vidyashree 2018. The startup and innovation center highest at tu darmstadt combines a range of different measures to promote new businesses. Important aspects are the underlying software infrastructure as well as the efficient exchange of data between widely distributed locations via public, supraregional networks. He is member of the crisp board, the national reserach.
A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. The software value chain as an analytical framework for. Further information on specific entry requirements is provided on the web page of each particular masters program. International masters programme in information and.
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. Homepage maschinenbau technical university of darmstadt. Postdoktorand uc berkeley, arbeitsgruppe brass 1997. I am a professor at the computer science department of tu darmstadt. 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. Distributed software systems technical university of darmstadt. Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. Andy schurr fachgebiet echtzeitsysteme tu darmstadt. I have received the software engineering award of the ernstdenertfoundation for the best dissertation, an emmy noether grant 1.
E1 secure integration of cryptographic software sfb. Please check the information summed up for you at the right hand side for masters programs at tu berlin. Crokodil a learning environment for ressourcebased learning decentralizeddisttm decentralized collaborative flow monitoring in distributed sdn controlplanes. Centre for computational engineering cce computational engineering ce is an integral part of the research profile of tu darmstadt. In addition to this we offer team and presentation trainings in cooperation with. In 1882, it was the first university in the world to set up a chair in electrical engineering. Softwareengineering einfuhrung fachgebiet echtzeitsysteme. I have studied computer science at tu dresden and engineering at ecole centrale paris, and i visited epfl for my master thesis. Case tools support process activities such as requirements engineering, design, program development and testing. Specialized lectures and seminars, also in close cooperation with the department of informatics at tu darmstadt, enable the education of softwareengineering. 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. Student jobs jobs intelligent autonomous systems tu. Electrical engineering and information technology dept.
Tu darmstadt informatik software technology group teaching courses ws 2012. If you are interested in one of the opportunities, please contact only the person indicated in the job description. Mira mezini board member, athene center for applied. Computeraided software engineering case tools can lead to signi. Actual software developed at multimedia communications lab. Michael pradel software lab department of computer. Professor of computer science, programming technology and software engineering tu darmstadt. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. Michael waidner security in information technology. Michael waidner sit research group, chair fraunhofer sit, director crisp, board. It fosters innovative thinking and offers a solid education for.
Siegfried rasthofer, david schneider, gregor snelting, artem starostin and alexandra weber. We occasionally have hiwi positions for students of the tu darmstadt. Requirements for admission to the masters degree programme are comprised of a bachelor of science degree in the field of computer science or an equivalent. Here we post regular news on secure software engineering, program analysis, as well as malware recognition and defense. Computational science and engineering cse is a rapidly developing field that brings together applied mathematics especially numerical analysis, computer science, and scientific or engineering applications. Department of electrical engineering and information technology. The master in distributed software systems is structured in three main areas. Darmstadt university of technology tu darmstadt, established in 1877, is a research university in the city of darmstadt, germany with two campuses. Artificial intelligence at tu darmstadt aida is an initiative of several reserach groups at the tu darmstadt to coordinate and advance core ai research. We expect from our students a solid background in basic engineering subjects, as well as good foundations on information technology and communications.
385 823 1030 1589 1097 1211 1291 1119 1294 1277 772 1222 2 51 533 1427 541 1211 616 1426 1287 662 1259 1517 153 1148 78 971 399 469 310 182 519 997 1163 390 184 1511 764 667 34 266 533 979 550 1062 1263 1435 764 1375