Adsorption Calorimetry for Energy Conversion Technologies: Applications in Organic Photovoltaics, Catalysis, and Atomic Layer Deposition

Thesis (Ph.D.)--University of Washington, 2016-07

The Effect of Water Consumption on Schoolchildren's Fine Motor Skills, Cognitive Function and Mood

Previous research has suggested that dehydration may have a negative effect on some aspects of mood, cognitive performance and motor skills (Benton, 2011). Furthermore, a large proportion of children arrive at school in a dehydrated state (Baron, Courbebaisse, Lepicard, & Friedlander, 2015). The present work investigated whether supplementing children with water may, as a consequence of reducing dehydration, improve their cognitive performance and motor skills. In studies 1, 2, 3 and 5, it was found that tasks that predominantly tested motor skills, were improved in children who had a drink, compared to those who did not. Furthermore, study 3 showed that this effect was moderated by hydration status. One theoretical explanation for the poorer performance of dehydrated children is that they may lack the neurological resources to sustain their effort and thus performance does not improve over time. In support of this, these studies showed that, when re-hydrated, performance on these tasks improves to the level of non-dehydrated children. Study 2 showed that the number of errors increased in a StopSignal task in children that had high self-rated levels of thirst, compared to low levels: and hydration status did not moderate this effect. A possible explanation for the increased number of errors in children with high self-rated thirst is that the thirst sensation diverts attention away from the task, causing task performance to deteriorate. In study 4, it was observed that there was a large variation in intra-individual and inter-individual hydration scores throughout the day, which was not related to volume drank or levels of thirst. Further studies should use imaging techniques to study brain activity during dehydration and rehydration, and during periods of high thirst, to help to further elucidate the mechanism underlying the negative effect of dehydration on motor performance, and the effect of self-rated thirst on attention.

Self-Harm in Secondary Schools: What are the Perceptions and Experiences of Staff ?

The purpose of this study is to explore the perceptions and experiences of secondary school staff with regard to adolescent self-harm. The research was conducted in a Local Authority where there were particular concerns about rising numbers of young people presenting with self-harm. While the majority of young people who self-harm are supported in the community and never access clinical services, surprisingly little research has considered the role of schools and their staff. The research that has been done suggests that school staff can feel underqualified and overwhelmed in their attempts to support young people who self-harm. Further, there is a growing evidence base that when young people experience negative attitudes towards self-harm it is distressing and reduces the chance of them seeking further help. To address this, qualitative exploratory research was conducted with thirteen members of staff working in secondary schools. Since the research was concerned not just with experiences, but also with perceptions of adolescent self-harm, the participants were from two groups: those with direct experience of supporting young people who have self-harmed and those without any direct experience. Data collection involved individual semi-structured interviews which were analysed using thematic analysis. The research indicated that secondary school staff are keen to help and understand young people who self-harm, but that they do not always feel skilled or confident enough to do so, often feeling that some kind of specialist is required and/or fearing that they might make a situation worse. Findings highlighted the emotional impact of this work and illustrated the importance of supporting staff, who expressed a desire for further training and other forms of professional support such as supervision.

Using Action Research to Develop My Solution-Focused Practice in Collaboration with Year 6 And 7 Pupils When Discussing Their Behavioural Self-Regulation at School

This action research study aimed to develop the researcher's use of solutionfocused techniques when working with Year 6 and 7 pupils’ self-regulation. A systematic literature review highlighted an evidence base that demonstrated the efficacy of solution-focused methods when working with this population. The researcher’s intention was to add to the body of Educational Psychology practice-based evidence in this area. The researcher recruited eight participants from primary and secondary school provisions. Solution-focused techniques were systematically trialled in partnership with the pupils and were modified through an action research cycle. Semistructured interviewing provided participants the opportunity to critically evaluate the researcher’s solution-focused practice. Thematic Analysis was used to assess feedback in order to adapt the delivery of solution-focused techniques. Developments to practice explored within this study included modifications to the use of the six core components of Solution Focused Brief Therapy. Adaptations have the potential to inform the use of these solution-focused approaches with other educational practitioners.

The Effect of Mark Enhancement Techniques on the Subsequent Detection of Saliva

