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

Stefano Tondiniمشاهده پروفایل

پژوهشگر

• Photonics
• Electrical Engineering
• Integrated Optics
• +۶ مورد دیگر

Stefano Tondini is a postdoctoral researcher at Eindhoven University of Technology, affiliated with the Department of Photonic Integration in the College of Electrical Engineering. His research spans photonics, electrical engineering, and environmental monitoring, with a focus on tunable laser systems, integrated optics, and low-cost sensor networks. Current position: Postdoc in Photonics Key technologies: InP lasers, Mach-Zehnder interferometers, quantum wells Applications: Environmental quality monitoring, machine learning calibration, urban microclimate sensing Research interests center on photonic integration for tunable laser systems and machine learning methods for sensor calibration. Recent work includes advanced InP laser designs with asymmetric interferometers, compact indium phosphide membrane platforms, and portable environmental monitoring devices using low-cost sensor arrays. Scientific activity trends show expertise in photonics , machine learning , and environmental sensing . Key subfields include tunable lasers, Mach-Zehnder interferometers, quantum well characterization, low-cost O3 calibration, and indoor environmental quality systems. Current affiliations: Eindhoven University of Technology Collaboration networks: International partnerships in laser physics and environmental engineering Tools: Scopus, ORCID (0000-0001-7422-1138)

Bin Shiمشاهده پروفایل

پژوهشگر ارشد

• Photonics
• Optical Communication
• Neural Networks
• +۳ مورد دیگر

Bin Shi is a Research Fellow at Eindhoven University of Technology's Department of Electrical Engineering, focusing on photonics, optical communication, and neuromorphic computing. He is a core member of the ECO Research Centre for Integrated Nanophotonics (2014–2025), contributing to next-generation optical networks and photonic integrated circuits. His research expertise includes photonic integrated circuits (PICs), semiconductor optical amplifiers (SOAs), and neural network implementations using optical systems. Key projects involve developing low-cost metro-access networks using SOA-based optical add-drop multiplexer (OADM) nodes and exploring photonic computing architectures for deep learning applications. Recent work emphasizes non-invasive characterization techniques for cascaded SOAs, software-defined electro-optical neural networks, and photonic beamforming systems. He has contributed to over 44 research outputs since 2018, with notable publications in Optics Letters and Optics Express . Shi collaborates internationally on topics like photonic neural networks and nanophotonic devices. He teaches the course 'Brain-inspired optical computation' and has been featured in media for his work on light-based neural networks.

• Embedded System Design
• Unmanned Aerial Systems
• Logic Synthesis
• +۲ مورد دیگر

Venkatesan Muthukumar is a Professor and Graduate Coordinator in the Department of Electrical and Computer Engineering at the University of Nevada, Las Vegas. His research expertise spans embedded system design, system-on-chip architectures, logic synthesis, and high-level synthesis. He specializes in developing adaptive guidance, navigation, and control algorithms for Unmanned Aerial Vehicles (UAVs), including onboard multi-sensor fusion and hardware acceleration techniques. Professor Muthukumar's research focuses on: Embedded control design using multi-core processors Hardware-in-the-loop testing of GNC algorithms UAV flight control optimization Real-time systems for aerial navigation His recent publications demonstrate a strong focus on educational interventions in STEM, computer vision applications in environmental science, and hardware optimization for AI systems. The research spans educational technology, agricultural sensing, and aerospace control systems, showcasing interdisciplinary collaborations. Professor Muthukumar leads the UAV research group at UNLV, developing novel flight control systems and sensor integration platforms for autonomous aerial vehicles. His lab collaborates with aerospace industry partners on next-generation UAV technologies.

Mahetab Amerمشاهده پروفایل

مدرس

• Regenerative Medicine
• Biomaterials Engineering
• Stem Cell Biology
• +۵ مورد دیگر

Mahetab Amer is a Lecturer in Regenerative Medicine at the University of Manchester's Division of Cell Matrix Biology & Regenerative Medicine. She holds a PhD in Tissue Engineering and Regenerative Medicine from the University of Nottingham (2017) and has been recognized with awards like the Robert Brown Early Investigator Award (2018). Her research focuses on cell-material interactions, regenerative therapies, and 3D in vitro models for bone and mesenchymal stem cell-associated diseases. She has contributed to biomaterials engineering, including projects funded by EPSRC and collaborations in interdisciplinary biomaterials discovery. She serves on editorial boards, such as Materials Today Bio, and reviews for UKRI and the Swiss National Science Foundation. Education: BSc Pharmacy, MSc Pharmaceutical Sciences (pre-PhD). Career highlights include a University Academic Fellowship at the University of Leeds (2020). Her lab develops biomaterial-based strategies for personalized medicine and drug screening platforms. She welcomes PhD students interested in regenerative medicine and tissue engineering. Key achievements include pioneering work on microparticle-induced osteogenesis via hedgehog signaling and genetically-programmed bioprinted bone repair scaffolds. Awards include the Andrew Hendry Endowed Postgraduate Award (2017) and recognition for interdisciplinary contributions to biomaterials science.

