Development of Organocatalytic stereoselective SN1 type reactions

The proposal in my thesis has been the study of Stereoselective α-alkylation through SN1 type reaction. SN1 type reaction involves a stabilized and reactive carbocation intermediate By taking advantages of stability of particular carbocations, the use of carbocations in selective reactions has been important. In this work has been necessary to know the stability and reactivity of carbocations. And the work of Mayr group has helped to rationalize the behaviour and reactivity between the carbocations and nucleophiles by the use of Mayr’s scale of reactivity. The use of alcohols to performed the stable and reactive carbocations have been the key in my thesis. The direct nucleophilic substitution of alcohols has been a crucial scope in the field of organic synthesis, because offer a wide range of intermediates for the synthesis of natural products and pharmaceutics synthesis. In particular the catalytic nucleophilic direct substitution of alcohols represents a novel methodology for the preparation of a variety of derivatives, and water only as the sub-product in the reaction. The stereochemical control of the transformation C-H bond into stereogenic C-C bond adjacent to carbonyl functionalized has been studied for asymmetric catalysis. And the field of organocatalysis has introduced the use of small organic molecule as catalyst for stereoselective transformations. Merging these two concepts Organocatalysis and Mayr’s scale, my thesis has developed a new approach for the α-alkylation of aldehydes and ketones through SN1 type reaction.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Stereoselective Catalytic Processes for the Synthesis of Polycyclic Aromatic Compounds

In this PhD-thesis, two methodologies for enantioselective intramolecular ring closing reaction on indole cores are presented. The first methodology represents a highly stereoselective alkylation of the indole N1-nitrogen, leading to 3,4-dihydro-pyrazinoindol-1-ones – a structural class which is known for its activity on the CNS and therefore of high pharmacological interest concerning related diseases. In this approach, N-benzyl cinchona-alkaloids were used for the efficient catalysis of intramolecular aza-Michael reactions. Furthermore, computational studies in collaboration with the research group Prof. Andrea Bottoni (Department of Chemistry “G. Ciamician”, Bologna) were accomplished in order to get insight into the key interactions between catalyst and substrate, leading to enantiomeric excesses up to 91%. The results of the calculations on a model system are in accordance with the experimental results and demonstrate the high sensibility of the system towards structural modifications. The second project deals with a metal catalyzed, intramolecular Friedel-Crafts (FC)-reaction on indolyl substrates, carrying a side chain which on its behalf is furnished with an allylic alcohol unit. Allylic alcohols are part of the structural class of “π-activated alcohols” – alcohols, which are more easily activated due to the proximity to a π-unit (allyl-, propargyl-, benzyl-). The enantioselective intramolecular cyclization event is catalyzed efficiently by employment of a chiral Au(I)-catalyst, leading to 1-vinyl- or 4-vinyl-tetrahydrocarbazoles (THCs) under the formation of water as byproduct. This striking and novel process concerning the direct activation of alcohols in catalytic FC-reactions was subsequently extended to similar precursors, leading to functionalized tetrahydro-β-carbolines. These two methodologies represent highly efficient approaches towards the synthesis of scaffolds, which are of enormous pharmaceutical interest and amplify the spectra of enantioselective catalytic functionalisations of indoles.

Stereoselective synthesis of heterocycles as intermediates of biologically active compounds

The aim of this thesis was to investigate the synthesis of enantiomerically enriched heterocycles and dehydro-β-amino acid derivatives which can be used as scaffolds or intermediates of biologically active compounds, in particular as novel αvβ3 and α5β1 integrin ligands. The starting materials of all the compounds here synthesized are alkylideneacetoacetates. Alkylidene derivates are very usefull compounds, they are usually used as unsaturated electrophiles and they have the advantage of introducing different kind of functionality that may be further elaborated. In chapter 1, regio- and stereoselective allylic amination of pure carbonates is presented. The reaction proceeds via uncatalyzed or palladium-catalyzed conditions and affords enantiopure dehydro-β-amino esters that are useful precursor of biologically active compounds. Chapter 2 illustrates the synthesis of substituted isoxazolidines and isoxazolines via Michael addition followed by intramolecular hemiketalisation. The investigation on the effect of the Lewis acid catalysis on the regioselectivity of the addition it also reported. Isoxazolidines and isoxazolines are interesting heterocyclic compounds that may be regarded as unusual constrained -amino acids or as furanose mimetics. The synthesis of unusual cyclic amino acids precursors, that may be envisaged as proline analogues, as scaffolds for the design of bioactive peptidomimetics is presented in chapter 3. The synthesis of 2-substituted-3,4-dehydropyrrole derivatives starting from allylic carbonates via a two step allylic amination/ring closing metathesis (RCM) protocol is carried out. The reaction was optimized by testing different Grubbs’ catalysts and carbamate nitrogen protecting groups. Moreover, in view of a future application of these dehydro-β-amino acids as central core of peptidomimetics , the malonate chain was also used to protect nitrogen prior to RCM. Finally, chapter 4 presents the synthesis of two novel different classes of integrin antagonists, one derived from dehydro-β-amino acid prepared as described in chapter 1 and the other one has isoxazolidines synthesized in chapter 2 as rigid constrained core. Since that these compounds are promising RGD mimetics for αvβ3 and α5β1 integrins, they have been submitted to biological assay. and to interpret on a molecular basis their different affinities for the αvβ3 receptor, docking studies were performed using Glide program.

