Software engineers are known to often misuse cryptography, causing the applications that they develop to become insecure. Christian weinert technical university of darmstadt. Itlosungen durch praxiserprobtes software engineering. This is also true for all my coauthors and the people of the key community. Start optimization technical university of darmstadt.
Department of electrical engineering and information. Information systems technology technical university of. Here we post regular news on secure software engineering, program analysis, as well as malware recognition and defense. Poster at the 25th usenix security symposium, 2016. The research group of system reliability, adaptive structures, and machine acoustics sam was founded at tu darmstadt in 2001 under the name system reliability in mechanical engineering by prof. Department of electrical engineering and information technology head of communications engineering lab. Software ag the company with the first digital business platform. 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. Mob4lod was developed by a group of students in the course of software engineering handson training.
For a very succinct summary of what this course is about, we would like to quote hoare, who once said. Einfuhrung in software engineering software technology group. We had a really good time not only at work, but also in our leisure time. 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. How much does a software engineer make in darmstadt. It was the first faculty of electrical engineering in the world and offered the first course of study in electrical engineering as of 2018, the department of electrical engineering and information technology is one of the largest electrical engineering. I am a phd student at the software engineering group. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. The main research activities are focused on the development of the required mathematical methods and tools together with the efficient and robust implementation in appropriate. Handson work in research topics of the security engineering group should resemble software engineering process in teams think of it as an advanced bachelorpraktikum without the overhead. Department of electrical engineering and information technology. Part of our research is in programming language design and implementation. Programmes typically take four semesters to complete. Because the core of the master of science degree in information systems technology is the understanding, developing and researching of the complex interconnections between hardware and software, as those skills required by welltrained interdisciplinary engineers, graduates of the masters degree programme will have many and varied career choices.
Joe watson intelligent autonomous systems tu darmstadt. Institutes maschinenbau technical university of darmstadt. Tu darmstadt offers a double degree programme at a partner university for this course. Global collaborative engineering computer integrated. Student attendance and participation during the schedules time is expected. Software engineering project software technology group tu. Courses ss 2015 software technology group tu darmstadt. Programming models for distributed systems and security.
Computational engineering tu darmstadt public group facebook. Plan and implement a professional software project. Secure software engineering at paderborn university and. Integrating symbolic execution, debugging and verification. The encrypto group has several open fully funded positions for phd studentsdoctoral researchersresearch assistants, as well as student assistants, see here. Technical university of darmstadt seceng stefan katzenbeisser. Distributed software systems technical university of. Welcome to the homepage of the course introduction to software engineering.
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. The theoretical fundament and practical training needed for this can be obtained in lectures, labs and seminars. A new, disruptive, modular, and scalable vehicle architecture and platform. Computeraided software engineering the possibilities for improvements of the software process by case tools are limited. Formal modeling and analysis of railroad operations. All group members and friends of the software engineering group of tu darmstadt. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. 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. Prospective students fachbereich maschinenbau tu darmstadt. Mantel, decembre 2017 invited talk at 2nd international cpachecker workshop, university of paderborn, august 2017 invited talk at ifip wg 1.
I can offer years of work experience in software engineering and consulting covering areas like artificial intelligence, analytics, big data, machine learning, internet of things, industry 4. The average salary for a software engineer is 52,977 in darmstadt. In our projects, we work together with domain scientists, the hessian competence center for highperformance computing and the highperformance computing group at tudarmstadts computing center to address challenges. In 1882, it was the first university in the world to set up a chair in.
Since january 2018, he has been the spokesman of the loewe research focus softwarefactory 4. This is a six 6 creditpoint advanced design project. The institute of structural mechanics fsm as part of the department of mechanical engineering has its key competence in modeling, analysis and strength prediction of engineering structures. The electrical and electronics engineer with a major in computer engineering is educated and trained to design, use and further develop innovative technologies.
I am a senior researcher in the software engineering group, working with prof. It was founded in 1877 and received the right to award doctorates in 1899. The overall goal of the project is to support developers by providing them tool automation to facilitate secure integration of cryptographic software. Knowledge in classical areas of computer science, such as operating systems, software engineering, database systems and networks, is also. Software engineering software technology group tu darmstadt. Heiko mantel is a principle investigator of the dfgfunded collaborative research center crossing cryptographybased security solutions. Department of computer science, tu darmstadt, germany. Its goals are to develop principles, methods, and processes for the evaluation of the reliability of complex systems. 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. Heiko mantel has been professor for computer science at tu darmstadt since 2007. The goal of the unicaragil project is to conceive, realize, and test a new, disruptive, modular, and scalable vehicle architecture and platform that forms the starting point of a future, efficient, userorientated depiction of versatile automated vehicle concepts. Information security has become a crucial concern for the commercial deployment of modern computer systems and applications. Tu darmstadt, technical report tudcs20180024, 2018.
Centre for computational engineering cce computational engineering ce is an integral part of the research profile of tu darmstadt. E1 secure integration of cryptographic software sfb. Computational engineering tu darmstadt has 384 members. Software engineering is a design activity based on creative thought. Before fraunhofer, he was a phdstudent at the secure software engineering group of tu darmstadt germany, supervised by eric bodden.
Knowledge of different optimization software packages scip, cplex, gurobi is an advantage. Tu darmstadt informatik software technology group teaching courses ws 2012. 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. Many ideas were born during discussions and later realized as part of this thesis. Im an assistant professor at tu darmstadt, where im leading the reactive software systems group. Reactive applications, distributed event processing, functional reactive programming. Research scientific computing technical university of. 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. Artificial intelligence at tu darmstadt aida is an initiative of several reserach groups at the tu darmstadt to coordinate and advance core ai research. Here we post regular news on secure software engineering, program analysis, as. From 2017 2019, he was the head of the department secure software engineering at fraunhofer institute for secure information technology in darmstadt germany.
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. Guido salvaneschi assistant professor tu darmstadt. Security engineering group technische universitat darmstadt. Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Dieter bothe in the mathematical modeling and analysis group mma at the center of smart interfaces csi, technical university of darmstadt. There are two ways of constructing a software design. The institute of computer engineering at tu darmstadt. All project topics originate from industry partners, outside of the campus. Holger marschall mma technical university of darmstadt.
This is an active learning and team project based course that will require extensive live collaborations with team members as well. The institute for scientific computing works on various aspects of computational sciences and adjacent challenges. Dear visitor, due to the current exceptional situation at the tu darmstadt, all dik employees will continue to work from home from 16. Technische universit at darmstadt, darmstadt, germany. Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and natural phenomena. David schneider, gregor snelting, artem starostin and alexandra weber.
803 1134 1402 16 483 845 604 417 636 1102 1095 138 1415 1068 1273 1010 72 956 882 511 1221 116 1313 1165 1029 762 283 249 293 400 58 592 1276 1250 788 839