Our goal is to help people construct software that does what they wish. We develop tools and algorithms that span static and dynamic verification, constraint solving, and program synthesis. I will outline the current state our verification and synthesis sy ...
The growing complexity of signal processing algorithms and platforms poses significant challenges to design methods and implementation tools. High-level dataflow programs, such as those in MPEG's RVC-CAL language, provide abstraction and the opportunity fo ...
The rational synthesis of novel materials requires the control over the arrangement of matter in order to meet the desired properties for applications and devices. Ultimately, control means to define the place of each atom and determine its chemical state, ...
An approach to the synthesis of polyhydroxyazepane derivatives from sugar-based epoxyamides or epoxyalcohols, in which the total regioselective epoxide opening by nitrogen nucleophiles is the key step, is described. Thus, novel polyhydroxyazepane carboxami ...
Due to the spongistatins' fascinating and complex molecular architectures, and their important biological activities, these marine macrolides have been the subject of intensive efforts directed towards their total synthesis. As an attractive alternative to ...
Polypropionates are common products of metabolism in bacteria, insects, fungi and marine organisms. They constitute an important class of products with a wide range of interesting biological activities. Our group has shown previously that 1-alkoxy-3-acylox ...
Diluted magnetic semiconductors (DMS), semiconductors in which a fraction of non-magnetic sites have been replaced with their magnetic counterparts, have been in the limelight of the scientific community since the turn of the 21st century. The interest in ...
Three-dimensional stacking of silicon layers is emerging as a promising solution to handle the design complexity and heterogeneity of Systems on Chips (SoCs). Networks on Chips (NoCs) are necessary to efficiently handle the 3D interconnect complexity. Desi ...
The ketonitrone 8 was prepared from D-fructose as an inexpensive starting material, and was used in a stereoselective synthesis of 1-deoxymannojirimycin (4), its previously unknown N-hydroxy analogue 15, as well as the polyhydroxylated ketonitrone 14. The ...
The cyclosporins comprise a family of cyclic 11-peptides containing seven N-methylated, hydrophobic amino acids. Cyclosporine A (CsA) representing the major member of this family is widely used as immunosuppressive agent in organ transplantations. The biol ...
