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

• Power Engineering
• Quantum Computing
• Microgrid Stability
• +۵ مورد دیگر

Yan Li is an Assistant Professor in Electrical Engineering with extensive research activity spanning 2013–2025 and 76 research outputs. Their work intersects power systems engineering , quantum computing , and computational symmetry with applications in microgrid stability , neuroimage analysis , and human pose dynamics . Active in UN Sustainable Development Goals related to sustainable energy systems Key research areas: Quantum Computing Training , Transient Dynamics Analysis , Software-defined Networking , and Data-driven Modeling Recent publications focus on adaptive control algorithms for microgrids, quantum computing applications in power systems, and geometric machine learning for differential equations on manifolds. Their work combines theoretical innovation with practical implementations in energy and biomedical domains. Grant funding includes: National Science Foundation (CyberTraining: Quantum Computing Training for Power Engineers, 2024–2026) U.S. Navy (Quantum Analysis of Renewable Energy Transients, 2022–; SCADA Network Security via SDN, 2021–) National Science Foundation (Data-driven Modeling for Renewable Systems, 2022–2025)

Adrian Sampsonمشاهده پروفایل

دانشیار

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

• Formal Verification
• Software Engineering
• Computer-Aided Verification
• +۵ مورد دیگر

Zvonimir Rakamaric is a Professor in the Department of Computer Science at the University of Utah. His primary research focuses on formal methods, software verification, and numerical analysis, with an emphasis on ensuring correctness and reliability in software systems. He leads efforts in developing tools and techniques for verifying complex systems, including formal verification of floating-point arithmetic, compiler optimizations, and concurrent/distributed systems. Key Roles: Formal Methods Researcher, Software Verification Specialist, Floating-Point Arithmetic Expert Affiliations: University of Utah School of Computing Research interests span formal verification tools (e.g., SMACK, Dafny), static analysis, and numerical error analysis. His work addresses challenges in safety-critical systems, including embedded software, high-performance computing, and compiler optimizations. Collaborations include institutions like Sandia National Labs and Microsoft Research. Publications emphasize rigorous methods for analyzing floating-point precision, equivalence checking, and tool development for formal verification. His work bridges theoretical foundations with practical tool implementations, contributing to open-source verification frameworks widely adopted in academia and industry.

Shaoyi Huangمشاهده پروفایل

استادیار

• Efficient machine learning algorithms
• Algorithm-system co-design for AI acceleration
• Large-scale machine learning for chip design
• +۳ مورد دیگر

Shaoyi Huang is an Assistant Professor in the Department of Computer Science at Stevens Institute of Technology. She holds a PhD in Computer Engineering from the University of Connecticut (2024), where she was advised by Professors Caiwen Ding and Omer Khan. Her research focuses on advancing AI systems through algorithm-hardware co-design, with emphasis on efficient machine learning algorithms, energy-efficient privacy-preserving techniques, and large-scale machine learning for chip design. She has received multiple accolades including the 2024 Machine Learning and Systems Rising Star award and the 2022 DAC Publicity Paper Award. Education: PhD in Computer Engineering, University of Connecticut (2024) Appointments: Assistant Professor, Stevens Institute of Technology (2024–present) Key Research Areas: AI acceleration, graph neural networks, privacy-preserving ML, and EDA applications Her work spans theoretical contributions to practical implementations, with publications in top-tier conferences like HPCA, ASPLOS, and NeurIPS. She actively contributes to the academic community through program committee roles (e.g., DAC 2025, IPDPS 2025) and serves as a Guest Editor for special issues on high-performance computing. Huang mentors PhD students and oversees a team advancing interdisciplinary AI research, including funded projects from NSF and industry partners like AWS and OpenAI. Awards highlight her impact: Marion & Frederick Buckman Engineering Fellowship (2024), multiple fellowships from UConn, and recognition at WISE conferences for promoting women in hardware security. Her lab emphasizes scalable solutions for real-world challenges in AI and hardware systems.

Chunhong Chenمشاهده پروفایل

استاد

• Digital Integrated Circuit Synthesis
• VLSI Computer-Aided Design
• High-Performance Low-Power Systems
• +۱ مورد دیگر