There appears to be a limited but growing body of research on the sequential analysis/treatment of multiple types of evidence. The development of an integrated forensic approach is necessary to maximise evidence recovery and to ensure that a particular treatment is not detrimental to other types of evidence. This study aims to assess the effect of latent and blood mark enhancement techniques (e.g. fluorescence, ninhydrin, acid violet 17, black iron-oxide powder suspension) on the subsequent detection of saliva. Saliva detection was performed by means of a presumptive test (Phadebas®) in addition to analysis by a rapid stain identification (RSID) kit test and confirmatory DNA testing. Additional variables included a saliva depletion series and a number of different substrates with varying porosities as well as different ageing periods. Examination and photography under white light and fluorescence was carried out prior to and after chemical enhancement All enhancement techniques (except Bluestar® Forensic Magnum luminol) employed in this study resulted in an improved visualisation of the saliva stains, although the inherent fluorescence of saliva was sometimes blocked after chemical treatment. The use of protein stains was, in general, detrimental to the detection of saliva. Positive results were less pronounced after the use of black iron-oxide powder suspension, cyanoacrylate fuming followed by BY40 and ninhydrin when compared to the respective positive controls. The application of Bluestar® Forensic Magnum luminol and black magnetic powder proved to be the least detrimental, with no significant difference between the test results and the positive controls. The use of non-destructive fluorescence examination provided good visualisation; however, only the first few marks in the depletion were observed. Of the samples selected for DNA analysis only depletion 1 samples contained sufficient DNA quantity for further processing using standard methodology. The 28 day delay between sample deposition and collection resulted in a 5-fold reduction in the amount of useable DNA. When sufficient DNA quantities were recovered, enhancement techniques did not have a detrimental effect on the ability to generate DNA profiles. This study aims to contribute to a strategy for maximising evidence recovery and efficiency for the detection of latent marks and saliva. The results demonstrate that most of the enhancement techniques employed in this study were not detrimental to the subsequent detection of saliva by means of presumptive, confirmative and DNA tests.

Dynamic self-regulating prosthesis in inguinal hernia repair

Inguinal hernia repair is one of the most common surgical procedure performed in Western countries and it consumes a lot of healthcare resources. Several types of different mesh are now disposable and tension-free techniques represent the “golden standard”. In our study, fifty male patients were operated on for inguinal hernia and a PAD (i.e., dynamic self-regulating prosthesis) used for the repair of the inguinal defect: this technique demonstrated to be safe, effective and easy to perform.

The use of motivational interviews by nurses to promote health behaviors in adolescents: a scoping review protocol

