Student Financial Services Payment and Financial Aid Policies

Total Page:16

File Type:pdf, Size:1020Kb

Student Financial Services Payment and Financial Aid Policies Student Financial Services Payment and Financial Aid Policies Last Updated on 08.06.2015 Student Financial Services 2015-06-08 page 1 of 1 TABLE OF CONTENTS 1. INTRODUCTION ...................................................................................................................................................... 3 2. STUDENT ACCOUNT PAYMENT POLICIES ................................................................................................................ 3 2.1 Undergraduate Student Charges .................................................................................................................. 3 2.2 Undergraduate Financial Aid Packages ........................................................................................................ 4 2.3 Graduate Student Charges ............................................................................................................................ 5 2.4 Withdrawal Policy - Undergraduate Students ............................................................................................... 6 2.5 Refund Policy – Undergraduate Students .................................................................................................... 6 2.6 Withdrawal and Refund Policy for Non-degree Students ............................................................................. 6 2.7 Graduating from Jacobs University ............................................................................................................... 7 3. UNDERGRADUATE FINANCIAL AID POLICIES ........................................................................................................... 8 3.1 Applicants for Undergraduate Admission/Financial Aid ................................................................................ 8 3.2 Continuing Undergraduate Students ............................................................................................................ 8 3.3 Exchange, Leave of Absence and Visiting Students .................................................................................... 8 3.4 7th Semester ................................................................................................................................................. 8 3.5 External Scholarships .................................................................................................................................... 9 4. UNDERGRADUATE TUITION POSTPONEMENT PAYMENT POLICIES ............................................................................ 9 4.1 Interest Rate ................................................................................................................................................. 9 4.2 Duration of your Tuition Postponement ........................................................................................................ 9 4.3 Repayment .................................................................................................................................................. 10 4.4 Defaulting on your Tuition Postponement ................................................................................................... 10 5. QUESTIONS AND/OR CONCERNS .......................................................................................................................... 11 6. JACOBS UNIVERSITY BANKING INFORMATION ....................................................................................................... 11 7. STUDENT ACCOUNT STATEMENT ......................................................................................................................... 12 8. CLARIFICATION OF STUDENT ACCOUNT STATEMENT ............................................................................................. 13 9. COST OF ATTENDANCE - UNDERGRADUATE STUDENTS ........................................................................................ 14 10. COST OF ATTENDANCE - GRADUATE STUDENTS ................................................................................................ 15 11. DUE DATES AND DEADLINES ............................................................................................................................. 16 Student Financial Services 2015-06-08 page 2 of 2 1. INTRODUCTION In accordance with the resolution of the university’s Academic Council from 09.08.06, the following regulations apply to all Jacobs University Bremen gGmbH students. These regulations relate to all Financial Aid and Student Accounting transactions, before, while and after matriculation at Jacobs University Bremen gGmbH. Deviations from these regulations must be approved by the President or by a Vice President. 2. STUDENT ACCOUNT PAYMENT POLICIES All incoming and continuing undergraduate and graduate students will receive a bill and/or a student account statement via e-mail before the beginning of each semester and on a monthly basis throughout the academic year. This statement will itemize all of your charges and, if applicable, your financial aid package. You will find an example of a student account statement on Page 12 and an explanation on Page 13. You must settle your balance due before you register for a new semester. If you are unable to do so, you must contact Student Financial Services to develop a suitable payment plan. Students who do not meet their financial responsibilities in a timely manner will not be allowed to register for classes, will find their CampusNet access blocked and will be asked to leave the university. 2.1 Undergraduate Student Charges All charges are subject to change upon notification. Tuition – The total cost of tuition for one academic year at Jacobs University is € 20.000. Half of the tuition will be charged to your student account and is due at the beginning of each semester you attend the university. Room + Board – The total cost of room and board for the nine-month academic year is € 4.500. Half of this cost or 2.250 € is charged to your student account each semester and covers room and board for 4 ½ months (fall: September 1st to January 15th, spring: January 16th to May 31st) If you are returning to the university after the fall semester, you may move into your room on January 16th at the earliest. If you are leaving the university after the fall semester then you must check out of your room on January 15th at the latest. If you arrive earlier or leave later than these dates, you will be charged an additional 250 € rent for the respective half of the month. Semester Ticket – All students must purchase a semester ticket each semester they attend Jacobs University. This ticket enables you to travel free of charge throughout Bremen and the surrounding area. For the academic year 2014-2015, you will be charged € 155,76 at the beginning of each semester for the Semester Ticket. University Fee – All undergraduate students are required to pay a € 60 university fee each semester they attend Jacobs University. The fee includes such amenities as the cost of the graduation ceremony and celebration, student activities, student government fee and diverse insurances that protect you while you are studying at Jacobs University. Broadcasting Fee – All undergraduate students living on campus are required by German law to pay a broadcasting fee of 5,99 € per month or 53,91 € per academic year for television and radio broadcasts. This is German law and the only exceptions that can be made are for German nationals who are receiving BAföG (German student support program). Summer Room + Board – If you remain on campus during the summer months, you will be charged € 1.500 for the months of June, July and August. Payment is due by June 15th. Enrollment Deposit – Every admitted student wishing to attend Jacobs University must pay an enrollment deposit of € 500 before the deadline given in your admission letter. This enrollment deposit secures your place at Jacobs University and is not refundable if you reverse your enrollment decision. If you do enroll, the deposit will be kept on a separate account until you check out after graduation or after leaving Jacobs University permanently. The deposit will be used to cover any outstanding balances on your accounts only after leaving the university permanently. Any remaining overpayments will be credited to your tuition postponement, if applicable. If there are no open balances or tuition postponements, then the enrollment deposit will be reimbursed. In this case, you are required to inform us of your bank account information. Student Financial Services 2015-06-08 page 3 of 3 Claims for Travel Expenses – If you go on a business or research trip for Jacobs University and you receive a cash travel advance, the amount you received will be charged to an additional, separate account. You must then submit your travel expenditure claim, including all receipts. Once the claim has been approved, the actual amount spent will be credited to this account and will offset the charge. Any amount of the travel advance that has not been spent remains a charge on the account and must be repaid. Moving Off Campus / Going off the Meal Plan – A financial aid package will be adjusted in the rare case that an undergraduate student is granted permission to move off campus or go off the meal plan. This adjustment will be made proportionately and in most cases will reduce any grant you may have. Each case is decided on an individual basis. Payments – All payments received will be credited to your student account unless you specifically state to which account the funds should be
Recommended publications
  • Study Program Handbook Society, Media and Politics
    Study Program Handbook Society, Media and Politics Bachelor of Arts Subject-specific Examination Regulations for Society, Media and Politics (Fachspezifische Prüfungsordnung) The subject-specific examination regulations for Society, Media and Politics are defined by this program handbook and are valid only in combination with the General Examination Regulations for Undergraduate degree programs (General Examination Regulations = Rahmenprüfungsordnung). This handbook also contains the program-specific Study and Examination Plan (Chapter 6). Upon graduation, students in this program will receive a Bachelor of Arts (BA) degree with a scope of 180 ECTS (for specifics see Chapter 6 of this handbook). Version Valid as of Decision Details Fall 2020 – V1.1 Sep 01, 2020 Approved by the V1 Master version Academic Senate on V1.1 Editorial Changes, June 26, 2019. indicative literature added Contents 1 Program Overview ..................................................................................................... 5 Concept .................................................................................................................................... 5 1.1.1 The Jacobs University Educational Concept..................................................................... 5 1.1.2 Program Concept ............................................................................................................. 6 Specific Advantages of SMP at Jacobs University .................................................................... 7 Program-Specific Educational
    [Show full text]
  • The Future Starts Here
    THE FUTURE STARTS HERE SUCCESSES EXPECTATIONS DEVELOPMENTS Custom-tailored medication, better Living diversity, using networks, Space scientist, Facebook star, batteries, the power of positive think- having better training opportunities: award-winning IT entrepreneur: ing: the things Jacobs University’s the things Jacobs University’s What Jacobs University’s researchers are studying. employees look forward to. graduates have become. Pages 4-7 Pages 8-9 Pages 10-13 WWW.JACOBS-UNIVERSITY.DE THE FUTURE STARTS HERE THE FUTURE STARTS HERE THE CASE FOR ,, ,, ACADEMIC FREEDOM It was a strong, dedicated, encouraging presentation: “Never before have there been so many opportunities for making discoveries as there are now”, said Professor Randy Schekman. Academia has never been so strong, and no temporary political influence can stop the advances in and Open to the world, transfer of knowledge. The biochemist, who together with I believe in two other scientists received the medical Nobel prize for his discoveries in cell transport processes, was awarded an communicative, honorary doctorate by Jacobs University at the graduation Jacobs University’s ceremony in 2017, at which he thanked the University in a receptive to new much-applauded speech. philosophy. ideas – that is how Schekman had already argued for free access to scientific Students get so knowledge the evening before the ceremony in a panel Bremen has always debate at Jacobs University. This is now at risk, as a small much more than Dear reader, club of scientific journals controls and limits the publication of important findings. In order to change this, the American been, and how it “The future starts here” – Jacobs University lives by this motto.
    [Show full text]
  • Dear Ladies and Gentlemen
    Dear Partners, dear students, Please see below an overview of the relevant procedures and deadlines for incoming study abroad students. Introduction to Jacobs University, based in Bremen, is Germany's leading private university and home to Jacobs University: more than 1,300 students from over 100 countries. We are research-oriented, state- accredited campus university with a broad portfolio or pre-degree, undergraduate and graduate study programs from natural and social sciences, engineering and economics. All programs are taught in English. Extensive extracurricular activities support and strengthen our students' personal development. Our semester schedule is in accordance with international standards: Spring semester: from the beginning of February until the end of May (01.02 – 31.05) Fall Semester: from the beginning of September until the end of December (01.09 – 31.12) Jacobs University’s campus in Bremen offers high standard living conditions in four residential colleges. All study abroad undergraduate students have guaranteed housing on campus for duration of their stay. Students have the opportunity to experience the German culture at first hand, join German Host Family Program and foster their German knowledge in our language courses offered in cooperation with Goethe Institute. Study Abroad: www.jacobs-university.de/international Undergraduate Preparatory Programs: • Medical Natural Sciences Bachelor of Arts • Global Economics and Management • International Business Administration • International Relations: Politics and History
    [Show full text]
  • Breaking the Ceiling: Women in International Higher Education and STEM Fields
    Breaking the Ceiling: Women in International Higher Education and STEM Fields ERASMUS STAFF WEEK IN BREMEN 6 – 10 MAY 2019 1 Dear colleagues, It is our pleasure to welcome you at the 5th Erasmus+ Staff Week in the state of Bremen! We are convinced that you made a really good choice coming here! As a Free Hanseatic city Bremen offers a unique combination of international metropolitan fl air and the laid-back feeling of a small town. We enjoy short distances just as much as large-scale international events. The state of Bremen consists of the two cities Bremen and Bremerhaven and is home to over 500,000 inhabitants, of which 30,000 are German and international students from our four universities. From these numbers you can surely see how student life plays a signifi cant role in our cities. Having a maritime trade tradition, Bremen and Bremerhaven have historically al- ways valued international cooperation and the same holds true for our educational institutions today. What we are equally proud of, however, is our inter-institutional partnership in the fi eld of education. The four universities in the state of Bremen cooperate closely on various topics and numerous projects that go beyond inter- nal institutional concerns. For example, the international offi ces jointly represent Bremen’s educational landscape under the label “Universities in Bremen” at the international networking conferences such as EAIE and NAFSA. Together, we also organize every other year the Bremen Erasmus+ Staff Week during which the participants have the opportunity to get to know the four institu- tions.
    [Show full text]
  • Annual Report 2016/2017
    AnnuAl RepoRt 2016-17 SpeciAl FeAtuRe Manfred Berg: "He Never Wanted War. Woodrow Wilson and America's Entry into World War I" ANNUAL REPORT 2016-17 IMPRINT Editor Detlef Junker Editorial Staff Wilfried Mausbach Felix Neuwerck Anja Schüler Heidelberg Center for American Studies (HCA) Curt und Heidemarie Engelhorn Palais Hauptstraße 120 69117 Heidelberg Germany T + 49 6221/ 54 37 10 F + 49 6221/ 54 37 19 [email protected] www.hca.uni-heidelberg.de Coverdesign Bernhard Pompey Adapted Design and Layout Barbara Grobe Christian Kempf © Heidelberg Center for American Studies (HCA) 2017. All rights reserved. The HCA Annual Report is published yearly and is available free of charge. ISSN 1862-1201 CONTENTS Rector's Welcome 5 Preface 6 THE HEIDELBERG CENTER FOR AMERICAN STUDIES Mission Statement 10 Benefactors 10 Organization 12 Board of Trustees 13 Board of Directors 19 Foundation and Development 23 The Curt und Heidemarie Engelhorn Palais 26 People 2016-2017 28 Cooperation and Support 47 AN INSTITUTE FOR hiGHER EdUCATION Bachelor of Arts in American Studies (BAS) 50 The BAS Class of 2020 51 BAS Student Trip to Berlin 2017 52 Exchange Opportunities for BAS Students 53 Master of Arts in American Studies (MAS) 54 The MAS Class of 2017 55 The MAS Class of 2018 58 The MAS Class of 2019 60 HCA Commencement 2017 60 Valedictorian Speech 62 Students' Committee 64 HCA Social Activities 65 A CENTER FOR INTERDISCIPLINARY RESEARCH Ph.D. in American Studies 68 Ph.D. Candidates 71 Rolf Kentner Dissertation Prize 90 Graduiertenkolleg Authority and Trust (GKAT) 92 GKAT Grand Opening 93 GKAT Faculty 95 GKAT Researchers 98 HCA Research 110 HCA Spring Academy 2017 120 Conferences 127 The United States and World War I: Perspectives and Legacies 127 James W.C.
    [Show full text]
  • Jacobs University Bremen
    STUDY ABROAD AT JACOBS UNIVERSITY ACADEMIC YEAR 2017-2018 Jacobs University Bremen Jacobs University, based in Bremen, is Germany's leading private university and home to more than 1,300 students from over 100 countries. We are a research-oriented, state-accredited campus university with a broad portfolio of pre-degree, undergraduate and graduate study programs, including natural and social sciences, engineering, etc. All undergraduate programs are taught in English. Extensive extracurricular activities on a vibrant residential campus support and strengthen our students' personal development. Our semester schedule is in accordance with international standards (for exact semester periods and further academic dates please check our Academic Calendar): • Fall semester: beginning of September until the end of December (01.09 – 31.12) • Spring semester: beginning of February until the end of May (01.02 – 31.05) Jacobs University’s campus offers high quality housing in our four residential colleges. All study abroad undergraduate students have guaranteed housing on campus for the full duration of their stay. Students have the opportunity to experience German culture first hand, join the German Host Family Program and foster their German proficiency in language courses offered in cooperation with the Goethe Institute. In the fall semester, study abroad students have an opportunity to take a special course on European Health and Welfare including faculty-led study trips to Berlin (Charité), Bremerhaven (AMEOS Klinikum St. Joseph) and Geneva (WHO headquarters). In spring, study abroad students can study German Politics and Culture and participate in faculty-led excursions to Berlin (German parliament), Brussels (European Parliament), Helgoland islands and St.
    [Show full text]
  • Paul Wabnitz –
    Department 3 – Mathematics University of Bremen Bibliothekstr. 5, D-28359 Bremen T +49 1523 106 4158 https://user.math.uni-bremen.de/pwabnitz/ Paul Wabnitz B [email protected] Positions 2020–present Research Assistant (Ph.D. student), University of Bremen, under the supervision of Prof. Dr. Anke Pohl. 2017–2020 Research Assistant (Ph.D. student), Friedrich-Schiller-Universität Jena, transferred to University of Bremen in May 2018, in research project (DFG) “Locally Symmetric Spaces and Transfer Operators”, under the supervision of Prof. Dr. Anke Pohl. Education 2017–present Ph.D., Friedrich-Schiller-Universität Jena and University of Bremen. 2010–2016 Diploma Study of Mathematics, Universität Leipzig. Diploma Thesis Title Sarnak’s Conjecture about Möbius Function Randomness in Deterministic Dynamical Systems Supervisor Prof. Dr. Tatjana Eisner, Universität Leipzig. Extended Stays Jan–April Trimester Program, Dynamics: Topology and Numbers, Hausdorff Research Institute 2020 for Mathematics (HIM), Bonn. Conferences & Workshops Jul 2017 Conference “Thermodynamic Formalism”, University of Bremen. Apr 2018 Colloquium in Honor of Prof. Thomas Kühn, Friedrich-Schiller-Universität Jena. Jun 2018 First Workshop “Hanseatic Dynamical System Days”, University of Hamburg. Jul 2018 Conference “Dynamics: Topology and Numbers”, Max Planck Institute for Mathematics (MPIM), Bonn. Aug 2018 Summer School “Spectral Theory of Schrödinger Operators”, Friedrich-Schiller- Universität Jena. Nov 2018 Second Workshop “Hanseatic Dynamical System Days”, University of Lübeck. Jun 2019 Third Workshop “Hanseatic Dynamical System Days”, University of Bremen. Jun 2019 Oberwolfach Seminar “Anisotropic Spaces and their Applications to Hyperbolic and Parabolic Systems”, Mathematisches Forschungsinstitut Oberwolfach. Jul 2019 Summer School “Thermodynamic Formalism: Modern Techniques in Smooth Er- godic Theory”, Centre International de Rencontres Mathématiques (CIRM), Luminy (Marseille).
    [Show full text]
  • Study Program Handbook Integrated Social and Cognitive Psychology
    Study Program Handbook Integrated Social and Cognitive Psychology Bachelor of Science Subject-specific Examination Regulations for Integrated Social and Cognitive Psychology (Fachspezifische Prüfungsordnung) The subject-specific examination regulations for Integrated Social and Cognitive Psychology are defined by this program handbook and are valid only in combination with the General Examination Regulations for Undergraduate degree programs (General Examination Regulations = Rahmenprüfungsordnung). This handbook also contains the program-specific Study and Examination Plan (Chapter 6). Upon graduation, students in this program will receive a Bachelor of Science (BSc) degree with a scope of 180 ECTS (for specifics see Chapter 6 of this handbook). Version Valid as of Decision Details Fall 2020 – V1.2 Sep 01, 2020 Approved by the Master version, editorial Academic Senate on changes, indicative literature July 24, 2019. added, change of semester sequence in the module Neuroscience Methods. Contents 1 Program Overview ..................................................................................................... 5 Concept ................................................................................................................................ 5 1.1.1 The Jacobs University Educational Concept..................................................................... 5 1.1.2 Program Concept ............................................................................................................. 5 Specific Advantages of ISCP at Jacobs
    [Show full text]
  • Curriculum Vitae
    CURRICULUM VITAE PERSONAL INFORMATION: Name: Sabyasachi Mukherjee Date of Birth: 4th February, 1986 Nationality: Indian Official Address: School of Mathematics, Tata Institute of Fundamental Research, 1 Homi Bhabha Road, Colaba, Mumbai 400005, India Email: [email protected], [email protected] Phone: (+91) 2222782218 Current position: Reader at Tata Institute of Fundamental Research, India since July 2019. ACADEMIC INFORMATION: 1. 2004-2007 : Bachelor of Science (Mathematics (Honours), Physics, and Computer Science) from University of Calcutta, India with First Class; degree awarded on 23rd July, 2007. 2. 2007-2009 : Master of Science (Pure Mathematics) from University of Calcutta, India with First Class; degree awarded on 15th September, 2009. 3. 2009-2010 : Ph.D. coursework in Mathematics at Ramakrishna Mission Vivekananda University, India with 8.75 grade points out of 10 (Grade Sheet issued on 27th May, 2010). 4. 2010-2011 : ‘Master mention Mathématiques et Informatique’ (Masters in Mathematics and Informatics) from Université Paris 13, France with 15.18 grade points out of 20 with mention ‘Bien’; degree awarded on 2nd December, 2011. 5. 2012-2015 : Ph.D. in Mathematics with special distinction from Jacobs University Bremen, Germany; degree awarded on 20th August, 2015. 6. 2015-2019: Lecturer in Institute for Mathematical Sciences, Stony Brook University, USA. Ph.D. thesis: Title: Antiholomorphic dynamics: topology of parameter spaces, and discontinuity of straightening. Ph.D. adviser: Dierk Schleicher, Jacobs University, Bremen, Germany. Jury: John Hamal Hubbard (Cornell University), Alan Huckleberry (Ruhr-Universität Bochum/Jacobs University), Hiroyuki Inou (Kyoto University), Keivan Mallahi-Karai (Jacobs University), John Milnor (Stony Brook University), Dierk Schleicher (Jacobs University).
    [Show full text]
  • WLU Table 2021
    1000 WLU Matrix. 2021 World Leading Universities positions by the TOP and Rank groups TOP Country University Rank group 50 Australia Australian National University World Best 50 Australia University of Melbourne World Best 50 Australia University of Queensland World Best 50 Australia University of Sydney World Best 50 Canada McGill University World Best 50 Canada University of British Columbia World Best 50 Canada University of Toronto World Best 50 China Peking University World Best 50 China Tsinghua University World Best 50 Denmark University of Copenhagen World Best 50 Germany Heidelberg University World Best 50 Germany Ludwig-Maximilians University of Munich World Best 50 Germany Technical University Munich World Best 50 Hong Kong University of Hong Kong World Best 50 Japan Kyoto University World Best 50 Japan University of Tokyo World Best 50 Singapore National University of Singapore World Best 50 Switzerland EPFL Swiss Federal Institute of Technology Lausanne World Best 50 Switzerland ETH Zürich-Swiss Federal Institute of Technology Zurich World Best 50 Switzerland University of Zurich World Best 50 United Kingdom Imperial College London World Best 50 United Kingdom King's College London World Best 50 United Kingdom University College London World Best 50 United Kingdom University of Cambridge World Best 50 United Kingdom University of Edinburgh World Best 50 United Kingdom University of Manchester World Best 50 United Kingdom University of Oxford World Best 50 USA California Institute of Technology Caltech World Best 50 USA Carnegie
    [Show full text]
  • More Information Here: Welcome to Jacobs 3
    INCOMING STUDENT HANDBOOK Follow us on: More information here: www.jacobs-university.de Welcome to Jacobs 3 Your Status at Jacobs 4 Study Abroad Checklist 5 Arrival, Visa and Insurance 6 Campus Life 10 Academic Life 13 Financial Information 15 WELCOME TO JACOBS! Your International Office Team Yuliya Salauyova International Office Coordinator Academic Operations | International Programs Jacobs University Bremen gGmbH Campus Ring 1 | 28759 Bremen | Germany Office: Reimar Lüst Hall, 289 Bronwyn Farr Study Abroad Advisor Academic Operations | International Programs Jacobs University Bremen gGmbH Campus Ring 1 | 28759 Bremen | Germany Office: Reimar Lüst Hall, 289 Lynn Shiyayo Likhanga Student Assistant International Office Office: Reimar Lüst Hall, 289 International Office Contact Information: Jacobs University Bremen gGmbH Campus Ring 1 | 28759 Bremen | Germany International Office +49 421 200 4315/4307 [email protected] 3 YOUR STATUS AT JACOBS In order for you to know your student status at Jacobs University we have compiled the following definitions: Visiting Students as Free Movers If your home university or college does not have an exchange agreement with Jacobs University, you will be studying at Jacobs University as a visiting student. Visiting Students (from a partner university) If you are from a university or college that has signed a visiting agreement with Jacobs University, you will be studying at Jacobs University as a visiting student (contact your International Office for further details). Exchange Students (from a partner university) If your home university or college has an exchange agreement with Jacobs University, you will be studying at Jacobs University as an exchange student (contact your International Office for further details).
    [Show full text]
  • Towards Flexiformal Mathematics By
    Towards Flexiformal Mathematics by Mihnea Iancu A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science Approved Dissertation Committee Prof. Dr. Michael Kohlhase Jacobs University Bremen, Germany Prof. Dr. Herbert Jaeger Jacobs University Bremen, Germany Prof. Dr. William M. Farmer McMaster University, Canada Priv.-Doz. Dr. Florian Rabe Jacobs University Bremen, Germany Date of defense: Jan 5, 2017 Computer Science & Electrical Engineering Statutory Declaration (Declaration on Authorship of a Dissertation) I, Mihnea Iancu, hereby declare, under penalty of perjury, that I am aware of the consequences of a deliberately or negligently wrongly submitted affidavit, in particular the punitive provisions of x156 and x161 of the Criminal Code (up to 1 year imprisonment or a fine at delivering a negligent or 3 years or a fine at a knowingly false affidavit). Furthermore I declare that I have written this PhD thesis independently, unless where clearly stated otherwise. I have used only the sources, the data and the support that I have clearly mentioned. This PhD thesis has not been submitted for the conferral of a degree elsewhere. Place Date Signature ii Parts of this thesis are based on or closely related to previously published material or material that is prepared for publication at the time of this writing. These are [IKR], [IK15b], [IK15a], [KI14], [IKP14], [IJKW14], [GIJ+16], [IKRU13] and [IKR11]. Parts of this work are collaborations with other researchers: For Part I with Michael Kohlhase, for Part II with Michael Kohlhase and Florian Rabe and for Part III with Constantin Jucovschi, Michael Kohlhase, Enxhell Luzhnica, Akbar Oripov, Corneliu Prodescu, Florian Rabe and Tom Wiesing.
    [Show full text]