Nuovi processi catalitici per la sintesi di prodotti ad attività farmacologica

The transition metal-catalyzed allylic alkylation (Tsuji-Trost type reaction) is a powerful tool for C-C, C-N, and C-O bond formation, which has been widely applied to organic chemistry over the last decades. Typical substrates for this transformation are activated allylic compounds such as halides, esters, carbonates, carbamates, phosphates, and so on. However, use of these substrates is associated with the disadvantage of generating a stoichiometric amount of chemical waste. Furthermore, these starting materials have to be prepared in an extra step from the corresponding allylic alcohol. Thus, ideal substrates would be the allylic alcohols themselves, with water being the only byproduct in this case. However, the scarse propensity of the hydroxyl moiety to act as good leaving group has significantly limited their use so far. During the last decade significant efforts have been made in order to develop more atom-economical and environmentally-friendly allylic alkylation protocols by employing allylic alcohols directly. In this PhD dissertation two main projects addressing this topic are presented. “Project 1” deals with the development of new metal-catalyzed intramolecular Friedel-Crafts (FC) allylic alkylations of electron-rich (PAPER A), as well as challenging electron-poor arenes (PAPER B) with alcohols. In “Project 2”, gold(I)-catalyzed intramolecular and stereoselective allylic alkylation reactions are reported. In particular, a FC alkylation of indole-containing allylic alcohols is presented in PAPER C. While, an O-alkylation of aminol-containing allylic alcohols is reported in PAPER D. To the best of knowledge, these reports represent the first example of gold(I)-catalyzed stereoselective alkylations with alcohols.

Catalytic processes for the transformation of ethanol into acetonitrile

This thesis deals with the transformation of ethanol into acetonitrile. Two approaches are investigated: (a) the ammoxidation of ethanol to acetonitrile and (b) the amination of ethanol to acetonitrile. The reaction of ethanol ammoxidation to acetonitrile has been studied using several catalytic systems, such as vanadyl pyrophosphate, supported vanadium oxide, multimetal molibdates and antimonates. The main conclusions are: (I) The surface acidity must be very low, because acidity catalyzes several undesired reactions, such as the formation of ethylene, and of heavy compounds as well. (II) Supported vanadium oxide is the catalyst showing the best catalytic behaviour, but the role of the support is of crucial importance. (III) Both metal molybdates and antimonates show interesting catalytic behaviour, but are poorly active, and probably require harder conditions than those used with the V oxide-based catalysts. (IV) One key point in the reaction network is the rate of reaction between acetaldehyde (the first intermediate) and ammonia, compared to the parallel rates of acetaldehyde transformation into by-products (CO, CO2, HCN, heavy compounds). Concerning the non-oxidative process, two possible strategies are investigated: (a) the ethanol ammonolysis to ethylamine coupled with ethylamine dehydrogenation, and (b) the direct non-reductive amination of ethanol to acetonitrile. Despite the good results obtained in each single step, the former reaction does not lead to good results in terms of yield to acetonitrile. The direct amination can be catalyzed with good acetonitrile yield over catalyst based on supported metal oxides. Strategies aimed at limiting catalyst deactivation have also been investigated.

Technological trajectories and environmental policy: the transformation of the automobile

This thesis aims to fill the gap in the literature by examining the relationship between technological trajectories and environmental policy in the automotive industry, focusing on the role of environmental policies in unlocking the industry from fossil fuel path-dependence. It first explores the inducement mechanism that underpins the interaction between environmental policy and green technological advances, investigating under what conditions the European environmental transport policy portfolio and the intrinsic characteristics of assignees' knowledge boost worldwide green patent production. Subsequently, the thesis empirically analyses the dynamics of technological knowledge involved in technological trajectories assessing evolution patterns such as variation, selection and retention, in order to study the impact of policy implementation on technological knowledge related to electric and hybrid vehicle technologies. Finally, the thesis sheds light on the drivers that encourage a shift from incumbent internal combustion engine technologies towards low-emission vehicle technologies. This analysis tests whether tax-inclusive fuel prices and technological proximity between technological fields induce a shift from non-environmental inventions to environmentally friendly inventive activities and if they impact the competition between alternative vehicle technologies. The findings provide insights into the effectiveness of environmental policy in triggering inventive activities related to the development of alternative vehicle technologies. In addition, there is evidence that environmental policy redirects technological efforts towards a sustainable path and impacts the competition between low-emission vehicles.