جست‌وجوی استاد و پژوهشگر

Magdalena Skowyraمشاهده پروفایل

استادیار

• Polymer Material Engineering
• Fluorescence Microscopy
• Radiation Processing
• +۷ مورد دیگر

Magdalena Skowyra is an Assistant Professor in the Department of Chemical and Biochemical Engineering at the Technical University of Denmark (DTU), affiliated with The Danish Polymer Centre. Her research is centered on advanced polymer materials with applications in energy, environmental sustainability, and smart materials. Her research interests include polymer material engineering, fluorescence microscopy, radiation processing, dielectric elastomer actuators, and sustainable solutions for oil well abandonment. She works on functional polymers that respond to stimuli such as radiation and electrical fields, with a focus on real-world engineering applications. The recent publications highlight her work in two main directions: (1) development of environmentally friendly thermosetting resins for temporary and permanent plugging of oil wells, emphasizing pumpability, durability, and low environmental impact; and (2) design and fabrication of fiber-format dielectric elastomer actuators for soft robotics and artificial muscles. A significant earlier contribution involves radiofluorogenic polymers for visualizing electron beam penetration depth in radiation processing, combining materials science with radiation physics. No scientific awards or honors are mentioned in the provided text. She actively collaborates with PhD students and senior researchers, particularly within the group led by Professor Anne Ladegaard Skov. While no formal advisees are listed, she has supervised research activities and contributed to PhD projects. Her work is supported by institutional and possibly national research funding, as evidenced by her completed PhD project on radiochromic and radiofluorogenic materials. Magdalena Skowyra is a key contributor to the Danish Polymer Centre at DTU, where her research integrates materials synthesis, characterization, and application-driven engineering. Her team focuses on translating polymer innovations into scalable, sustainable technologies for industrial and environmental challenges.

Bernard Paul Henrissatمشاهده پروفایل

استاد

• Enzyme Biochemistry
• Polysaccharide Structure and Function
• Glycan Analysis
• +۳ مورد دیگر

Bernard Paul Henrissat is a Professor at the Department of Biotechnology and Biomedicine , Technical University of Denmark. He is affiliated with the Section for Protein Chemistry and Enzyme Technology and works on enzyme discovery. His ORCID is 0000-0002-3434-8588, and he can be reached at behen@dtu.dk. Research Interests: Henrissat's work focuses on enzyme biochemistry, polysaccharide structure and function, glycan analysis, glycoside hydrolases, comparative genomics, and carbohydrate active enzymes (CAZy). He investigates fungal and bacterial enzyme systems involved in polysaccharide degradation, with applications in marine biotechnology, biomass conversion, and microbiome research. Projects: He supervises multiple PhD projects including Bioinformatics of the Glycosylation Machinery of Archaea , Dissecting Dietary Glycan Recognition Across the Microbiome , and Novel Functionalities of Carbohydrate Processing Enzymes . These projects span from 2021 to 2027 with international collaborations. Publications: Henrissat has published extensively on enzyme discovery, including recent 2025 papers on Sordariomycetes fungi biotechnology, metagenomic cellulose conversion, bacterial polysaccharide lyases, CAZy database tools, and Aspergillus nidulans comparative genomics.

Zachary Tatlockمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Compiler Optimization
• +۵ مورد دیگر

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington. He leads the UW PLSE research group and focuses on making programming languages and compilers more accessible through formal verification and practical tool development. Current affiliations: University of Washington (Paul G. Allen School) Academic rank: Associate Professor His research spans programming languages, compiler optimization, and formal verification, with recent work on: E-Graphs and equality saturation for program synthesis Floating-point error analysis and accuracy optimization Accessible web layout verification using formal logic Hardware-software co-design for compiler generation His recent publications demonstrate expertise in both theoretical foundations (congruence closure proofs, anti-unification) and practical implementations (Odyssey tool for FP rewriting, Titanic framework for number systems analysis). Collaborations span institutions like Adobe and involve rigorous formal verification in Coq and CakeML.

Aalok Thakkarمشاهده پروفایل

استادیار

• Programming Languages
• Formal Logic
• Artificial Intelligence
• +۳ مورد دیگر

