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

Lam Jamesمشاهده پروفایل

استاد

• Networked control systems
• Vibration control
• Control theory
• +۷ مورد دیگر

Lam James is a Chair Professor of Control Engineering at the University of Hong Kong (HKU), affiliated with the Faculty of Engineering. He holds a BSc (1st Hons.) in Mechanical Engineering from the University of Manchester, and MPhil/PhD degrees from the University of Cambridge. His academic journey includes roles as a Croucher Fellow, Lecturer at the University of Melbourne, and faculty member at City University of Hong Kong before joining HKU in 1993. Professor Lam serves as Editor-in-Chief for four international journals including IET Control Theory and Applications and Journal of The Franklin Institute . His research focuses on networked control systems, vibration control, control theory, and multi-agent systems. With 600+ peer-reviewed publications, he maintains an H-index of 102 (Web of Science) and 108 (Scopus), recognized as a Highly Cited Researcher in multiple fields. Education: BSc Manchester (Mechanical Engineering), MPhil/PhD Cambridge Editorial Roles: 20+ journals, including leadership roles since 2012 His awards include Foreign Membership of Academia Europaea (2024), National Academy of Artificial Intelligence membership (2025), and two State Natural Science Awards (2015, 2019). He is a Fellow of multiple institutions including IEEE, IMechE, and HKIE.

Wolfgang Kunzمشاهده پروفایل

استاد

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

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

استاد

• Electron Microscopy
• Materials Science
• Crystallography
• +۳ مورد دیگر

Professor Paul Midgley is a leading academic in Materials Science at the University of Cambridge's Department of Materials Science and Metallurgy, serving as Professor since 2007 and Head of Department from 2018–2020. He is a Fellow of Peterhouse College and holds multiple prestigious awards, including the Royal Society Fellowship and the Ernst Ruska Prize. Education: PhD in Physics (University of Bristol, 1991), MSc (Distinction) in Semiconductor Materials (1988), BSc (Hons) Physics (1987). Administration: Director of the Wolfson Electron Microscopy Suite, and active on various University committees including Research, Teaching, and REF. His research focuses on advanced electron microscopy techniques such as convergent beam diffraction, electron tomography, and nanostructure analysis, with applications in nanoscale materials science and 3D reconstruction using compressed sensing. He has pioneered methods like precession electron diffraction and multi-dimensional electron microscopy, contributing to fields like plasmonic nanoparticles and catalytic materials. Key Research Themes: Electron crystallography, nanomaterial characterization, energy materials, and defect analysis in perovskites. Midgley has delivered over 20 invited/plenary lectures globally, including at EUROMAT, the Welch Symposium, and the John Cowley Memorial Lecture. His grant income exceeds £16M as Principal Investigator. Labs/Teams: Leads the Wolfson Electron Microscopy Suite and collaborates internationally on microscopy advancements and materials innovation.

Alan Bovikمشاهده پروفایل

استاد

• Image quality
• Video compression
• Streaming video
• +۷ مورد دیگر

Alan Bovik is the Cockrell Family Regents Endowed Chair Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin's Cockrell School of Engineering. He also holds positions at The Institute for Neurosciences and serves as Director of the Laboratory for Image and Video Engineering (LIVE). With a career spanning over three decades at UT Austin, he has progressed from Assistant Professor (1984-1988) to Associate Professor (1988-1994) to his current position as Full Professor (1994-present). Dr. Bovik received his Ph.D. in Electrical and Computer Engineering in 1984 from the University of Illinois, Urbana-Champaign. Professor Bovik's research focuses on image and video quality assessment, visual perception, and digital media processing. He is renowned for developing groundbreaking algorithms including the Structural Similarity (SSIM) index, Visual Information Fidelity (VIF), and various blind quality assessment models like BRISQUE and NIQE. His work bridges engineering and neuroscience, creating perception-based models that optimize visual media delivery while reducing bandwidth consumption. These innovations have had profound industry impact, with his algorithms processing a significant proportion of global internet video traffic. His recent publications demonstrate continued leadership in perceptual quality assessment, with increasing focus on AI-generated content, high dynamic range (HDR) video, and novel applications in medical imaging. The research shows a clear trajectory toward more sophisticated, neural network-based quality metrics that better align with human visual perception across diverse content types. Professor Bovik has received numerous prestigious awards recognizing his contributions to the field: John Fritz Medal (2024) IEEE Edison Medal (2022) IAMB BaM Award (2022) Elected to the United States National Academy of Engineering (2022) Technology and Engineering Emmy Award (2021) IEEE Fourier Award for Signal Processing (2019) Progress Medal from The Royal Photographic Society (2019) Named Honorary Fellow of The Royal Photographic Society (2019) Primetime Emmy Award (2015) Edwin H. Land Medal from The Optical Society (2017) As Director of the Laboratory for Image and Video Engineering (LIVE), Professor Bovik has secured substantial research funding from organizations including the National Science Foundation and the National Institute for Standards and Technologies. His lab has produced numerous influential datasets including the LIVE Image and Video Quality Databases. He has mentored many successful students who have gone on to make significant contributions in academia and industry, though specific student names are not provided in the source materials. The Laboratory for Image and Video Engineering (LIVE) under Professor Bovik's direction has become a world-renowned center for research in perceptual image and video quality. The lab maintains close collaborations with major technology companies including Netflix, Amazon, and YouTube, ensuring that research has direct practical applications. LIVE has developed numerous influential tools and databases that are widely used in both academic research and industrial applications worldwide.

