Find Academic Supervisors

Jordi Cortadella FortunyView profile

Professor

• Electronic Design Automation
• Concurrent Systems
• Algorithms
• +6 more

Jordi Cortadella Fortuny serves as a Full Professor in the Department of Computer Science at the Faculty of Informatics of Barcelona (FIB), Polytechnic University of Catalonia (UPC), where he has maintained continuous academic service since 1985. He currently chairs the UPC Ethics Committee (2021-2025) and leads research within the ALBCOM group specializing in algorithms, bioinformatics, complexity, and formal methods. Education: M.S. in Computer Science, Universitat Politècnica de Catalunya, 1985 Ph.D. in Computer Science, Universitat Politècnica de Catalunya, 1987 Research Interests: Professor Cortadella's pioneering work centers on Electronic Design Automation (EDA) with deep specialization in asynchronous circuit design and concurrent systems . His research integrates formal methods and mathematical optimization to solve complex VLSI design challenges, particularly in logic synthesis and computer arithmetic. This interdisciplinary approach bridges theoretical computer science with practical semiconductor engineering, yielding significant industry impact through patented methodologies and industrial collaborations. Scientific Awards: Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion by Catalan Government (2003) Five-time Best Paper Award recipient at premier conferences (2004-2020) Descartes Prize Finalist (2002) UPC Best Ph.D. Thesis Award (1992) National Computer Science Student Award (1986) Advising and Service: Cortadella has mentored numerous graduate students while serving on editorial boards for IEEE Transactions on CAD and SN Computer Science. His extensive service includes technical committee leadership at major international conferences and co-founding Elastix Corp. as Chief Scientist (2007-2010), where he directed Barcelona-based R&D for semiconductor verification tools. Research Infrastructure: As core member of the ALBCOM research group, he directs projects in algorithmic foundations of EDA, maintaining strong industry partnerships with Intel and semiconductor design firms through UPC's CITCEA laboratory facilities.

Andrey PovyakaloView profile

Senior Lecturer

• Software Engineering
• Systems Engineering
• Dependability
• +4 more

Dr. Andrey Povyakalo is a Senior Lecturer at City, University of London , affiliated with the Centre for Software Reliability (CSR) . He joined CSR in 2001 as a Research Fellow and was promoted to Senior Lecturer in 2008. Previously, he held academic positions at the Institute of Nuclear Power Engineering (INPE) in Russia, including roles as Docent (Associate Professor) in the department of Computer Systems, Networks and Technologies. Education : Candidate of Science in Engineering (PhD equivalent) from INPE, 1994 Dipl. Eng. in Computer-Aided Control & Management from Moscow Engineering Physics Institute (MEPhI), 1985 His research focuses on software and systems engineering with emphasis on dependability, fault-tolerance, and probabilistic risk/safety assessment . Key projects include DISPO , SESAMO , INDEED , CRUK , and DIRC . Recent publications (2020–2024) address statistical testing of software components , conservative reliability bounds , and human-computer interaction in safety-critical systems . These works span software diversity , failure-free testing strategies , and safety argumentation under uncertainty . Academic Appointments : Senior Lecturer, City, University of London (2008–present) Research Fellow, City, University of London (2001–2008) Docent (Associate Professor), Institute of Nuclear Power Engineering, Russia (1995–2000)

Shachar ItzhakyView profile

Associate Professor

• Program Synthesis
• Automated Reasoning
• Functional Programming
• +5 more

Shachar Itzhaky is an Associate Professor in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. His research spans multiple areas of programming languages, formal methods, and software engineering, with a focus on making program development and verification more accessible and efficient. He has served on program committees for numerous prestigious conferences including PLDI, POPL, SPLASH, and ICFP. Dr. Itzhaky's research interests center around program synthesis, automated reasoning, and formal verification. His work in program synthesis explores techniques for automatically generating programs from high-level specifications, with applications in end-user programming and software development. In automated reasoning, he has made significant contributions to e-graph based reasoning, invariant inference, and property-directed verification. His research in formal methods focuses on practical applications for program verification, particularly for data structures and security properties. An analysis of his recent publications reveals a strong focus on leveraging advanced formal techniques for practical program understanding and generation. His work consistently bridges theoretical foundations with practical applications, particularly in program synthesis, verification, and end-user programming tools. The trend shows increasing integration of machine learning techniques with traditional formal methods, as well as expanding applications to security and privacy domains. ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Dr. Itzhaky has been actively involved in the programming languages research community, serving on numerous program committees and contributing to the advancement of formal methods and program synthesis. His work has practical implications for software development tools, security analysis, and end-user programming environments. While specific grant information isn't detailed in the provided text, his extensive publication record in top-tier venues suggests successful funding for his research endeavors. His work on projects like Object Spreadsheets and Lifty demonstrates a commitment to creating practical tools that address real-world programming challenges. Dr. Itzhaky's research is conducted within the vibrant programming languages and formal methods group at Technion's Computer Science department. His work intersects with multiple research threads including program synthesis, verification, and security, suggesting collaboration across these areas within the department. His tools like EPR-based Verification, PDR∀, and VeriCon represent significant technical contributions that likely form the basis of ongoing research projects with students and collaborators.

Chandrakana NandiView profile

Assistant Professor