Christopher Battenمشاهده پروفایل

استاد

• Computer Architecture
• Electronic Design Automation (EDA)
• VLSI Design
• +۷ مورد دیگر

Christopher Batten is a Professor of Electrical and Computer Engineering at Cornell University, affiliated with the Computer Science department. He leads the Batten Research Group within the Computer Systems Laboratory (CSL), focusing on computer architecture, electronic design automation, and VLSI systems. His work spans programmable accelerators, interconnection networks, and agile chip design methodologies. Batten holds a PhD from MIT, an M.Phil. from the University of Cambridge, and a B.S. from the University of Virginia. He has held visiting roles at UC Berkeley and NVIDIA. Research Interests: Computer Architecture: Accelerators, interconnection networks, and emerging technologies VLSI Design: Agile methodologies, chip prototyping, and physical design Hardware-Software Co-Design: Parallel programming frameworks and productivity tools Recent Work: Focuses on optical interconnects, 3D integration, and AI-driven hardware design. Led projects like Cornell Custom Silicon Systems (C2S2), which taped out multiple chips in SkyWater 130nm. Collaborates with industry partners like NVIDIA and Meta. Awards: Recognized with the ACM/IEEE MICRO Hall of Fame, NSF CAREER Award, and multiple teaching accolades. His group emphasizes student-led chip projects and open-source frameworks like PyMTL3. Grants & Sponsors: Supported by NSF, DARPA, AFOSR, and industrial partners including Intel, NVIDIA, and Xilinx. Current efforts include NSF CSSI projects improving gem5 and NSF Panorama for pangenomics.

Hongshen Maمشاهده پروفایل

دانشیار

• Microfabrication
• Single Cell Sequencing
• Image Cytometry
• +۵ مورد دیگر

Dr. Hongshen Ma is an Associate Professor in the Department of Mechanical Engineering and School of Biomedical Engineering at the University of British Columbia (UBC). He also holds associate appointments in Pathology and Laboratory Medicine, Urologic Sciences, and the Vancouver Prostate Centre. His research focuses on developing microfluidic and computational technologies to analyze cellular biomechanics, particularly in red blood cells and circulating tumor cells, with applications in malaria diagnostics, cancer therapeutics, and blood quality assessment. Dr. Ma earned his B.A.Sc. in Engineering Physics from UBC, followed by M.Sc. and Ph.D. degrees in Electrical Engineering and Media Lab studies at MIT. His educational background includes undergraduate training at UBC and advanced studies at MIT, where he specialized in electrical engineering and media technologies. His work bridges microfabrication, machine learning, and biomedical applications, leading to innovations like See-N-Seq for single-cell sequencing and deformability-based cell sorting systems. Research interests include cell biomechanics, single-cell analysis, and lab-on-a-chip technologies. Key projects address malaria biomarkers, circulating tumor cell isolation, and red blood cell storage degradation. His lab, the Multi-Scale Design Laboratory, emphasizes interdisciplinary approaches combining engineering and medicine. Awards: 2014 Maud Menten New Principal Investigator Finalist Prize (CIHR) Lab Affiliations: Multi-Scale Design Laboratory, Centre for Blood Research, Vancouver Prostate Centre Grants & Funding: Active in securing research grants for microfluidic device development and biomedical applications Dr. Ma’s publications span high-impact journals like Lab on a Chip , Communications Biology , and Proceedings of the National Academy of Sciences , with a focus on translating engineering innovations into clinical diagnostics and therapies.

• Formal Verification
• Machine Learning
• Computer Architecture
• +۸ مورد دیگر