Jean-Pierre Gattusoمشاهده پروفایل

استاد پژوهشی

• Ocean Acidification
• Marine Ecosystems
• Climate Change Mitigation
• +۳ مورد دیگر

Jean-Pierre Gattuso is a CNRS Research Professor at the Laboratoire d'Océanographie de Villefranche (Sorbonne University) and Associate Scientist at the Institute for Sustainable Development and International Relations (IDDRI-SciencesPo, Paris). His research focuses on the impacts of ocean acidification and warming on marine ecosystems, as well as ocean-based solutions to climate change mitigation and adaptation. Current Roles : CNRS Research Professor, Associate Scientist at IDDRI-SciencesPo Past Positions : Research Professor at Shantou University (2006–2009), Visiting Scientist at Rutgers University and NCAR (2004–2005), Group Leader at Laboratoire d'Océanographie de Villefranche (1998–2004), and others. His research interests span ocean acidification , carbon and carbonate cycling , climate change impacts on marine ecosystems , and ocean-based mitigation strategies . He co-edited the first book on ocean acidification and contributed to IPCC AR5 and AR6 reports. Recent publications highlight his work on ocean alkalinity enhancement , CO2 sequestration , and climate policy integration . He has developed tools like FOCE systems for in situ ocean acidification experiments and standardized ocean carbonate chemistry analysis. Scientific Awards : Ruth Patrick Award (2020), Blaise Pascal Medal (2014), Vladimir Vernadsky Medal (2012), and others. Academic Memberships : Foreign member of the Chinese Academy of Sciences, elected member of the European Academy of Sciences, Academia Europaea, and founder of the European Geosciences Union. Gattuso has led the Ocean Acidification International Coordination Centre at the International Atomic Energy Agency and will co-chair the 2025 One Ocean Science Congress.

Thierry Langerمشاهده پروفایل

استاد

• Computer-Aided Molecular Design
• Pharmacophore Modeling
• Drug Discovery
• +۷ مورد دیگر

Professor Thierry Langer is a Full Professor of Pharmaceutical Chemistry at the University of Vienna’s Faculty of Life Sciences (Department of Pharmaceutical Sciences). He leads research in computational drug design, with a focus on pharmacophore modeling, 3D-QSAR analysis, and AI-driven molecular design. His work bridges theoretical and experimental chemistry, addressing targets like viral proteases (e.g., SARS-CoV-2), GABA receptors, and dopamine transporters. Research interests include: Pharmacophore-guided drug discovery for anti-viral and CNS therapies Development of next-generation computational tools (e.g., PharmacoMatch, QPhAR) Protein-ligand interaction modeling using neural networks and graph-based algorithms Recent studies focus on: Inhibitors for herpesvirus nuclear egress complexes, AI-optimized antivirals, and dopamine transporter inhibitors for cognitive enhancement. His lab collaborates on projects like the NeuroDeRisk initiative to de-risk neurotoxic compounds. Publications emphasize drug repurposing, metabolic pathway analysis, and scalable synthesis methods for promising drug candidates.