• Programming Languages
• Compilers
• Equality Saturation
• +5 more

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She completed her PhD at the University of Washington working with Zachary Tatlock and Dan Grossman in the PLSE research group. Her research focuses on building tools for scaling automated formal verification to real-world programs, particularly for DeFi applications. She works extensively with equality saturation techniques (egg project) and has made significant contributions to computational fabrication through projects like Carpentry Compiler, Szalinski, and LambdaCAD. Her work bridges programming languages, compilers, and digital fabrication, creating novel tools that transform how we design and manufacture physical objects. Nandi's publication record shows a strong trajectory in programming language techniques applied to verification and fabrication. Her work on equality saturation has become foundational in the field, with the egg library enabling state-of-the-art results in compiler optimization and program synthesis. Recent work has expanded into formal verification of smart contracts, demonstrating the versatility of her research approach across different domains. Distinguished Paper Award at OOPSLA 2021 Sigplan Research Highlight for POPL 2021 As Director of US R&D at Certora, she leads research efforts on verification tools for languages like WASM and techniques to help users write formal specifications more easily using mutation testing. She has served in numerous organizational roles for major programming languages conferences including as Workshops Co-Chair for ICFP 2025 and Committee Member for PLDI Review Committee. Nandi has established herself as a leader in the intersection of programming languages and computational fabrication, with her work on equality saturation becoming particularly influential across multiple subfields of programming languages research.

Rachit NigamView profile

Assistant Professor

• Programming Languages
• Computer Architecture
• Hardware Acceleration
• +3 more

Rachit Nigam serves as an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology's School of Engineering. He leads the FLAME Lab, focusing on the intersection of programming languages and computer architecture. His research profile demonstrates significant involvement in major programming languages conferences including PLDI, SPLASH, and ICFP, where he has served in various committee roles from Artifact Evaluation to Student Research Competition Chair. Dr. Nigam's research centers on programming languages and hardware systems, with particular emphasis on creating compilers that transform programs into architectures. His work bridges theoretical type systems with practical hardware implementation, developing tools like Calyx (an intermediate language for hardware accelerator generators) and Dahlia (implementing time-sensitive affine types). His approach combines formal methods with practical compiler design to address challenges in predictable accelerator generation and hardware compilation. His publication record reveals a consistent trajectory in hardware-aware programming language design, with recent work focusing on unifying static and dynamic intermediate languages for accelerator generators. The publications demonstrate expertise across multiple subfields including type systems for hardware timing constraints, modular hardware design methodologies, and synthesis-aided compiler techniques for specialized architectures like DSPs. As an active member of the programming languages community, Nigam has served on numerous conference committees including PLDI, OOPSLA, and LCTES. He has chaired sessions, organized tutorials (including 'DSL-based Hardware Generation'), and contributed to community initiatives like PL Tea. His GitHub presence shows active development in projects related to hardware compilation with significant contributions to repositories like Calyx, Filament, and Dahlia. Dr. Nigam leads the FLAME Lab at MIT, which focuses on creating programming models and compiler infrastructure for hardware acceleration. His work with the Calyx compiler ecosystem represents a significant contribution to the field of hardware accelerator generation, providing tools that enable more predictable and efficient hardware compilation processes. His research has practical implications for domain-specific hardware accelerators and the broader challenge of making hardware design more accessible through programming language techniques.

Naoto TanibataView profile

Assistant Professor

• Battery Materials
• Inorganic Materials Chemistry
• Solid State Ionics
• +3 more

Dr. Naoto Tanibata is an Assistant Professor at Nagoya Institute of Technology, affiliated with the Department of Life and Applied Chemistry in the Graduate School of Engineering. He also holds a concurrent position at Kyoto University's Catalyst & Battery Elemental Strategy Unit. His research focuses on developing advanced materials for next-generation energy storage systems, particularly solid-state batteries. Dr. Tanibata received his academic training at Osaka Prefecture University: PhD in Engineering (2014-2017) Master of Engineering in Material & Chemical Engineering (2012-2014) Bachelor of Engineering in Applied Chemistry (2008-2012) Dr. Tanibata's research centers on advanced battery materials , with particular expertise in all-solid-state batteries using chloride and other novel electrolytes. His work combines computational materials science with experimental electrochemistry to develop high-energy-density storage solutions. Recent projects have focused on: Design principles for high-voltage chloride-based electrodes using HSAB theory Amorphization strategies for enhancing anion redox reactions Machine learning approaches for battery material discovery and optimization Deformability properties of solid electrolytes to prevent lithium dendrite formation His publication record demonstrates a strong focus on overcoming key challenges in solid-state battery technology, particularly addressing issues of ionic conductivity, interfacial stability, and high-voltage operation. Recent work has increasingly incorporated advanced simulation techniques and machine learning to accelerate materials discovery. Dr. Tanibata has received numerous awards for his contributions to battery research: Battery Technology Committee Award (2024) for 'Redox-level tuning for high-potential chloride electrodes' Best Oral Presentation Award (2024) from the Ceramic Society of Japan ECS Japan Branch Young Researcher Special Award (2024) Multiple Young Research Innovator Encouragement Awards Dr. Tanibata leads multiple research projects funded by prestigious organizations including the Japan Society for the Promotion of Science (JSPS), Fujikura Foundation, and Naito Science and Technology Promotion Foundation. His current research focuses on: Redox-level design for high-energy-density chloride electrodes (JSPS Grant 24K17755, 2024-2029) Establishing design guidelines for high-deformability materials for all-solid-state batteries Verification of amorphization-based anion redox utilization for microgrid applications At Nagoya Institute of Technology, Dr. Tanibata leads research within the Department of Life and Applied Chemistry, focusing on the rational design of solid-state battery materials based on solid-state chemistry principles. His work bridges fundamental materials science with practical battery applications for electric vehicles and grid-scale storage.