Adolescents - defined as young people between 10 and 19 years of age1 - are, in general, a relatively healthy segment of the population.2 However, the developmental changes that take place during adolescence may affect their subsequent risk for diseases and for a variety of health-related behaviors. In fact, early onset of preventable health problems (e.g. obesity, malnutrition, STDs) and the engagement in health risk behaviors (e.g., sedentary life style, excessive alcohol consumption, unprotected sex) during adolescence, are likely to put them at greater risk for physical and mental health problems at a later stage in life. Moreover, health related problems and health risk behaviors may disrupt adolescents' physical and cognitive development and therefore may affect their ability to think and act in relation to decisions about their health in the future.1 In summary, health-related behaviors in adolescence, apart from their influence on the continuum of "health-disease", they also have the potential to influence future behaviors. In fact, several studies have shown that past behaviors are good predictors of future behaviors .3,4 Thus, promoting healthy practices during adolescence and taking measures to better protect young people from health risks are essential for the prevention of health problems in adulthood.5 According to the World Health Organization, the main problems affecting young people include mental health problems (such as behavioral disorders, eating disorders, suicide, anxiety or depression), the use of substances (illegal substances, alcohol and tobacco), interpersonal violence, nutrition (a proper nutrition consists of healthy eating habits and physical exercise), unintentional injuries (which are a leading cause of death and disability among young people, with road traffic injuries accounting for about 700 deaths per day), sexual and reproductive health (for example, risky sexual behaviors, early pregnancy and childbirth) and HIV (resulting from sexual transmission and drug injection).5,6 On the other hand, the number of children and youth with chronic health conditions has increased dramatically in the past four decades7 as larger numbers of chronically ill children survive beyond the age of 10.8 Despite the lack of data on adolescents' health making it difficult to determine the prevalence of chronic illnesses in this age group9, it is known that one in ten adolescents suffers from a chronic condition worldwide.10 In fact, national population based studies from Western countries show that 20-30% of teenagers have a chronic illness, defined as one that lasts longer than six months.8 The most prevalent chronic illness among adolescents is asthma and the one with the highest incidence is diabetes mellitus, particularly type II.9 Traditionally, healthcare professionals have been mainly investing in health education activities, through the transmission of knowledge with a view to creating habits, customs and behaviors, and promoting healthy lifestyles. However, empowering people does not only consist of giving them the right information11 , i.e. good information is not enough to cause people to make changes.12 The motivation or desire to change unhealthy behaviors and habits depends on many factors, namely intrinsic motivation, control over personal decisions, self-confidence and perception of effectiveness, personal ambivalence, and individualized assistance.12 Many professionals assume that supplying knowledge is sufficient for behavioral changes; however, even very good advice often fails to generate behavioral change. After all, people continue to engage in unhealthy behaviors despite clearly knowing what they should do and how to change. "What is lacking is the motivation to apply that knowledge".13, p.1233 In fact, behavioral change is a complex phenomenon with multiple determinants that also includes motivational variables. It is associated with ambivalent processes expressed in the dilemma between keeping the current status and moving on to new ways of acting. For example, telling adolescents that if they keep on engaging in a certain behavior, they are increasing the risk of developing a long-term condition such as cardiovascular disease, stroke or diabetes is rarely enough to trigger the desired behavioral change; people are more likely to change when they believe that the change is really effective and that they are able to implement it.12 Therefore, it is essential to provide specific training for "healthcare professionals to master motivational techniques, avoid confrontation with the users, and facilitate behavioral changes".14 In this context, motivating patients to make behavioral changes is also an important nursing task where change in lifestyle is a major element of patients' treatment and preventive interventions.15 One of the nurse's goals is to help improve a patient's health or help them to manage existing health conditions. Once nurses are in a position where they have to focus on accomplishing tasks and telling patients what needs to be accomplished16, the role of the nurse is expanding even more into the use of motivational strategies.17 MI is bringing nurses back to therapeutic communication and moving them closer to successful health promotion and disease management, by promoting behavior change and empowering their patients. As the nursing profession evolves, MI is seen as a challenge and the basis of nurse's interactions with individuals, families and communities.16, 17 In the same way, MI may be taken as an essential tool in the provision of nursing care to adolescents, being itself a workspace with possible therapeutic effects regarding problems, clarification of doubts, and development of skills.18 In fact, MI may be particularly applicable in work with adolescents because of their specific developmental stage. Adolescents attempt to establish their own autonomy and identity while struggling with social interactions and moral issues, which leads to ambivalence.19 Consistent with the developmental challenges during adolescence, "MI explicitly honors autonomy, people's right and irrevocable ability to decide about their own behavior"20 while allowing the person to explore possibilities for change of risky or maladaptive behaviours.19 MI can be defined as a directive, client-centred counselling style for eliciting behavior change by helping clients to explore and resolve ambivalence. It is most centrally defined not by technique but by its spirit as a facilitative style of interpersonal relationship.21 It is a set of strategies and techniques widely used in clinical practice based on the transtheoretical model of change. The Stages of Change model describes five stages of readiness—precontemplation, contemplation, preparation, action, and maintenance—and provides a framework for understanding behavior change.22 The MI has been widely tested and applied in different areas, such as modification of addictive behaviors, interventions with offenders in the context of justice, eating disorders, promotion of therapeutic adherence among chronic patients, promotion of learning in school settings or intervention with adolescents at risk.18,23 In general, clinical practice has been adopting the perspective of motivation as something relatively immutable, i.e., the adolescent is either motivated for change/treatment and, in these conditions, the professional's role is to help him/her, or the adolescent is not motivated and then change/treatment is not feasible. Alternatively the theoretical model underlying the MI technique postulates that the individual's adherence to change/treatment depends on his/her motivation, which can change throughout the therapeutic intervention. As several studies found positive results for effects of MI24-26 and its use by health professionals is encouraged23,27 nurses may play an important role in patients' process of change. As nurses have a crucial role in clinical contexts, they can facilitate the process of ending risk behaviors and/or adopting positive health behaviors through some motivational techniques, namely with adolescents. A considerable number of systematic reviews about MI already exist pointing to some benefits of its use in the treatment of a broad range of behavioral problems and diseases.13,28,29 Some of the current reviews focus on examining the effectiveness of MI for adolescents with diverse health risks/problems 30-32. However, to date there are no reviews that present and assess the evidence for the use of nurse-led MI in adolescents. Therefore, we have little knowledge of what works for whom (which adolescent subpopulation) under what circumstances (in which setting, for what problem) in relation to motivational interviewing by nurses. There is a clear need for scoping or mapping the use of MI by nurses with adolescents to identify evidence gaps and to inform opportunities for future development in nursing practice. On the other hand, information regarding nurse-led implemented and evaluated interventions, techniques and/or strategies used, contexts of application and adolescents subpopulation groups is dispersed in the literature33-36 which impedes the formulation of precise questions about the effectiveness of those interventions conducted by nurses and therefore the realization of a systematic review. In other words, it is known that different kind of motivational interventions have been implemented in different contexts by nurses, however does not exist a map about all the motivational techniques and/or strategies used. Furthermore the literature does not clarify which is the role of nurses at cross professional motivational intervention implemented programs and finally the outcomes and evaluation of interventions are unclear. Thus, the practical implication of this mapping will be clarifying all these aspects. Without this clarification is not possible to proceed to the realization of a systematic review about the effectiveness of the use of motivational interviews by nurses to promote health behaviors in adolescents, in a particular context and/or health risk behavior; or regarding the effectiveness of certain technique and/or strategy of MI. Consequently, there are important questions about the nature of the evidence in this area that need to be answered before formulating a precise question of effectiveness. This scoping review aims to respond to these questions. An initial search of the JBI Database of Systematic Reviews & Implementation Reports, Cochrane Database of Systematic Reviews, , Database of promoting health effectiveness reviews (DoPHER), The Campbell Library, Medline and CINAHL, has revealed that currently there is no Scoping Review (published or in progress) on the subject. In this context, this scoping review will examine and map the published and unpublished research around the use of MI by nurses implemented and evaluated to promote health behaviors in adolescents; to establish its current extent, range and nature and identify its feasibility, outcomes and gaps in the evidence defining research priorities in this field. This scoping review will be informed by the JBI methodology37 that suggests a five stage methodological framework for conducting scoping reviews which includes: identifying the research question, searching for relevant studies, selecting studies, charting data, collating, summarizing and reporting the results.