Aalok Thakkar is an Assistant Professor in the Department of Computer Science at Ashoka University, specializing in Programming Languages , Formal Logic , and Artificial Intelligence . He earned his Ph.D. in 2023 from the University of Pennsylvania , advised by Rajeev Alur and Mayur Naik. His research focuses on example-guided synthesis of relational queries , with applications in program verification, automated reasoning, and AI. Recent work includes the Mobius framework (OOPSLA 2023) and Relational Query Synthesis ⋈ Decision Tree Learning (VLDB 2023). Published in npj Digital Medicine (2021) on pandemic risk modeling Contributed to Natural Computing (2020) on Boolean network concurrency Workshop papers on synthesis algorithm complexity (SYNT 2022) and reactive systems (SYNT 2020) He was previously affiliated with Adobe Systems, Aptos Labs, Amazon AWS, and Bell Labs. Awards include the Alt Carbon Darjeeling Revival Fellowship . Teaching includes courses on Symbolic Logic , Rust programming , and Games on Graphs . He will host an IndiCS Seminar on Automated Synthesis in 2025.

• Magnetic Resonance Imaging (MRI)
• Molecular Biology
• Neurology
• +۷ مورد دیگر

Shaokuan Zheng is an Assistant Professor at the T.H. Chan School of Medicine, UMass Chan Medical School, with a focus on Radiology. His research integrates Magnetic Resonance Imaging (MRI) , molecular biology , and nanoparticle technology to advance diagnostic and therapeutic imaging applications. PhD in Physical Chemistry from Xiamen University MS in Radio Physics, Xiamen University Zheng’s research spans neurology , genetic mutations in hydrocephalus , nanoparticle applications , and behavioral correlates of disease . His recent publications highlight work on MRI in multiple sclerosis , genetic causes of hydrocephalus , and real-time gene therapy tracking . Key research domains include: Medical Imaging: MRI, functional imaging, and contrast agent development. Molecular Biology: Genetic mutations, STAT3-sensors, and cellular mechanisms. Neuroscience: Hydrocephalus, atherosclerosis, and brain-behavior interactions. Nanotechnology: Polymer nanogels, lipopeptide nanoparticles, and targeted delivery. His work has been cited in prestigious journals, with collaborations in neurology , oncology , and biomedical engineering . Zheng’s publications emphasize translational studies bridging human and animal models with applications in diagnostics and therapeutics .

Henning A. Höppeمشاهده پروفایل

استاد

• Solid State Chemistry
• Materials Science
• Inorganic Chemistry
• +۹ مورد دیگر

Prof. Dr. Henning A. Höppe serves as Professor of Solid State Chemistry and Materials Science at the University of Augsburg, where he leads the Chair of Solid-state Chemistry within the Institute of Physics, Faculty of Mathematics, Natural Sciences and Technology. His research focuses on the synthesis and characterization of novel inorganic materials with applications in luminescence, catalysis, and energy conversion technologies. Dr. Höppe was born in 1972 in Nuremberg. He completed his Chemistry Diploma at the University of Bayreuth (1993-1998), including an ERASMUS study period at the University of Bristol in 1997. He earned his doctorate at Ludwig Maximilian University of Munich under Prof. Dr. Wolfgang Schnick (1999-2003), followed by a postdoctoral position at the University of Oxford with Prof. Malcolm LH Green FRS (2003-2004). From 2004 to 2010, he led a junior research group at Albert Ludwig University of Freiburg before joining the University of Augsburg in 2010. Prof. Höppe's research centers on silicate-analogous compounds, particularly borosulfates, borophosphates, and fluorooxoborates. His work explores structure-property relationships of ionic inorganic solid-state compounds, with emphasis on optical properties (luminescence, absorption, non-linear optical behavior), luminescent host compounds doped with rare earth elements, solid-state acids for heterogeneous catalysis, and precursor compounds. A key aspect involves synthesis of phase-pure samples, single crystal growth, and structural elucidation using X-ray diffraction. His investigations span classical fluorescent materials, antenna phosphors, quantum splitter phosphors, and weakly coordinating host structures for various applications. Analysis of his recent publications reveals a consistent research trajectory focused on novel borosulfate compounds, tungstates, and rare earth-doped materials. His work demonstrates expertise in synthesizing complex inorganic frameworks and understanding how structural features influence functional properties, with particular relevance to lighting and display technologies. His scientific achievements have been recognized with several prestigious awards: Postdoctoral scholarship from the German Academic Exchange Service DAAD (2003-2004) Liebig Habilitation Scholarship from the Chemical Industry Fund (FCI) (April 2006 to September 2010) Eugen Graetz Prize 2006 Prof. Höppe has supervised numerous doctoral students including Dr. Matthias Hämmer (2022), Dr. Philip Netzsch (2021), and Dr. Stephan Jantz (2019), along with many master's and bachelor's students. His current research group includes doctoral students Vivien Wessels, Erich Turgunbayev, Martina Mikuta, Gwendolyn Buchner, Martin Schäfer, and Peter Gross. The group maintains active research in solid-state chemistry with projects focusing on development of new materials with tailored optical and structural properties. The Höppe Working Group operates well-equipped laboratories for solid-state synthesis, featuring facilities for classical solid-state reactions (up to approximately 2000 °C), solvothermal syntheses, and reactions in aqueous and non-aqueous solvents including ionic liquids. The group possesses advanced characterization capabilities for powder and single crystal diffraction, infrared spectrometry, UV-vis spectrometry, fluorescence spectrometry, and thermal analysis, enabling comprehensive materials investigation.