Giovanni De Micheliمشاهده پروفایل

استاد

• Computer Architecture
• Electrical Engineering
• Integrated Systems
• +۵ مورد دیگر

Giovanni De Micheli is a Professor of Electrical Engineering and Computer Science at EPF Lausanne, Switzerland. He also serves as Director of the Integrated Systems Centre and the Institute of Electrical Engineering at EPFL, and chairs the Scientific Committee of CSEM in Neuchatel. Previously, he held academic roles at Stanford University for 18 years, including Full Professor, Associate Professor, and Assistant Professor in the Department of Electrical Engineering. His research spans synthesis of digital circuits, hardware/software co-design, low-power design, and Networks on Chip (NoC) technology. 2003: IEEE Emanuel Piore Award 2000: Golden Jubilee Medal of the IEEE CAS Society 2000: ACM Fellow 1994: IEEE Fellow 1990: IEEE/CS Distinguished Service Award 1988: NSF Presidential Young Investigator Award His seminal contributions include pioneering C-based synthesis and Boolean matching algorithms for digital circuits, foundational work in dynamic power management using stochastic control, and the development of Network-on-Chip (NoC) technology. His publications, such as "Networks on Chips: A New SoC Paradigm" and "Dynamic Power Management for Portable Systems" , have shaped modern SoC design practices. With over 400 technical articles, 9 books, and an H-index of 56, his work remains highly influential.

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design automation (EDA)
• +۵ مورد دیگر

Georges Gielen is Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven, Belgium, and part-time Research Director at imec. He has held multiple leadership roles including Chair of ESAT Department (2012-2013, 2020-2024) and Vice-Rector for Science, Engineering & Technology (2013-2017). His academic career spans over 30 years at KU Leuven, progressing from Assistant to Full Professor. His research focuses on analog and mixed-signal integrated circuit design automation , with expertise in CAD tools, design optimization, sensor interfaces, and neuromorphic systems. His work bridges hardware design with machine learning, particularly in hardware-efficient AI implementations and biomedical applications. He has pioneered techniques for automated analog circuit sizing, topology synthesis, and reliability-aware design in nanometer CMOS. Gielen has received numerous accolades including the IEEE CAS Mac Van Valkenburg Award (2015), IEEE CAS Charles Desoer Award (2020), and EDAA Achievement Award (2021). He holds an ERC Advanced Grant AnalogCreate and is an IEEE Fellow since 2002. As a prolific scholar, he has chaired major conferences including DATE (2006), ICCAD (2007), and ESSCIRC (2017). He has graduated over 55 PhD students through the MICAS research group at KU Leuven, currently supervising 13 doctoral candidates. His research team collaborates extensively with imec and industry partners on cutting-edge projects in carbon-aware AI accelerators, uncertainty-aware design, and neuromorphic sensor interfaces.

• Antenna Design
• Microwave Engineering
• Dielectric Materials
• +۲ مورد دیگر

Wolfgang Bösch is a Professor at Graz University of Technology's Institute of Microwave and Photonic Engineering, specializing in advanced RF components and measurement techniques. His research advances high-frequency systems through innovations in antenna technology and electromagnetic theory. Research domains include: metamaterial-based antennas, precision measurement calibration, microwave filter optimization, and 3D-printed RF components. Recent work demonstrates strong focus on millimeter-wave systems and reconfigurable antenna arrays. Publications highlight expertise in: machine learning for filter design, metasurface applications, PCB transitions for high-frequency systems, and uncertainty quantification in RF engineering. Research consistently addresses miniaturization and performance optimization challenges. Awards recognize contributions to measurement science and antenna design: Fellow of IET, Houska Prize, and best paper awards. Current laboratories investigate liquid crystal antenna systems and error calibration methodologies for next-generation wireless systems.

Sylvain Lefebvreمشاهده پروفایل

پژوهشگر

• Computer Graphics
• Texture Synthesis
• Additive Manufacturing
• +۴ مورد دیگر