Dr. Chunhong Chen is a Professor in the Department of Electrical and Computer Engineering at the University of Windsor's Faculty of Engineering. He holds a PhD from Fudan University and is a P. Eng of Ontario and IEEE Senior Member. His research focuses on digital integrated circuit synthesis, VLSI CAD, high-performance low-power systems, and nanoelectronic circuit design. Education: PhD, Fudan University Recent work includes hybrid signal probability estimation methods, statistical delay modeling for nanoelectronics, and area-efficient cryptographic circuit design using hybrid SET-MOS technology. His research emphasizes practical applications in low-power systems and nanoscale device optimization. Dr. Chen's publications demonstrate expertise in both foundational theory and applied engineering solutions. He leads the Research Centre for Integrated Microsystems (RCIM), focusing on advanced microsystem integration challenges.

Ramesh Karriمشاهده پروفایل

استاد

• Hardware Cybersecurity
• Trustworthy Integrated Circuits
• Cyber-Physical Systems Security
• +۶ مورد دیگر

Ramesh Karri is a Professor and Chair of the Electrical and Computer Engineering Department at New York University Tandon School of Engineering. He co-founded the NYU Center for Cyber Security (CCS) in 2009 and co-directed it from 2016-2024. He is also a Fellow of the IEEE and has led initiatives such as the Embedded Systems Challenge (ESC), a red-blue team cybersecurity competition. Education: Ph.D. in Computer Science and Engineering, University of California, San Diego (1993) B.E. in Electrical and Computer Engineering, Andhra University (1985) Research Focus: His work centers on hardware cybersecurity, including trustworthy integrated circuits, cyber-physical systems, nano-enabled security, and biochip security. He pioneered security-aware CAD tools and has developed metrics for hardware trojan detection through initiatives like the Trust-Hub. Awards & Leadership: Recipient of the Humboldt Fellowship and NSF CAREER Award Editor-in-Chief of ACM Journal of Emerging Computing Technologies Leadership roles at IEEE conferences (ICCD, HOST, DFTS) Grants & Labs: Directs the Center for Advanced Technology in Telecommunications (CATT) and NYU CCS. His labs focus on additive manufacturing security, digital microfluidic systems, and AI-driven hardware design.

Maciej Ciesielskiمشاهده پروفایل

استاد

• Computer Aided Design (CAD) for VLSI circuits
• Logic synthesis and optimization
• Formal verification of integrated circuits
• +۲ مورد دیگر

Maciej Ciesielski is a Professor in the Department of Electrical and Computer Engineering at the University of Massachusetts Amherst and serves as Associate Department Head. His research focuses on Computer Aided Design (CAD) for VLSI circuits , Logic synthesis and optimization , and Formal verification of integrated circuits . Education : PhD in Electrical Engineering (1983, University of Rochester), MS in Electrical Engineering (1974, Warsaw Technical University). He leads research in computing and cybersecurity, with a strong emphasis on computer engineering. His work bridges theoretical and applied advancements in digital system design. Scientific Awards and Affiliations : IEEE Fellow (2020) Residential First-Year Experience Student Choice Award (2013) Doctorate Honoris Causa, Universite de Bretagne Sud (2008) Institute of Electrical and Electronics Engineers (IEEE)

• Asynchronous Circuits
• Formal Verification
• Computer-Aided Design (CAD)
• +۱۰ مورد دیگر

Michael Theobald is a researcher at D. E. Shaw Research, focusing on the design and verification of specialized supercomputers for protein simulations. He has previously held postdoctoral and academic positions at Carnegie Mellon University (CMU) and Columbia University. Education: Ph.D. in Computer Science from Columbia University (2002), Postdoctoral Fellow at CMU (2002-2004), and Diplom in Computer Science from Johann Wolfgang Goethe-Universitaet (1994). His research interests span formal verification of software and hardware systems, asynchronous (“clock-less”) circuits, and efficient algorithms for combinatorial optimization. He has contributed to advancements in BDD and SAT techniques, logic synthesis, and hybrid systems verification, with applications in systems biology and robotics. Michael's publications emphasize formal methods, including model checking, abstraction refinement, and SAT-based algorithms applied to hybrid and asynchronous systems. These works align with his broader expertise in embedded systems and computer-aided design.

Irina Ilioaeaمشاهده پروفایل

استادیار

• Commutative Algebra
• Combinatorial Commutative Algebra
• Computational Algebra
• +۲ مورد دیگر