• Digital Manufacturing
• Dry Construction
• Energy Retrofit
• +۴ مورد دیگر

Luca Caneparo is an Associate Professor at the Department of Architecture and Design (DAD), Politecnico di Torino, with research activities spanning digital manufacturing, energy retrofit, and sustainable construction. He serves on the Scientific Committee of the Journal of Urban Technology and has been Director of the LAQ-TIP laboratory. Research interests include: Semantic design (AI), metamaterials, dry construction, estate regeneration ERC sectors: PE8_3 (Civil Engineering), SH5_8 (Cultural Heritage), SH2_6 (Sustainability Sciences) His recent work focuses on 20th-century architectural heritage preservation, energy-efficient residential buildings, and computational design methodologies. Publications analyze digital fabrication, building matrix design for decarbonization, and climate action policies in mountainous regions. Scientific awards include the Canada-Italy Innovation Award (2014) and long-term committee roles in eCAADe (2000-2010) and CAAD Futures (2000-2010). Current projects address MetabiCase (2024-2027) for bistable metamaterials in modular platforms and NODES (2022-2025) for digital innovation in sustainable mountain development. He supervises PhD students in architectural history, design, and environmental engineering.

• Automated Reasoning
• Software Verification
• Concurrency
• +۳ مورد دیگر

Azadeh Farzan is a Professor and Vice Chair in the Department of Computer Science at the University of Toronto, specializing in automated reasoning and software verification. She leads research in concurrency, program synthesis, and probabilistic systems with significant contributions to formal methods. Her research interests focus on automated verification of concurrent programs , where she develops novel techniques for detecting data races, proving termination, and synthesizing correct-by-construction code. Key areas include commutativity-based reasoning, hypersafety properties, and probabilistic program analysis, addressing challenges in scalability and modularity for real-world systems. Farzan has received the 2023 Amazon Research Award for her work on data race detection predictability. She serves on prestigious conference committees including CAV (2025 Area Chair) and POPL (2025 Program Committee), having previously chaired CAV 2016 and POPL 2021. She advises doctoral students such as Victor Nicolet and Emanuele D’Osualdo, with research funded through collaborations like the Amazon Scholars program. Her work bridges theoretical foundations and practical tools for software reliability, impacting both academia and industry.

Akito van Troyerمشاهده پروفایل

دانشیار

• Music Technology
• Interactive Media Design
• Sound Synthesis
• +۴ مورد دیگر

Akito van Troyer is an Associate Professor of Electronic Production and Design at Berklee College of Music , with expertise in music technology , interactive media design , sound synthesis , and machine learning in musical applications . He holds a Ph.D. in Media Arts and Sciences from MIT (2018), an M.S. in Media Arts and Sciences from MIT (2012), an M.S. in Music Technology from Georgia Institute of Technology (2010), and a B.A. in Interdisciplinary Studies for Multimedia from the University of Hawaii (2008). Research Focus His work bridges technology, art, and AI to develop creative tools and immersive experiences. Research themes include auditory sensory augmentation , generative audiovisual systems , and collaborative digital performance . He has pioneered interactive musical instruments and AI-driven sound processing . Publications & Trends Award-winning publications span human-computer interaction (CHI 2023), novel electronic instruments (NIME 2017), and creative algorithmic systems (Computer Music Journal 2011). Subfields include GAN-based sound synthesis , physical computing for music , and networked performance environments . Honors & Collaborations Bill Mitchell Design Award (2017) People’s Choice Award at Guthman Competition (2017) ACM Best Artwork Award (2011) His collaborative projects demonstrate interdisciplinary integration of technology, art, and AI , often pushing boundaries in musical interaction and sensory design .