Sylvain Lefebvre is a permanent researcher at INRIA (Institut National de Recherche en Informatique et en Automatique) in France, where he leads the MFX research team since 2018. Previously, he was part of the ALICE group at INRIA Nancy (2009-2018) and the REVES team in Sophia Antipolis (2006-2009). His career includes a postdoctoral position at Microsoft Research Seattle (2005) following his PhD at INRIA Rhones-Alpes under Fabrice Neyret. His educational background includes a PhD in Computer Graphics from Université Joseph Fourier (Grenoble) in 2005, preceded by a Master in Computer Graphics from INP Grenoble in 2001. His habilitation thesis focused on Runtime Texture Synthesis. Lefebvre's research centers on simplifying content creation for highly detailed patterns, structures, and shapes with applications spanning Computer Graphics to additive manufacturing. He develops fast, controllable by-example synthesis approaches that generate content while enforcing user-specified constraints. His work addresses computational challenges through novel data structures and algorithms optimized for GPUs and FPGAs, including his Silice programming language. The ERC-funded ShapeForge project (2012-2017) advanced shape generation for 3D printing, leading to the IceSL software for digital modeling and fabrication. Analysis of his 15 most recent publications reveals a strong focus on additive manufacturing optimization, with recurring themes in structural integrity, material efficiency, and geometric algorithms. His work bridges computer graphics theory with practical fabrication constraints, particularly in microstructure design, slicing techniques, and mechanical metamaterials. The interdisciplinary nature spans computer science, materials engineering, and robotics. EUROGRAPHICS Young Researcher Award (2010) ERC Starting Grant for ShapeForge project (2012) Lefebvre has advised over 25 PhD students and interns including Marco Freire, Thibault Tricard, and Jimmy Etienne. His ShapeForge project received significant ERC funding, supporting research in computational fabrication. He serves on numerous program committees including SIGGRAPH, Eurographics, and SIGGRAPH Asia, reflecting his leadership in the computer graphics community. As leader of the MFX team since 2018, Lefebvre directs research in computational fabrication, focusing on IceSL software development for 3D printing workflows. The team integrates computer graphics techniques with manufacturing constraints, developing tools that simplify complex object design and fabrication while addressing real-world challenges in material usage and structural integrity.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +۵ مورد دیگر

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

• Formal Methods
• Software Verification
• Concurrent Systems
• +۶ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

• Audiovisual Media
• Image Processing
• Immersive Multimedia Communication
• +۱۳ مورد دیگر

Christian Timmerer is a Professor at the Institute of Information Technology, Alpen-Adria-Universität Klagenfurt. His research focuses on adaptive video streaming , energy efficiency , MPEG standardization , and quality of experience (QoE) , with significant contributions to HTTP Adaptive Streaming (HAS), multi-codec optimization, and immersive media systems. Email: christian.timmerer@aau.at Office Hours: Monday 3:00-4:00 PM (by appointment) Projects: CD-Labor ATHENA, GAIA, SPIRIT His research integrates machine learning and generative AI to enhance video encoding, super-resolution, and voice dubbing, while prioritizing sustainability through energy-aware algorithms and open-source tools like GREEM and VEED. Current work emphasizes latency reduction and dynamic bitrate adaptation in live streaming environments. Recent publications address VVC optimization , multi-resolution encoding , and perceptual quality modeling , reflecting interdisciplinary efforts in networking , computer vision , and human-computer interaction . Awards include leading funded projects on adaptive streaming and green video systems.

Markus Haltmeierمشاهده پروفایل

استاد

• Image Reconstruction
• Inverse Problems
• Deep Learning
• +۴ مورد دیگر

Markus Haltmeier is a Professor in the Department of Mathematics at the University of Innsbruck. His research focuses on inverse problems, image reconstruction, and deep learning with applications in medical imaging, photoacoustics, and computational mathematics. He leads a group dedicated to advancing theoretical and practical solutions for challenges in non-destructive testing and medical diagnostics. His work integrates mathematical analysis with machine learning, addressing issues such as high-resolution imaging in scattering media and automated segmentation of cardiac structures. Key research areas include regularization techniques for inverse problems, self-supervised learning approaches for limited data scenarios, and computational methods for photoacoustic tomography. His contributions span both theoretical developments (e.g., inversion formulas for Radon transforms) and applied solutions (e.g., algorithms for cylinder liner wear assessment and myocardial infarct segmentation). Publications highlight advancements in neural network-based regularization, 3D medical image synthesis, and unsupervised learning frameworks for segmentation and registration. His research emphasizes bridging the gap between mathematical theory and real-world applications in healthcare and engineering.