Using Surface Spectroscopy to Help Interpret STM Images of Chemisorbed Molecules: Application to the Study of the Hydrogenation of Ketones and a-Ketoesters on Pt

Depuis que la haute énantiopureté est nécessaire dans l’industrie pharmaceutique, les études visant à découvrir les mécanismes pour l’hydrogénation énantiosélective de cétones ou céto-esters sur les surfaces, et à rechercher de nouveaux et plus performants catalyseurs asymétriques, sont d’une grande importance. La microscopie à effet tunnel (STM), la spectroscopie infrarouge de réflexion-absorption, la spectroscopie de désorption à température programmée et la spectrométrie de photoélectrons induits par rayons X sont des méthodes performantes facilitant la compréhension des mécanismes de réaction. En plus de nous permettre de comprendre les mécanismes réactionnels, les études peuvent fournir des informations sur la dynamique des réactions en catalyse hétérogène ainsi que sur le développement de la théorie de la fonctionnelle de la densité (DFT) afin de calculer des interactions faibles dans les processus de surface. D’autres parts, les calculs DFT fournissent une aide essentielle à l’interprétation des données de STM et spectroscopie de surface. Dans cette thèse, certains cétones et céto-esters sur la surface de platine sont étudiées par les techniques sophistiquées mentionnées ci-dessus. Mes études démontrent que la combinaison de l’utilisation de la spectroscopie de routine, des nanotechnologies et de nombreux calculs élaborés, est une méthode efficace pour étudier les réactions à la surface car ces techniques explorent les différents aspects de la surface ainsi que s’entraident mutuellement lors de certaines interprétations.

Self-Assembled InAs/GaAs Quantum Dot Solar Cells