• Software Verification
• Formal Methods
• Trustworthy AI Systems
• +۱۲ مورد دیگر

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, part of the College of Engineering. His research focuses on bridging theoretical logic with practical software systems, particularly in verification, trustworthy AI, and program synthesis. Research Interests: Software verification and formal methods Interpretable, Robust, and Trustworthy AI systems Program synthesis and machine learning Security and privacy Logic and automata theory Verified distributed systems (e.g., blockchains, smart contracts) Learning logical concepts from data His recent work emphasizes building correct-by-design systems, especially those incorporating AI/ML, and developing automated techniques for proving program correctness. He has developed influential tools such as VCDryad, Dryad, Strand, JIST, and Getafix. His publications span top venues like POPL, PLDI, CAV, and OOPSLA, with a strong trend toward integrating machine learning with formal reasoning, verifying ML systems, and synthesizing programs from specifications. Scientific Service: PC Member: POPL 2025, PLDI 2024, FSTTCS 2023, CONCUR 2023, OOPSLA 2022, CAV 2016, ICALP 2016 PC Chair: CAV 2012 ERC Member: PLDI 2017, POPL 2017 Co-chair: SYNT 2015 He actively mentors PhD students and postdoctoral researchers, with former advisees now at institutions like Purdue University, Google, and UT Austin. He has taught advanced courses such as CS521: Trustworthy AI Systems and CS474: Logic in Computer Science . His work is supported by collaborations across institutions, including the ExCAPE project with Illinois and UCLA.

• Program Analysis
• Software Verification
• Debugging
• +۱۳ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor in the Department of Artificial Intelligence at the Technical University of Madrid (UPM). He is the founding Scientific Director of IMDEA Software and leads the CLIP Lab, a joint research unit between UPM and IMDEA Software focused on computational logic, programming languages, and parallelism. His career spans leadership in national research policy, academic positions in Spain and the U.S., and extensive international collaboration. PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) His research centers on global program analysis, verification, debugging, and optimization for functional and non-functional properties such as time, memory, and energy. He has pioneered work in abstract interpretation, partial evaluation, constraint and logic programming, parallelizing compilers, and computational logic. His methodologies support the development of safe, efficient, and reliable software systems. The integration of static and dynamic analysis, resource-aware compilation, and assertion-based debugging are recurring themes in his work. His recent publications emphasize incremental and modular analysis, assertion checking, energy-aware computing, and verification via Horn clauses. Trends show a strong focus on making static analysis more practical, scalable, and integrated into real-world development workflows, particularly for logic and declarative languages. He frequently publishes in top venues such as TPLP, SCP, TOPLAS, and POPL. ACM Fellow Julio Rey Pastor Prize (2006) Aritmel Prize (2005) Elected member, Academia Europaea (2010) Test of Time Award, ICLP 2017 Best Paper Awards at ICSOC 2011 and ICLP 2005 Fulbright-Hays Scholarship Hermenegildo has supervised numerous PhD students and postdocs, many of whom are now leading researchers. He has been principal investigator in over 50 research projects funded by the EU, Spanish government, NSF, and industry partners. His leadership extends to national research policy, where he directed Spain’s National Research Directorate and launched the Ramón y Cajal fellowship program. He has served on tenure and evaluation committees for institutions worldwide and is active in shaping research agendas through roles in Informatics Europe and EIT Digital. He leads the CLIP Lab, which develops advanced program analysis tools and systems such as the Ciao programming environment, CiaoPP static analyzer, and LPdoc documentation generator. The lab fosters collaboration across academia and industry, focusing on next-generation program development tools, verification, and resource-aware computing.

• Concurrency and Parallelism
• Quantum Computing
• Self-adjusting computation
• +۴ مورد دیگر

Umut A. Acar is a Professor at the Department of Computer Science, Carnegie Mellon University, and an Amazon Scholar. His research bridges formal methods, systems, algorithms, and AI, focusing on concurrency, quantum computing, self-adjusting computation, and dynamic algorithms. 2025: Promoted to Full Professor 2025: PC Chair for SPAA 2025 His research group includes current PhD students like Pengyu Liu, Colin McDonald, and Mingkuan Xu (jointly advised with Zhihao Jia). Alumni include notable researchers like Sam Westrick (now at NYU) and Stefan Muller (now at IIT Chicago). Recent publications span quantum computing (e.g., Atlas for GPU-based simulation, GraFeyn for sparse circuits), parallel functional programming (e.g., Quartz, DePa), and self-adjusting computation (e.g., dynamic trees, mesh refinement). Key themes: Bridging safety and performance in parallel systems Quantum circuit optimization and simulation Incremental algorithms for dynamic data Provenance tracking in functional programs Scientific awards include: Best paper (QCE 2024) Distinguished paper (POPL 2024, ICFP 2022, POPL 2021) Intel Award (2022), JP Morgan Chase AI Award (2021) ACM SIGPLAN Research Highlight (2019) CMU Teaching Innovation Award (2019) He has supervised numerous projects (Diderot, MPL, Quartz) and advised students on PhD theses in parallel and quantum computing. His work emphasizes practical implementations of theoretical principles.