Ziyad Hanna is a Visiting Professor at the University of Oxford's Department of Computer Science and currently serves as Corporate Vice President and R&D General Manager at Cadence Design Systems, leading their Israel-based formal verification research and development. He holds a PhD in Computer Science from the University of Oxford and has over 30 years of industrial experience in Electronic Design Automation (EDA), with leadership roles at Intel, Jasper Design Automation, and Cadence. Ziyad holds a B.Sc. and M.S. in Mathematics and Computer Science from Tel-Aviv University, and a PhD (DPhil) in Computer Science from the University of Oxford. His doctoral thesis focused on A Symbolic Execution Framework for Algorithmic-Level Modelling and Verification of Computer Microarchitecture . His research interests span Formal Verification methodologies, Machine Learning applications in verification, Computer Architecture, Software Engineering, Hardware Design, and Quantum Computing. He has pioneered advancements in formal equivalence checking, verification IP for chip design, and the integration of AI-driven techniques for bug localization and root-cause analysis. Red Herring Top 100 North America Company (2013) for Jasper Design Automation Intel's highest achievement award (IAA) - received twice Cadence move-the-needle award Israeli presidential award for community volunteering Ranked 39 in TheMarker’s 100 most influential people in Israel (2019) Listed in 'People and Computers' magazine's 2020 influential Hi-Tech list Ziyad has mentored numerous academic research projects and served on program committees for conferences such as FMCAD, SAT, and DAC. He leads a multinational R&D network across 10 centers and has driven Cadence's research agenda in formal verification and machine learning for EDA. His work has been supported by industry collaborations and institutional funding, including a 5-year initiative endorsed by Israel to advance Hi-Tech in the Arab community. He oversees Cadence Israel's advanced formal verification research group, the largest of its kind globally, and chairs the annual Jasper User Group (JUG) conference, a key industry event in formal verification.

• Radiochemistry
• Molecular Imaging
• Microfluidics
• +۵ مورد دیگر

R. Michael van Dam is a Professor in the Department of Molecular and Medical Pharmacology at the University of California Los Angeles (UCLA) School of Medicine. His laboratory focuses on advancing molecular imaging technologies, particularly positron-emission tomography (PET), through innovative microfluidic and automation approaches. He develops cost-effective methods for producing diverse PET tracers and optimizes radiopharmaceutical synthesis for clinical and research applications. Education: B.Sc.E. in Engineering Physics, Queen's University (1996) M.A.Sc. in Computer Engineering, University of Toronto (1998) Ph.D. in Applied Physics, California Institute of Technology (2005) Postdoctoral training in Microfluidics and Radiochemistry, California Institute of Technology (2006) Van Dam's research integrates molecular imaging, microfluidics, and automation to develop novel technologies for radiopharmaceutical production. His work enables high-throughput optimization of tracer synthesis, automated radiosynthesis platforms, and miniaturized analytical systems. Key innovations include droplet-based microreactors for economical tracer production and advanced quality control methods for clinical applications. His lab collaborates extensively on tracer development for imaging biological processes including metabolism, gene expression, and disease mechanisms. His recent publications demonstrate a strong focus on microfluidic reactor design, automated radiosynthesis optimization, and clinical translation of novel PET tracers. Research consistently addresses scalability challenges in radiopharmaceutical production while maintaining rigorous quality standards. Laboratory and Team: Van Dam directs an interdisciplinary research group developing automated technologies for radiochemistry. The lab maintains active collaborations with UCLA colleagues on novel tracer development and validation, and provides PET tracer production services for various research groups. Their work bridges engineering principles with clinical nuclear medicine applications.

Jean-Baptiste Jeanninمشاهده پروفایل

استادیار

• Verification of cyber-physical systems
• Logics and semantics of programming languages
• Programming with coinductive types
• +۳ مورد دیگر

Jean-Baptiste Jeannin is an Assistant Professor in the Department of Aerospace Engineering at the University of Michigan — Ann Arbor, leading the MARVL group. He is also affiliated with the departments of Computer Science and Engineering and Robotics. His research focuses on formal verification of cyber-physical systems, logics and semantics of programming languages, and coinductive programming types. He holds a Ph.D. in Computer Science from Cornell University (2013) and a Diplôme d'Ingénieur from École polytechnique (2007), with prior roles at Samsung Research America and Carnegie Mellon University. His research interests include verification of aerospace applications, program logics, and formal methods applied to robotics and distributed systems. Notable work includes formally verified algorithms for collision avoidance, network consensus protocols, and numerical methods. He teaches courses such as AERO 552 (Aerospace Information Systems) and EECS 590 (Advanced Programming Languages). Jeannin's recent publications emphasize formal verification in hybrid systems, rounding error analysis, and hardware-software co-design. His work bridges theoretical foundations with practical applications in autonomous systems, cybersecurity, and computational physics. Collaborations include projects on certified approximations of mathematical functions and verified distributed system protocols.