Our work focuses on experimental and theoretical studies aimed at establishing a fundamental understanding of the principal electrical and optical processes governing the operation of quantum dot solar cells (QDSC) and their feasibility for the realization of intermediate band solar cell (IBSC). Uniform performance QD solar cells with high conversion efficiency have been fabricated using carefully calibrated process recipes as the basis of all reliable experimental characterization. The origin for the enhancement of the short circuit current density (Jsc) in QD solar cells was carefully investigated. External quantum efficiency (EQE) measurements were performed as a measure of the below bandgap distribution of transition states. In this work, we found that the incorporation of self-assembled quantum dots (QDs) interrupts the lattice periodicity and introduce a greatly broadened tailing density of states extending from the bandedge towards mid-gap. A below-bandgap density of states (DOS) model with an extended Urbach tail has been developed. In particular, the below-bandgap photocurrent generation has been attributed to transitions via confined energy states and background continuum tailing states. Photoluminescence measurement is used to measure the energy level of the lowest available state and the coupling effect between QD states and background tailing states because it results from a non-equilibrium process. A basic I-V measurement reveals a degradation of the open circuit voltage (Voc) of QD solar cells, which is related to a one sub-bandgap photon absorption process followed by a direct collection of the generated carriers by the external circuit. We have proposed a modified Shockley-Queisser (SQ) model that predicts the degradation of Voc compared with a reference bulk device. Whenever an energy state within the forbidden gap can facilitate additional absorption, it can facilitate recombination as well. If the recombination is non-radiative, it is detrimental to solar cell performance. We have also investigated the QD trapping effects as deep level energy states. Without an efficient carrier extraction pathway, the QDs can indeed function as mobile carriers traps. Since hole energy levels are mostly connected with hole collection under room temperature, the trapping effect is more severe for electrons. We have tried to electron-dope the QDs to exert a repulsive Coulomb force to help improve the carrier collection efficiency. We have experimentally observed a 30% improvement of Jsc for 4e/dot devices compared with 0e/dot devices. Electron-doping helps with better carrier collection efficiency, however, we have also measured a smaller transition probability from valance band to QD states as a direct manifestation of the Pauli Exclusion Principle. The non-linear performance is of particular interest. With the availability of laser with on-resonance and off-resonance excitation energy, we have explored the photocurrent enhancement by a sequential two-photon absorption (2PA) process via the intermediate states. For the first time, we are able to distinguish the nonlinearity effect by 1PA and 2PA process. The observed 2PA current under off-resonant and on-resonant excitation comes from a two-step transition via the tailing states instead of the QD states. However, given the existence of an extended Urbach tail and the small number of photons available for the intermediate states to conduction band transition, the experimental results suggest that with the current material system, the intensity requirement for an observable enhancement of photocurrent via a 2PA process is much higher than what is available from concentrated sun light. In order to realize the IBSC model, a matching transition strength needs to be achieved between valance band to QD states and QD states to conduction band. However, we have experimentally shown that only a negligible amount of signal can be observed at cryogenic temperature via the transition from QD states to conduction band under a broadband IR source excitation. Based on the understanding we have achieved, we found that the existence of the extended tailing density of states together with the large mismatch of the transition strength from VB to QD and from QD to CB, has systematically put into question the feasibility of the IBSC model with QDs.

WORKPLACE HAPPINESS: ORGANIZATIONAL ROLE AND THE RELIABILITY OF SELF-REPORTING

Happier employees are more productive. Organizations across industry, no doubt, try to improve their employees’ happiness with the objective to achieve higher profitability and company value. While this issue has drawn increasing attention in high tech and other industries, little is known about the happiness of project management professionals. More research is needed to explore the current situation of workplace happiness of project management professionals and the driving factors behind it. This thesis explores the workplace happiness (subjective well-being) of project management professionals based on the exploratory statistical analysis of a survey 225 professionals in the state of Maryland, conducted in October 2014. The thesis applies Structural Equation Modeling and multiple regression analysis to the dataset and shows no significant impact of gender, age, work experience, and some other demographic traits on workplace happiness, also named well-being. Statistically significant factors for workplace happiness include: creating pleasant work environment, promoting open organization and well-managed team, and good organization to work for. With respect to the reliability of self-reporting, the study finds that the comprehensive appraisal tool designed by Happiness Works and New Economics Foundation can give a more reliable happiness evaluation. Two key factors, i.e. career perspectives and free to be self, can help alleviate the overconfidence of workplace happiness.