• Biomedical Engineering
• Polymer Science
• Materials Science
• +۵ مورد دیگر

Molla Islam is an Assistant Professor in the Department of Biological Sciences at Schmid College of Science and Technology, Chapman University. His research focuses on the structure-property relationships of polymeric materials for biomedical applications, particularly designing micro/nanogels with controlled shape, size, and chemical/physical properties for drug delivery and sensing. Education: B.Sc. in Biological Sciences from Shahjalal University of Science and Technology M.Sc. in Biotechnology from Shahjalal University of Science and Technology Ph.D. in Materials Science from Carleton University Islam's work explores responsive polymeric systems for healthcare, emphasizing stimuli-sensitive materials and their applications in biosensing. His publications highlight advancements in nanogel synthesis, deswelling dynamics, and optical sensing devices. Key themes in his research include: Development of thermoresponsive and pH-sensitive micro/nanogels Photothermally driven optical property changes Structured materials for biosensing (DNA, RNA, proteins) Defect tolerance in microgel assemblies

• Paediatrics
• Child Health Policy
• Public Health
• +۵ مورد دیگر

Terence Stephenson serves as Nuffield Professor of Child Health at University College London's Institute of Child Health, holding appointments in the Population, Policy & Practice Department. He co-directs the nationally funded Children’s Policy Research Unit and maintains honorary consultant roles at UCL Hospital and Great Ormond Street Hospital London. His research spans paediatrics, child health policy, and epidemiology , with recent emphasis on Long COVID in children, diabetes management, and healthcare systems. Current projects include the 24-month CLoCk cohort study tracking post-COVID effects in youth, alongside investigations into cognitive impairment following Omicron infection and mental health interventions for children with epilepsy. Analysis of his 15 most recent publications reveals dominant themes in post-viral syndromes (73%), healthcare equity (47%), and methodological innovation (33%), with 60% focused specifically on pediatric Long COVID. His work consistently bridges clinical practice, policy development, and population health, evidenced by high-impact publications in journals like Nature Communications and The Lancet . Knight Bachelor (2018 New Year Honours) Honorary Fellow of 11 medical colleges/academies globally Honorary Professorships at Nottingham (2015) and Hong Kong (2018) As former Chair of the UK General Medical Council (2015-2018) and current Chair of England's Health Research Authority, Stephenson shapes national research ethics frameworks. His £13 million in competitive grants across 46 projects supports training for numerous researchers, though specific students aren't publicly listed. He leads initiatives like the PC-COS Children Delphi consensus establishing standardized outcome measures for pediatric Long COVID research. Stephenson directs UCL's collaboration with the Children’s Policy Research Unit, where his team develops evidence-based frameworks influencing UK child health policy. Current work focuses on mapping post-COVID services nationally and addressing equity gaps in clinical trial inclusion for children.

Jakub Gołębiewskiمشاهده پروفایل

استادیار

• Interior Architecture
• Historic Preservation
• Sustainable Urban Design
• +۳ مورد دیگر

Jakub Gołębiewski serves as an Assistant Professor at the Department of Interior Architecture within the Faculty of Architecture at West Pomeranian University of Technology, Szczecin. Holding a Doctor of Engineering in Architecture (Dr. Eng. Arch.), he actively contributes to both academic research and practical design projects. His recent high-impact work includes the comprehensive interior redevelopment of the University's historic Rector's Office complex at Piastów Avenue 17, where he led spatial, visual, and functional integration across multiple buildings including a protected 1903 monument. His research spans interior architecture, urban design, and climate change adaptation with particular emphasis on historic preservation and sustainable innovation. Gołębiewski specializes in integrating conservation principles with contemporary design solutions, as demonstrated in his restoration of polychrome woodcarvings and ceiling moldings in Szczecin's historic structures. His work increasingly addresses emerging challenges through concepts like floating cities, water-sensitive urban design, and eco-reactive architecture, bridging theoretical exploration with practical implementation in waterfront regeneration projects. Analysis of his 15 most recent publications (2016-2024) reveals an evolving research trajectory from medieval urban studies toward cutting-edge climate adaptation strategies. Key thematic clusters include: Historic preservation techniques applied to Pomeranian cultural heritage Innovative waterfront regeneration models for climate-vulnerable zones Eco-sensitive architectural systems integrating renewable energy Parametric design approaches for sustainable urban infrastructure His work consistently demonstrates the synthesis of historical context with forward-looking environmental solutions, particularly in riverine urban settings like Szczecin's Międzyodrze Island.