Dr. Irina Ilioaea serves as an Assistant Professor in the Department of Mathematics at Louisiana State University Shreveport (LSUS) within the College of Arts and Science, joining the institution in 2020 after completing her doctoral studies. Her academic foundation bridges theoretical mathematics with practical engineering applications. Her educational credentials include: PhD in Mathematics from Georgia State University (2020) MS in Algebra from University of Bucharest BS in Mathematics from University of Bucharest Her research centers on Commutative Algebra , Combinatorial Commutative Algebra , and Computational Algebra , with specialized focus on tight closure theory and Frobenius complexity theory . These investigations create critical linkages between abstract algebraic structures and real-world problems in digital circuit design and computational verification systems. Analysis of her publications reveals consistent interdisciplinary collaboration between mathematics and computer engineering, particularly in developing algebraic solutions for VLSI design challenges and constraint programming frameworks through finite field applications. Her scholarly contributions have been recognized through: Mathematics Achievement Award (2019) from Georgia State University Fred Massey Endowed Award (2018) for research and teaching excellence Dr. Ilioaea currently teaches undergraduate mathematics courses including Math 121L (Problem Solving Lab), Math 150 (Precalculus), Math 201 (Discrete Mathematics), and Math 407/607 (College Geometry) with structured office hours for student engagement. No public information indicates research grants or graduate student advising activities.

Emilio Jesús Gallego Ariasمشاهده پروفایل

پژوهشگر ارشد

• Theorem Proving
• Functional Programming
• Computer Music
• +۷ مورد دیگر

Emilio Jesús Gallego Arias is a non-tenured Research Fellow at the French National Center for Scientific Research (CNRS), hosted at the Institute of Fundamental Computer Research (IRIF) of CNRS and University of Paris Cité. He is also a member of the PiCube Inria team. Previously, he held postdoctoral positions at the University of Pennsylvania (2012–2014) and MINES ParisTech (2014–2019). His research spans mechanically-verified functional and logic programming , with a focus on the Coq proof assistant and the Mathematical Components Library . He develops tools like coq-lsp (language-server for Coq IDEs) and jsCoq (web interface), replacing earlier projects like SerAPI . His work bridges programming language theory , digital signal processing , and formal verification , particularly in the ANR FEEVER project for verifying Faust programs. His 15 most recent works (2014–2024) address type systems , differential privacy , and formal verification in domains like audio processing and mechanism design . Publications span journals (e.g., Journal of Privacy and Confidentiality), conferences (ICML, POPL, FARM), and workshops (CoqPL, UITP). He contributes to open-source projects (GitHub), including DFuzz (linear dependent types), DualQuery (privacy algorithms), and RAM (relational machine). He uses formal methods in collaborative development platforms (Gitter, GitLab) and advocates for free software and accessible audio technology .

Milton Aguirreمشاهده پروفایل

استادیار

• Compliant Mechanisms
• Wearables and Exoskeletons
• Human-Centered Product Design
• +۲ مورد دیگر

Milton Aguirre serves as Assistant Professor at Purdue Polytechnic Institute, Purdue University, leveraging over ten years of market-oriented product design expertise to bridge academic research and entrepreneurship. His work in creative mechanism design has driven international technology valorization initiatives, including concept-to-market projects during his post-doctoral tenure at Delft University of Technology. His academic foundation includes a Post-Doctorate from Delft University of Technology's Department of Mechanical, Maritime, and Materials Engineering, Ph.D. and M.S. degrees in Mechanical Engineering from Pennsylvania State University, and a B.S. in Mechanical Engineering from Virginia Military Institute. Dr. Aguirre's research centers on compliant mechanisms, wearables and exoskeletons, and human-centered product design, with strong emphasis on medical device innovation. He investigates mechanical systems that enhance user interaction, particularly in surgical tools and mobility assistance, focusing on translating academic concepts into commercial products through rigorous market-oriented development. His 2021-2025 publications reveal dominant trends in medical device engineering, especially compliant mechanisms for surgical safety and mobility aids. Key themes include haptic feedback integration in walking canes, force-sensitive surgical graspers, and stress management wearables, demonstrating consistent focus on user-centered solutions for healthcare challenges. Major funded projects include: 2024 NIH STTR/SBIR Phase I grant for stress management intervention development 2023 NIST grant on standards in product innovation Multiple NIH MedTech Think Tank projects for mental health and mobility devices Industry-sponsored mobility aid device research As Seed Lab director, he leads interdisciplinary teams developing stress management technologies and mobility aids through NIH collaborations and industry partnerships. His work emphasizes rapid prototyping and commercialization pathways, with recent projects including an NIH-funded stress management device and mobility assistance systems.

Cristina Lopesمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Distributed Virtual Environments
• +۵ مورد دیگر