Yatin Manerkarمشاهده پروفایل

استادیار

• Formal Methods
• Computer Architecture
• Hardware Security
• +۴ مورد دیگر

Yatin Manerkar is an Assistant Professor in the Department of Computer Science and Engineering at the University of Michigan. His research focuses on formal methods for ensuring correctness in computing systems, particularly in hardware and software verification. He holds a PhD from Princeton University and has conducted postdoctoral research at UC Berkeley. His work has led to significant contributions in verifying memory consistency models, hardware security, and cache coherence protocols. **Education:** PhD in Computer Science, Princeton University (Advisor: Margaret Martonosi) M.S. in Computer Science and Engineering, University of Michigan BASc in Computer Engineering, University of Waterloo **Research Interests:** Manerkar's research bridges computer architecture and formal methods. He develops automated techniques for verifying and synthesizing computing systems, targeting emerging hardware like heterogeneous processors. Key areas include memory consistency models, security vulnerabilities (e.g., Meltdown/Spectre variants), and ethical AI implications of hardware design. **Awards & Recognition:** ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award Honorable Mention (2021) Best Paper Nomination (FMCAD 2022) IEEE Micro Top Picks Honorable Mentions (2023, 2021, 2018) Heidelberg Laureate Forum Participant (2019) **Advising & Teaching:** Manerkar advises PhD and undergraduate students on formal verification and hardware-software co-design. He has taught courses on parallel computer architecture and formal verification at the University of Michigan.

Antony Hoskingمشاهده پروفایل

استاد

• Programming Languages
• Software Systems
• Software Assurance
• +۷ مورد دیگر

Antony Hosking is a Professor and School Director of the School of Computing at the Australian National University (ANU). He holds a BSc in Mathematical Sciences from the University of Adelaide (1985), MSc with First Class Honours in Computer Science from the University of Waikato (1987), and a PhD in Computer Science from the University of Massachusetts Amherst (1995). Prior to ANU, he served for over 20 years at Purdue University as Assistant Professor and later tenured Associate Professor of Computer Science. He is also an Honorary Professor at the University of Massachusetts Amherst. His research focuses on programming languages, software systems, and software assurance, with particular expertise in garbage collection, memory management, compiler optimizations, and architectural support for programming languages. He co-authored the seminal reference text *The Garbage Collection Handbook*, now in its second edition (2023), and has contributed extensively to conferences like ACM SIGPLAN. He has held leadership roles in professional organizations, including the Executive Committee of ACM SIGPLAN and the International Symposium on Memory Management. Hosking’s accolades include being a Distinguished Scientist of the Association for Computing Machinery (ACM), an elected member of Association Internationale pour les Technologies Objets (AITO), and a Professional Member of IEEE. His consulting work involves intellectual property litigation in US courts and the US Patent and Trademark Office. He has advised on high-performance garbage collectors, concurrency, and real-time systems, with a focus on energy-aware and persistent storage solutions. His recent work addresses foundational assurance in systems software, aiming to build trustworthy systems. He collaborates on projects like the Single-Chip Cloud Computer and explores portable performance for parallel managed languages across multi-core architectures.

Alexander Mattesمشاهده پروفایل

استاد

• Additive Manufacturing
• Manufacturing Technology
• Machining Processes
• +۳ مورد دیگر

Prof. Alexander Mattes is a Professor of Production/Manufacturing Technology at Kiel University of Applied Sciences' Faculty of Mechanical Engineering. He leads the Manufacturing Technology Research Group, focusing on additive manufacturing (e.g., DED), machining processes, forming technology, and AI-driven process optimization. His work integrates data science to enhance manufacturing efficiency and cost assessment. Education: PhD in Engineering (2008): Dissertation on "Chipping simulation solutions for tool construction and process design for milling," Karlsruhe Institute of Technology (KIT). Mechanical Engineering (2004–2008), specializing in production technology, from KIT. Research Interests: His research emphasizes additive manufacturing of metal components using powder-based DED, AI applications in process optimization, and data-driven approaches for machining, forming, and welding. The group prioritizes economic viability of DED processes and AI-based in-process monitoring for manual welding. Technology Transfer & Collaboration: Prof. Mattes collaborates with industry partners (e.g., Siemens, Multivac) on joint implementation projects, focusing on practical applications of advanced manufacturing technologies. His team specializes in cost assessment of additive processes and sensor data utilization via Machine Learning. Labs & Team: He directs the Manufacturing Technology Research Group, comprising experts in additive manufacturing, data science, and sensor technology. Team members include M.Eng. Thore Gericke (Additive Manufacturing), M.Sc. Simon Hagemann (Technology Transfer), and others with roles in CAM programming and welding optimization.

