Michael McAlpine is a Professor in the Mechanical Engineering department at the University of Minnesota . He also holds affiliations with the Biomedical Engineering and Electrical and Computer Engineering departments. His research focuses on 3D printing functional materials & devices , Nanoscale inks , Biomedical devices , Bioelectronics , and Flexible Microsystems . Research Interests : 3D Printing, Biomedical Engineering, Nanotechnology, Flexible Electronics, Microfluidics Labs : ME 361/363 Contact : mcalpine@umn.edu , (612) 626-3303, ME 117 Recent Research Trends include 3D Printed Biomedical Devices , Flexible Electronics , and Bioprinting Applications . His work spans from Spinal Organoid Formation to Programmable Drug Release Capsules . Scientific Award : Circulation Research 2020 Best Manuscript Award
Rebecca Schulman is an Associate Professor in the Department of Chemical and Biomolecular Engineering at the Whiting School of Engineering, Johns Hopkins University. She holds secondary appointments in Chemistry and Computer Science and is affiliated with multiple interdisciplinary institutes, including the Institute for NanoBioTechnology, the Hopkins Extreme Materials Institute, the Chemistry-Biology Interface Program, the Center for Cell Dynamics, and the Laboratory for Computational Sensing and Robotics. She currently co-directs the Passport to Future Technology Leadership program for PhD students. Research Interests: Schulman's research lies at the intersection of DNA nanotechnology, synthetic biology, and smart materials. Her group develops intelligent, adaptive biomolecular materials and nanostructures by integrating concepts from materials science, biochemistry, circuit design, and soft matter physics. The team focuses on engineering dynamic self-assembly processes using DNA to create reconfigurable materials, molecular circuits, and autonomous soft micro-robots. Key themes include self-healing nanostructures, feedback-regulated crystallization, programmable hydrogels, and synthetic genetic networks for materials control. Publication Trends: Her recent publications demonstrate a consistent focus on using DNA-based chemical reaction networks to program spatial and temporal behavior in materials. The work spans from fundamental mechanisms like catalytic polymerization and crystal growth regulation to applications in soft robotics, self-wiring circuits, and synthetic pattern formation. The research is highly interdisciplinary, combining synthetic biology with materials engineering to achieve life-like functionalities in non-living systems. Scientific Awards: AIMBE Fellowship Award Vannevar Bush Faculty Fellowship Award Hartwell Individual Biomolecular Research Award President’s Early Career Award in Science and Engineering (PECASE) DARPA Young Faculty Award DARPA Directors Fellowship NSF CAREER Award Turing Scholar Award DOE Early Career Award Advising and Grants: Schulman mentors graduate students and leads a vibrant research group focused on next-generation biomolecular engineering. Her work is supported by major federal grants, including the NSF CAREER, DOE Early Career, DARPA, and the Vannevar Bush Fellowship—a prestigious Department of Defense award for basic research. She is actively involved in training future leaders through programs like the Passport to Future Technology Leadership. Labs and Teams: The Schulman Lab at Johns Hopkins is a multidisciplinary team working on DNA-powered materials and molecular programming. The lab is embedded within several collaborative centers, enabling strong cross-departmental and cross-institutional research. Their work combines experimental biochemistry with theoretical modeling to design and implement complex molecular systems.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Rida Khatoun is a Professor in Cybersecurity at the Computer Sciences and Networks (Infres) Department at Télécom Paris. He holds a M.Sc. in Computer Engineering and a Ph.D. from the University of Technology of Troyes (UTT), France, awarded in 2004 and 2008, respectively. His research focuses on cybersecurity in networks, including cloud computing security, IoT security, vehicular networks security, intrusion detection systems, and blockchain technology. He has taught at Telecom Paris since 2014, Shanghai Jiao Tong University (SJTU) since 2016, and other institutions in China and France since 2005. His work spans theoretical frameworks and practical solutions for network security challenges. Key research areas include DDoS attack detection, vehicular communication security, and cryptographic protocols. He leads the Cybersecurity and Cryptography (C²) research team and is affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI). His contributions include developing secure routing protocols (e.g., ASROP), statistical trust systems in wireless networks, and blockchain-based authentication for IoT. He has authored over 115 publications, including peer-reviewed articles and conference proceedings, with recent work addressing vehicular platooning security, TLS handshake optimization for C-ITS, and machine learning for cyberbullying detection. Rida’s academic activities include teaching courses on network security protocols, wireless network fundamentals, and QoS mechanisms. He collaborates internationally, contributing to smart city cybersecurity architectures and 6G programmable communications. His research emphasizes practical cybersecurity solutions for emerging technologies, ensuring robust protection against evolving threats in vehicular, IoT, and cloud environments.
Prof. Baker Mohammad serves as Professor and Director of the System on Chip Lab in the Department of Computer and Information Engineering at Khalifa University. With over 15 years of industrial experience at Intel and Qualcomm designing microprocessors and DSP chips, he bridges academic research with real-world engineering challenges in high-performance computing and low-power systems. His educational background includes: Ph.D. in Electrical and Computer Engineering, University of Texas at Austin (2008) M.S. in Electrical and Computer Engineering, Arizona State University B.S. in Electrical Engineering, University of New Mexico Dr. Mohammad's research spans cutting-edge domains where VLSI design converges with AI acceleration and emerging memory technologies . His work pioneers Memristor applications in environmental sensing (radiation, vacuum, glucose) and neuromorphic computing, while advancing energy harvesting systems for wearable electronics. The integration of in-memory computing with security primitives represents a paradigm shift in hardware design, moving beyond traditional CMOS limitations. His publication trajectory reveals accelerating focus on self-powered neuromorphic systems and RRAM-based architectures, with recent work (2021-2023) emphasizing hardware-software co-design for edge AI. Over 75% of his recent publications involve cross-disciplinary collaborations spanning materials science, chemistry, and biomedical engineering. Notable scientific recognition includes: IEEE TVLSI Best Paper Award 2016 IEEE MWSCAS Myrill B. Reed Best Paper Award Qualcomm Qstar Award for Performance Leadership KUSTAR IP Excellence Award Multiple SRC Techon Best Session Papers As a dedicated mentor, he has supervised over 15 graduate students while securing competitive funding from Khalifa University, ADEK, Qualcomm, Tii, and UAE space agencies. His grant portfolio demonstrates exceptional translational impact, converting fundamental research in memristive devices into drone flight computers and medical sensors. Current projects integrate academic rigor with industrial deployment timelines. The System on Chip Lab operates as a multidisciplinary hub where semiconductor physicists collaborate with AI researchers to develop RISC-V-based secure processors and piezoelectric nanogenerator systems. Recent expansions include partnerships with Tii for aerospace applications and medical device startups for glucose monitoring technology.
Lauren Andrews serves as Associate Professor and Marvin and Eva Schlanger Faculty Fellow in the Department of Chemical Engineering at the University of Massachusetts Amherst. Her research integrates synthetic biology and genetic engineering to develop programmable cellular systems for biotechnological applications. Education: Postdoctoral Training: Massachusetts Institute of Technology (Biological Engineering and Broad Institute of MIT and Harvard) PhD: University of Colorado Boulder, Chemical Engineering (2012) MS: University of Colorado Boulder, Chemical Engineering (2009) BS: Cornell University, Chemical Engineering (2006) Dr. Andrews' research focuses on establishing genetic design rules for reprogramming cellular regulation and metabolism. Her lab pioneers synthetic gene networks, genetically-encoded biosensors, and high-throughput methodologies for optimizing genetic designs in both model and non-model bacteria. This work enables precise control of cellular sensing, memory, and environmental responses through multiplexed DNA assembly and next-generation sequencing. Analysis of her 15 most recent publications reveals dominant themes in bacterial biosensor development (particularly for bioremediation), quorum sensing engineering, and programmable genetic circuits for probiotic applications. Her research consistently bridges fundamental genetic circuit design with practical implementations in bacterial consortia and non-model organisms. Scientific Awards: Marvin and Eva Schlanger Faculty Fellowship NSF CAREER Award (2020) for "Programmable synthetic microbial consortia for complex multicellular functions" Her grant portfolio demonstrates significant funding for collaborative research in bacterial communication systems and model-guided design of synthetic ecosystems. The Andrews Lab maintains active partnerships with the MIT-Broad Foundry and Cold Spring Harbor Laboratory, where she co-founded the Synthetic Biology Summer Course. Current projects focus on CRISPR-based regulation in non-model bacteria and algorithmic programming of sequential logic in probiotic strains. The Andrews Lab operates within the Life Science Laboratories at UMass Amherst, utilizing advanced facilities for genetic prototyping and high-throughput screening. Her team develops multiplexed tools for exploring genetic design spaces, with particular emphasis on soil bacteria and Gram-positive pathogens for environmental and therapeutic applications.
Professor Peter Y. K. Cheung is a Professor of Digital Systems at Imperial College London, holding dual affiliations within the Department of Electrical and Electronic Engineering and the Dyson School of Design Engineering. His work focuses on reconfigurable systems, FPGA architectures, and high-level synthesis tools. He co-founded one of the UK's leading FPGA research groups with Professor Wayne Luk, addressing challenges in variability mitigation, reliability, and application-specific FPGA deployments. His research spans Field-Programmable Gate Arrays (FPGAs) Reconfigurable computing Neural network acceleration Cryptographic protocols Embedded systems He has pioneered techniques such as logic shrinkage for FPGA-based neural networks and developed frameworks like LUTNet for efficient inference. His contributions also include fault-tolerant FPGA designs and methodologies for distributed computation protocols. Key collaborations include work with the Department of Computing on FPGA-based AI acceleration and cybersecurity applications. His recent work explores edge computing, secure decentralized systems, and pandemic modeling using adaptive control strategies. Notable projects include the DSCS protocol for secure distributed computation, acceleration of gravitational wave detection algorithms, and energy-efficient CNN implementations. His research bridges hardware-software co-design with real-world applications in healthcare, finance, and aerospace.
Matthew Lakin is an Associate Professor with tenure in the Department of Computer Science at the University of New Mexico, with a courtesy appointment in the Department of Chemical & Biological Engineering. He is affiliated with the UNM Center for Biomedical Engineering and the School of Engineering, and collaborates extensively with the UNM Health Sciences Center and external institutions. Education: Ph.D., Computer Science, University of Cambridge, 2010 M.A. (Cantab), University of Cambridge, 2009 B.A. (Hons), Computer Science, University of Cambridge, 2005 Dr. Lakin's research focuses on molecular computing, DNA nanotechnology, synthetic biology, and formal verification of biomolecular circuits. He develops computational models and experimental systems for programmable biological devices, especially using heterochiral DNA to enhance stability in living cells. His work spans software tools for biodesign and experimental validation in mammalian systems, with applications in nanomedicine and biosensing. The recent publications highlight a strong trend in engineering robust, intelligent biomolecular systems. His work integrates machine learning concepts into chemical reaction networks, advances geometric modeling of DNA systems, and pioneers L-DNA-based circuits for intracellular applications. The research spans theoretical foundations, software tools, and wet-lab experimentation, emphasizing interdisciplinary innovation. Scientific Awards: Presidential Early Career Award for Scientists and Engineers (PECASE), 2025 NSF CAREER Award, 2021 UNM School of Engineering Junior Faculty Research Excellence Award, 2021 Multiple student awards under his mentorship, including the Outstanding Graduate Student Award and DNA28 Best Student Presentation recognition Dr. Lakin has advised numerous graduate and undergraduate students, including Ph.D. graduates in Biomedical Engineering and Computer Science. He leads major funded projects such as the NSF CAREER grant on heterochiral molecular computing, an EPSCoR Research Fellowship, and a $3M NSF grant on heavy metal biosensing in collaboration with Native American communities. He is also PI on multiple NSF grants related to synthetic cells and nucleic acid technologies. He directs the Lakin Lab for Programmable Biology, which operates within the Department of Computer Science and collaborates with Chemical & Biological Engineering and the Center for Biomedical Engineering. The lab emphasizes both computational modeling and experimental molecular biology, and runs an NSF-funded biotechnology summer camp in partnership with ¡Explora! science museum to strengthen STEM education in New Mexico.
Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.
Alfredo Capozucca is a full permanent Researcher at the Department of Computer Science (DCS) within the Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg. He holds a PhD in Computer Science from the University of Luxembourg (2010) and an M.S. from the National University of Rosario, Argentina (2003). His research focuses on modern software engineering methods, dependable systems, and computing education, with an emphasis on formal verification and sustainable computing practices. Capozucca has contributed to the design of courses at undergraduate and master's levels, including serving as Deputy Programme Director for the BSc in Computer Science from 2021-2024. His work bridges theoretical foundations with practical applications in education and industry. Research interests prominently include AI in education (e.g., ChatGPT's role in formal specification writing), formal verification techniques, and the integration of DevOps philosophies into academic curricula. He has authored numerous papers on topics ranging from security policy analysis to energy-efficient transactional models. Capozucca's contributions extend to open-source projects and tool development, such as the Messir UML requirements engineering tool. His teaching spans software engineering fundamentals, dependability, and modern DevOps practices, reflecting a commitment to aligning education with industry needs. Key professional roles include R&D engineer positions (2004-2006) and leadership in educational program design. His research infrastructure is based at the Maison du Nombre facility in Luxembourg. While no specific grants or awards are listed, his extensive publication record and teaching contributions highlight sustained academic engagement.
David Blaauw is the Kensall D. Wise Collegiate Professor of Electrical Engineering and Computer Science (EECS) at the University of Michigan. His research focuses on ultra-low-power analog/mixed-signal circuits, mm-scale sensors, neural networks, and biomedical applications. He leads the Blaauw Lab, which has pioneered innovations like the Michigan Micro Mote (M^3) and neural recording probes. His work emphasizes real-world deployability, with applications in environmental monitoring (e.g., monarch butterflies), medical devices, and robotics. Education: B.S. in Physics and Computer Science, Duke University (1986) Ph.D. in Computer Science, University of Illinois Urbana-Champaign (1991) Research Interests: Blaauw’s lab explores ultra-low-power computing, mm-scale systems, RF communication, in-memory computing, and genomics acceleration. Key projects include: Millimeter-scale computers (e.g., 0.04mm³ temperature sensors) Wireless neural interfaces for brain-machine communication Energy-efficient accelerators for edge AI and genomics Micro-robotics with sensing/actuation/computation Awards: IEEE Fellow 2016 SIA-SRC Faculty Award Motorola Innovation Award Best Paper Awards at ISSCC, ISCA, and RFIC Advising & Impact: Over 600 publications, 65 patents, and 4 startup companies spun from his lab. Current research includes genome sequencing accelerators (GenAx) and neural recording dust for brain mapping. He directs the Michigan Integrated Circuits Lab and chairs major conferences like ISSCC and DAC. Labs/Teams: Blaauw Lab (University of Michigan) Michigan Integrated Circuits Lab (MICAL)
Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.
Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.
Mercè Oliva is an Associate Professor at the Department of Communication, Pompeu Fabra University (UPF), Barcelona. She serves as Director of the B.A. Programme in Audiovisual Communication and Coordinator of the MEDIUM Research Group. Her academic background includes a PhD in Social Communication (2010) and a Bachelor's in Audiovisual Communication (2002) from UPF. Research Focus: Television and Reality TV Celebrity and Media Culture Neoliberalism and Political Communication Video Games as Cultural Artifacts Her recent publications analyze: Visual motifs in political coverage (handshakes, hugs, kisses) Citizens' responses to neoliberal resilience narratives Celebrity tax evasion cases (e.g., Cristiano Ronaldo) Video game cover art as neoliberal propaganda Working-class stereotypes in Spanish media ('chonis', 'canis') Key collaborations include co-PI roles in projects like 'Heroes of the Crisis' (2015-2019) and 'Redistributive Imaginaries' (2022-2025), funded by Spain's Ministry of Economy and AEI/NextGenerationEU.
Yiorgos Makris is a Professor in the Department of Electrical and Computer Engineering at the Erik Jonsson School of Engineering & Computer Science, The University of Texas at Dallas, since July 2011. Previously, he was a faculty member at Yale University for over a decade. He holds a Ph.D. in Computer Engineering from the University of California, San Diego, and a Diploma in Computer Engineering from the University of Patras, Greece. Education: Ph.D. in Computer Engineering, University of California, San Diego (2001) M.S. in Computer Engineering, University of California, San Diego (1997) Diploma in Computer Engineering and Informatics, University of Patras, Greece (1995) Research Interests: Hardware Security and Trustworthiness Statistical Side-Channel Fingerprinting Machine Learning in Semiconductor Manufacturing Trusted and Reliable Integrated Circuits Hardware Trojans in Wireless Cryptographic ICs On-Die Learning and Emergent Technologies His work focuses on enhancing hardware security through statistical methods, machine learning, and formal verification, with applications in analog/RF ICs, post-production calibration, and secure IC design. Key Contributions: Co-Founder and Site-PI of NSF CHEST I/UCRC (Hardware and Embedded System Security and Trust) Leader of the Safety, Security, and Healthcare Thrust at TxACE (Texas Analog Center of Excellence) Director of the Trusted and RELiable Architectures (TRELA) Lab Grants and Funding: NSF, NIH, SRC, ARO, AFRL, AFWERX, DARPA, DOE, and industry partnerships with Boeing, Northrop Grumman, IBM, Intel, Qualcomm, etc. Recent grants include projects on DNA storage security, analog neural networks, and malicious hardware detection. Awards and Recognition: IEEE Fellow (2025) Best Paper Awards at DATE'13, VTS'15, DCAS'22 Best Hardware Demonstration Awards at HOST'16 and HOST'18 Erik Jonsson School Faculty Research Award (2020) Labs and Teams: TRELA Lab (Focus: Secure Hardware Design, Trusted Architectures) CHEST I/UCRC (Industry-University Collaboration)