Cristina Lopes is a Professor of Informatics at the Donald Bren School of Information and Computer Sciences , University of California, Irvine. She holds administrative roles including Director of the Master of Software Engineering Program and former Director of the Institute for Software Research . Her research focuses on software engineering, programming languages, and distributed systems, with contributions to open-source projects like OpenSimulator and AspectJ. She has authored the influential book Exercises in Programming Style . Education: PhD from Northeastern University, MS/BS from Instituto Superior Técnico (Portugal). Awards include IEEE Fellow (2019), ECOOP Test of Time Award (2017), and ACM Distinguished Scientist (2011). She co-founded a virtual reality company for urban redevelopment and leads NSF-funded projects, including the prestigious CAREER Award. Research Interests: Large-scale software systems, aspect-oriented programming, code clone detection, and applying AI to programming challenges. Her work bridges theory and practice, with applications in urban simulation and healthcare systems. Awards and Grants: Over 15 awards including national and international distinctions. Grants focus on scalable software tools and environmental sustainability in computing. Labs/Teams: Leads the Software Engineering Research Group and collaborates with industry partners on open-source infrastructure and AI-driven development tools.

Heinz Rienerمشاهده پروفایل

پژوهشگر

• Logic Synthesis
• Formal Methods
• Computer-Aided Verification
• +۴ مورد دیگر

Heinz Riener is a Researcher at the Integrated Systems Laboratory (LSI) within the School of Computer and Communication Sciences (IC) at EPFL, Lausanne, Switzerland. He holds a Ph.D. (Dr.-Ing.) in Computer Science from the University of Bremen, Germany. Previously, he worked at the German Aerospace Center (DLR) and the University of Bremen's Reliable Embedded Systems group. His research focuses on logic synthesis , formal methods , and computer-aided verification of hardware and software systems. Key areas include quantum computing (e.g., AQFP circuits), nanotechnology (e.g., RFET-based circuits), and emerging technologies like adiabatic quantum-flux parametron systems. Developed open-source tools like mockturtle and easy for logic synthesis and ESOP forms. Principal Investigator on projects like the Open Logic Synthesis Libraries initiative. Active in program committees for conferences like DAC, DATE, and FDL. Collaborates with institutions such as TU Graz, TU Hamburg, and UC Berkeley. His work emphasizes reproducibility and open-source collaboration in logic synthesis, contributing to benchmarks and libraries widely used in academia and industry.

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

Lorenzo Veronese holds the position of PostDoc Researcher at the Technische Universität Wien (TU Wien), affiliated with the Department of Security Engineering within the Faculty of Informatics . His work focuses on formal methods applied to web and mobile security, including browser security mechanisms, firewall policies, and automated detection of security vulnerabilities. Education: He holds a Dr.techn. (Doctor of Technical Sciences) from TU Wien, with his 2024 doctoral dissertation titled Computer-aided formal security analysis of the Web platform . Research Interests include: Formal verification of security protocols Web platform vulnerability analysis Browser security mechanisms Automated firewall policy synthesis Mobile security (Android) Session integrity protection Publications trends show a focus on web platform security with contributions in: Exploiting Android custom tab vulnerabilities Breaking/fixing web session integrity Machine-checked browser specifications Automated detection of web threats (WPT tool) Projects include leadership in Browsec (2018–2024), W4MP (2023–2027), and IoTIO (2020–2025). He has also contributed to firewall management via FireWall Synthesizer (FWS) and ViSP . Advising: Supervised Lee A. 's 2024 diploma thesis on WebAPISpec. Active in teaching courses like Formal Methods for Security and Privacy and Introduction to Security . Lab affiliations: Member of TU Wien's Security and Privacy research group, collaborating with industry partners on practical security solutions.

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

دانشیار

• Programming Languages
• Formal Verification
• Compiler Design
• +۴ مورد دیگر

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington , with a focus on Programming Languages . His research spans formal verification , compiler design , floating-point accuracy , and machine learning frameworks , unified by themes of making tricky code easier to write and ensuring correctness through rigorous proofs and empirical systems. His recent work includes unifying Datalog and equality saturation (PLDI 2023), exploring LLM-driven document markup (Programming with AI 2024), and advancing floating-point error analysis via interactive tools like Odyssey (UIST 2023). He leads the UW PLSE research group and co-organizes events like EGRAPHS and FPTalks . Key collaborations include verifying distributed systems in CakeML (ECOOP 2022) and developing egglog , an e-graph library with relational extensions (PLDI 2023). His teaching includes Solver-Aided Programming (CSE 507) and Grad PL (CSE 505), emphasizing both Greek (formalism) and graphs (empiricism) .