Xuanhong Chengمشاهده پروفایل

استاد

• BioMEMS
• Microfluidics
• Point-of-Care Diagnostics
• +۷ مورد دیگر

Xuanhong Cheng is a Professor of Bioengineering and Materials Science & Engineering at Lehigh University. She holds a PhD in Biomedical Engineering from the University of Washington, an M.Engr. in Electrical Engineering from the same university, and a B.S. in Biology from Wuhan University, China. Her research focuses on developing engineering tools for biomedical applications, including micro/nanotechnology, biomaterials, and cell-surface interactions. She pioneered microfluidic devices for point-of-care diagnostics, particularly in global health contexts such as HIV/AIDS and sickle cell screening. Her work also explores cell metabolism at the microscopic scale and single-molecule engineering responsive to environmental stimuli. Key research areas include BioMEMS, microfluidics, nanotechnology, and surface science. Notable achievements include designing label-free lymphocyte isolation chips and integrating electrical sensors for automated cell counting. She was named a Senior Member of the National Academy of Inventors in 2025. Her lab, The Cheng Group, actively develops novel diagnostic tools and fundamental biophysical studies. Recent work addresses biomarkers in cardiovascular assist devices and metabolic disturbances in chronic fatigue syndrome. Education: Ph.D., Biomedical Engineering, University of Washington M.Engr., Electrical Engineering, University of Washington B.S., Biology, Wuhan University Lab/Team: The Cheng Group focuses on biomedical microdevices and global health diagnostics. Awards: Senior Member, National Academy of Inventors (2025) Grants/Support: Research supported through NIH grants and industry partnerships in diagnostic device development.

• Embedded Systems
• IoT Security
• Digital System Design
• +۳ مورد دیگر

Paulino Ruiz de Clavijo Vázquez is a Professor in the Department of Electronic Technology at the University of Seville. His primary research focuses on embedded systems, IoT security, digital system design, FPGA implementation, and hardware security. He leads and collaborates on numerous research projects, including advanced IoT boot systems, secure embedded communication, and high-precision timing synchronization for IoT devices. Key projects include the IRIS secure boot framework for IoT and the E-LUKS hardware encryption solution. His work spans both theoretical contributions (e.g., novel trigonometric computation algorithms) and applied hardware-software co-design (e.g., NanoFS file system). He has advised doctoral theses such as 'LILA: Low-level IoT Lightweight Applications.' His research also involves FPGA-based systems for real-time applications, including time servers and FFT modules. Projects like HAVOC (hardware audio codec) and HardTIME (high-precision timing) highlight his focus on practical hardware implementations. He has contributed to over 50 peer-reviewed publications, conference presentations, and patents related to embedded systems, digital circuit design, and IoT security solutions.

• Biosensors
• Smart Sensors
• Microfabrication
• +۳ مورد دیگر

Prof. Ronald Thoelen is an Ordinary Professor and Dean of the Faculty of Industrial Engineering Sciences at Hasselt University. He holds a Master's in Applied Physics from TU Eindhoven (2004) and a PhD in Physics from Hasselt University (2008). His research focuses on biosensors, smart sensors, microfabrication, and nanofabrication, with applications in biomedical engineering and materials science. He leads the Research Group Engineering Materials and Applications and the Institute for Materials Research. Prof. Thoelen supervises numerous PhD students, including ongoing projects on smart textiles, thermal-probing microdevices, and multiparameter sensing platforms. He coordinates courses like Digital Electronics, E-Health, and IoT. With over 40 research projects, his work spans lab-on-chip systems, wearable sensors, and thermal-based biosensing technologies. He chairs the IIW Department Council and has developed innovative sensor platforms for healthcare and environmental monitoring. His contributions include advances in microfluidic devices, printed electronics for wearables, and real-time cell monitoring techniques. Current projects explore neurodegenerative disease mechanisms and smart wound monitoring systems. Prof. Thoelen’s interdisciplinary approach bridges engineering, biology, and materials science to address challenges in health, agriculture, and environmental sustainability.