Every picture tells a story: using selfie-inspired activities to enhance social relations and encourage self-reflexivity.

This chapter explores the results of a study in Thailand that capitalised on the popularity of the selfie, providing second-year English language students with an opportunity to practise their oral presentation and speaking skills. The selfie was used not in the usual sense of online picture-sharing, but as a visual aid in a face-to-face interaction, thus serving as a “currency for social interaction” (van Dijck 2008, p.62) and communication device (Saltz, 2014). Mining the rich insights gained from the Thai study, this chapter presents another selfie-inspired activity adapted for a different context and purpose at a UK university. Initially designed to facilitate recall of students’ names linked with faces, the initiative evolved into an effective conversation starter. It is suggested that both selfie-inspired initiatives have led to serendipitous results, such as encouraging self-reflexivity among the students and promoting the development of “rapid intimacy” in the classroom (Victoria 2011, p.72). Indeed, creating a space for students to share their personal stories and enact different identities can help enrich the learning and teaching experience. This chapter also demonstrates how aspects of visual methodologies can be employed as a resource for theorising visual data, such as the selfie, for classroom application.

O! She doth teach the torches to burn bright: How JULIET can help authors and repository advocates.

JULIET is a service provided by SHERPA. Its mission is to provide a brief summary of each funding agency’s policy on self-archiving of the published research they have funded. Each entry covers the requirements and details: -Whether archiving is mandatory or encouraged, -What should be deposited -Within what time frame this deposit should take place -Where articles should be deposited -Any conditions attached to this deposit. JULIET interacts with other services such as RoMEO, which listed publisher policies on self-archiving. JULIET is being developed to include funding agency’s policies on open access to data.

Validation of the Flexibility of Responses to Self-Critical Thoughts Scale (FoReST) in a clinical population

Background: The Flexibility of Responses to Self-Critical Thoughts Scale (FoReST) is a questionnaire that was developed to assess whether people can be psychologically flexible when experiencing critical thoughts about themselves. This measure could have important application for evaluating third wave therapies such as Acceptance and Commitment Therapy (ACT) and Compassion Focused therapy (CFT). This study investigated the validity (concurrent, predictive and incremental), internal consistency and factor structure of the FoReST in a sample of people experiencing mental health difficulties. Method: A total of 132 individuals attending Primary Care and Community Mental Health Teams within NHS Greater Glasgow and Clyde (NHS GGC) and Psychological Therapy Teams within NHS Lanarkshire participated in this study. Participants completed a battery of assessments that included the FoReST and related measures of similar constructs (psychological flexibility, self-compassion and self-criticism) and measures of mental health and well-being. A cross-sectional correlational design was used. Results: An Exploratory factor analysis described an interpretable 2-factor structure within the items of the FoReST: unworkable action and experiential avoidance. The FoReST demonstrated good internal consistency ( = .89). Concurrent validity was supported through moderate to strong correlations with similar measures and moderate correlations with other mental health and well-being outcomes. Conclusions: The FoReST appears to be a valid assessment measure for using with individuals experiencing mental health difficulties. This new measure will be of use for practitioners using ACT, CFT and those integrating both, to help monitor the process of change in flexibility and self-critical thinking across therapy. Further longitudinal studies are required to assess the test-retest reliability of the FoReST.

Self-regulated learning in computer programming : strategies students adopted during an assignment

The SimProgramming teaching approach has the goal to help students overcome their learning difficulties in the transition from entry-level to advanced computer programming and prepare them for real-world labour environments, adopting learning strategies. It immerses learners in a businesslike learning environment, where students develop a problem-based learning activity with a specific set of tasks, one of which is filling weekly individual forms. We conducted thematic analysis of 401 weekly forms, to identify the students’ strategies for self-regulation of learning during assignment. The students are adopting different strategies in each phase of the approach. The early phases are devoted to organization and planning, later phases focus on applying theoretical knowledge and hands-on programming. Based on the results, we recommend the development of educational practices to help students conduct self-reflection of their performance during tasks.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.