Find Academic Supervisors

Konstantinos TsilionisView profile

Assistant Professor

• Agile Software Development
• Business and IT Alignment
• Model-Based Systems Engineering
• +4 more

Konstantinos Tsilionis is an Assistant Professor in the Department of Industrial Engineering & Innovation Sciences at Eindhoven University of Technology (TU/e), where he conducts research at the intersection of agile software development, business-IT alignment, and enterprise architecture. His work focuses on reconciling agile software development practices at the operational level with strategic organizational intents, with applications particularly in healthcare and telecommunications sectors. His academic background includes: Bachelor's degree in Physics from Aristotle University of Thessaloniki, Greece Master's degree in Business Economics from KU Leuven, Belgium Master's degree in Business Administration (MBA) with specialization in Business Information Management from KU Leuven, Belgium Ph.D. from the Research Center for Information Systems Engineering at KU Leuven, Belgium Tsilionis' research interests span multiple interconnected domains in software engineering and business-IT alignment. He investigates modeling-oriented approaches to drive feature-oriented development processes that deliver value to both end-users and strategic organizational layers. His work explores how agile methodologies can be scaled effectively in large software development projects while maintaining business-IT alignment. He has made significant contributions to understanding the complementarity between different modeling techniques like CMMN and iStar for complex domain problems. Additionally, his research examines diversity-driven power dynamics in software engineering environments, particularly focusing on gender and racial diversity impacts on workplace behaviors. His recent publications demonstrate a strong focus on the intersection of agile software development, enterprise architecture, and business-IT alignment. The research shows a progression from tactical agile implementation concerns toward strategic alignment considerations. Key themes include capability-based management, digital transformation in specific industries, scaling agility in large organizations, and the integration of different modeling approaches to address complex organizational challenges. Tsilionis actively contributes to the academic community through service activities: Program committee member for the International Conference on Business Informatics and ACM Symposium on Applied Computing Reviewer for high-impact journals including Information and Software Technology, IEEE Transactions on Services Computing, and IT Professional He teaches courses on Digitalization and Enterprise Systems and the Design of Business Information Systems at TU/e, connecting theoretical frameworks with practical applications for students. His educational background in both physics and business economics informs his interdisciplinary approach to software engineering research.

• Data Privacy
• Graph Databases
• Semantic Web
• +5 more

Adrien BOIRET is a contractual lecturer-researcher affiliated with INSA Centre Val de Loire and associated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans). His work focuses on data privacy, semantic graph databases, and formal methods. Key Research Areas: Data Privacy, Graph Databases, Semantic Web, Differential Privacy, and Large Language Models (LLMs). His recent publications emphasize privacy-preserving data transformations , graph sanitization , and LLM-driven text anonymization . Collaborative efforts highlight interdisciplinary work in database systems and AI ethics. Contact: adrien.boiret@insa-cvl.fr

Saulius GudasView profile

Professor

• Software Engineering
• Enterprise Modelling
• Information Systems Engineering
• +5 more

Prof. Dr. (HP) Saulius Gudas is an Affiliated Professor in the Cybersocial Systems Engineering Group of the Institute of Data Science and Digital Technologies at Vilnius University . His office is located at Akademijos St. 4, room 603, Vilnius, Lithuania. Education & Background: While explicit degrees are not listed in the provided source, his long-standing professorship and extensive publication record spanning over a decade indicate advanced doctoral training and senior academic status. Research Interests: Prof. Gudas focuses on the intersection of software engineering, enterprise modelling, and knowledge-based systems . Core themes include: Causal knowledge modelling to enhance agile enterprise application development. Model-driven approaches for ensuring business-IT alignment. Deep knowledge-based evaluation and interoperability of enterprise applications. Quality modelling of web services and financial process mining. Publication Trends: Across the most recent works (2017–2024), a clear trajectory emerges from foundational enterprise modelling and interoperability assessment toward leveraging causal models and data analytics to improve agile development processes, service quality, and financial anomaly detection. Doctoral Supervision & Training: Prof. Gudas has successfully supervised the following PhD projects: Andrius Valatavičius – “Assessment of application program interoperability using autonomous computing technologies” (defended 2019). Mindaugas Jusis – “Research on synchronization methods for autonomous port loading processes” (2016–2020). Karolis Noreika – “Evaluation of the application development process using an improved Agile project management method” (2019–2023). Laboratory & Team Involvement: As a senior member of the Cybersocial Systems Engineering Group, he contributes to interdisciplinary projects that integrate software engineering methodologies with socio-technical system analysis within the larger Institute of Data Science and Digital Technologies.

• programming technologies
• architecture-independent parallel programming
• evolutionary software development
• +3 more

Alexander Ivanovich Legalov is a Professor at the Department of Software Engineering within the Faculty of Computer Science at the National Research University Higher School of Economics (HSE). He has been working at HSE since 2020, bringing 47 years of scientific and teaching experience to his role. Prior to joining HSE, he served as a Professor at the Siberian Federal University from 2006 to 2020. Professor Legalov earned his Candidate of Technical Sciences degree in 1983 and was awarded the academic title of Associate Professor in 1987. He achieved the Doctor of Technical Sciences degree in 2005 and was granted the academic title of Professor in 2007. His educational background includes a specialization in "Design and production of radio equipment" with the qualification of "Engineer-designer-technologist of radio equipment" from the Krasnoyarsk Polytechnic Institute in 1978. Professor Legalov's research focuses on programming technologies, particularly architecture-independent parallel programming and evolutionary software development. His work explores innovative approaches to parallel programming, including procedural-parametric programming paradigms and functional-dataflow models. He has made significant contributions to language design and transformation, particularly in extending C language capabilities and developing tools for parallel program development. His research demonstrates a consistent trajectory toward creating more flexible and efficient programming paradigms that can adapt to different architectural constraints. HSE University Honorary Diploma (May 2025) Gratitude from the Faculty of Computer Science, National Research University Higher School of Economics (August 2022) Badge of honor "For the development of students' research work" (October 2006) Professor Legalov actively supervises student research, currently guiding Kosov P.V. in dissertation research for the degree of candidate of sciences on "Language and instrumental means of evolutionary development of programs based on the procedural-parametric programming paradigm." He teaches courses on Computer Architecture and Operating Systems for second-year students in the Software Engineering bachelor's program at HSE. Professor Legalov participates in editorial boards of several scientific journals, including "Systems Management, Communications and Security" since 2017, and "Reports of the Russian Academy of Higher School Sciences" since 2010. His technical contributions include multiple registered software programs for functional-dataflow parallel programming languages.

• Discrete-Event Simulation
• Supply Chain Management
• Logistics Optimization
• +5 more

Guilherme Augusto Borges Pereira serves as an Associate Professor at the School of Engineering, University of Minho, and holds the position of Senior Researcher at Centro ALGORITMI. He is actively involved with the IEM R&D Group and SLOTS R&D Lab, contributing to research in industrial engineering and simulation. With a PhD credential and substantial academic output (93 publications, 645 citations, h-index 13), his work appears prominently in Q1/Q2 journals across operations research and industrial engineering domains. His research program centers on discrete-event simulation methodologies applied to complex industrial systems, with particular expertise in supply chain management, logistics optimization, and big data integration. Key application areas include warehouse automation systems, production line control mechanisms, automotive supply chains, cement industry logistics, and healthcare transportation services. His methodological contributions frequently combine simulation with optimization techniques such as genetic algorithms and integer programming to solve real-world operational challenges. Analysis of his publication trajectory reveals a strategic evolution toward integrating big data analytics with traditional simulation frameworks, particularly for supply chain risk management and data validation purposes. His work demonstrates remarkable cross-sector applicability, spanning automotive manufacturing, cement production, cork industry processes, and urban traffic systems. Recent publications emphasize computational experiments with simulation tools in big data contexts, semantic validation techniques, and comparative studies of simulation software platforms. As an academic leader, Pereira has chaired significant conferences including the European Modeling and Simulation Symposium (EMSS) 2019. His research maintains strong industry relevance through case studies addressing material handling systems, warehouse design optimization, production flow control, and non-emergency patient transportation logistics. His technical proficiency extends across multiple simulation environments with particular emphasis on the Simio platform for industrial applications.

Kitsuchart PasupaView profile

Professor

• Machine Learning
• Deep Learning
• Chemoinformatics
• +7 more

Professor Kitsuchart Pasupa, Ph.D. , is a royal-appointed full professor and Vice Dean for Research & Innovation and International Affairs at the School of Information Technology (SIT) , King Mongkut's Institute of Technology Ladkrabang (KMITL) , Thailand. He has held academic positions at the University of Southampton, University of Sheffield, University College London, IIT Patna, and several European institutes, and is a senior member of both IEEE and the Asia Pacific Neural Network Society (APNNS). Education Ph.D. in Automatic Control & Systems Engineering, University of Sheffield, UK (2007) M.Sc.(Eng) in Control Systems, University of Sheffield, UK (2004) B.Eng. in Electrical Engineering, Sirindhorn International Institute of Technology, Thammasat University, Thailand (2003) Research Focus Professor Pasupa’s research lies at the intersection of machine-learning theory and real-world applications . He designs and deploys algorithms for chemoinformatics, bioinformatics, eye-tracking analytics, cyber-bullying detection, Thai natural-language processing, multimodal fusion, time-series forecasting , and healthcare AI . His work spans from foundational reservoir computing and extreme learning machines to large-scale deep learning systems operating on mobile devices and cloud platforms. Across more than 150 refereed publications , a clear trend emerges: leveraging limited or noisy data, handling concept drift, and delivering interpretable AI solutions for socially impactful domains such as medical imaging, precision livestock farming, financial analytics, and smart-city water management. Scientific Awards & Fellowships APNNS Young Researcher Award 2019 Multiple Best Paper Awards (ICITEE 2024, KST 2019, IC2IT 2018, NCIT 2015, NCCIT 2014) KMITL Honorable Fame Awards (2014–2022) Teaching Excellence Award 2017, KMITL Commander (Third Class) of the Most Noble Order of the Crown of Thailand (2020) Companion (Fourth Class) of the Most Exalted Order of the White Elephant (2017) Grants & Supervision He has attracted >30 M THB in research funding from Thai government agencies, EU (FP7), Indian DST, and industry partners (SCB, KBTG). He currently leads a 2025-2026 KMITL grant on multimodal financial Q/A for Hindi and Thai and has completed projects on cyber-bullying in ASEAN languages, car-parts segmentation, eye-tracking, SNP analytics, waste classification, and smart farming . PhD advisees: 3 current + 6 completed Master’s & Bachelor’s student supervision: >60 theses and projects Internship teams: guided award-winning student teams in international programming contests (NAPROCK, NSC, TICTA) Laboratory & Teams His Intelligent Systems & Machine Learning Research Group at SIT-KMITL collaborates closely with IIT Patna, University of Malaya, Aalto University, and University of Leoben, maintaining an active visiting-scholar program and hosting joint workshops and data challenges. The lab focuses on reproducible research and open datasets in Thai NLP, medical imaging, and smart-city analytics.

Azalea RaadView profile

Researcher

• Program Logics
• Separation Logic
• Weak Memory Concurrency
• +12 more

Azalea Raad is a researcher at Imperial College London, actively contributing to the fields of programming languages, formal methods, and concurrency. She has a strong presence in top-tier academic conferences such as POPL, PLDI, SPLASH, and ICFP, serving in key roles including program committee member, session chair, and organizing committee member across multiple tracks and co-located events. Her research interests center on weak memory concurrency, non-volatile memory, program logics, separation logic, concurrent reasoning, and verification . She has pioneered work in incorrectness logic and under-approximate reasoning , enabling scalable bug detection in concurrent and persistent systems. Her work bridges formal theory with practical systems challenges, particularly in memory models and semantics for C/C++ and assembly-level concurrency. The recent publications highlight a strong trend toward formalizing memory persistency , extending memory models , and developing logical frameworks for bug detection . The keywords across her work include concurrency, verification, program logics, and systems correctness, with sub-fields spanning separation logic, incorrectness logic, TSO, RDMA, and crash consistency. Her research increasingly focuses on scalable and compositional methods for analyzing unsafe libraries and binaries. She has contributed to academic service through organizing workshops such as O'Hearn Fest , The Future of Weak Memory , and Incorrectness , and has co-chaired the Student Research Competition at POPL. While no grants are explicitly mentioned, her leadership in multiple conference tracks suggests active involvement in funded research and student mentorship. Azalea Raad leads or contributes to collaborative research teams focused on formal semantics and verification tools, often working within frameworks like Isabelle/HOL and developing new logical systems for program analysis. Her personal website, https://www.SoundAndComplete.org , serves as a hub for her research outputs and projects.

Sam LindleyView profile

Associate Professor

• Programming Language Design
• Effect Handlers
• Type Systems
• +5 more

Sam Lindley is a Reader (equivalent to Associate Professor) in Programming Language Design and Implementation at the Laboratory for Foundations of Computer Science within the School of Informatics at the University of Edinburgh. He maintains an active research profile in programming language theory and implementation, with a particular focus on effect handlers and type systems. His research interests span multiple dimensions of programming language design, with significant contributions in effect handlers, type systems (particularly modal and linear types), WebAssembly integration, and session types. Lindley's work bridges theoretical foundations with practical implementations, as evidenced by his publications on effect handlers for C and WebAssembly standardization. His research consistently explores how advanced type systems can enable safer and more efficient programming paradigms. The trends in his recent publications (2023-2025) demonstrate a deepening focus on modal effect systems, with increasing connections to memory management (particularly through Rust-inspired approaches), formal language specification, and practical applications in WebAssembly. His work shows a clear progression from theoretical foundations of effect handlers toward concrete implementations and standardization efforts. UKRI Future Leaders Fellowship in Effect Handler Oriented Programming Lindley has been actively involved in the programming language community through service on numerous program committees, including serving as Program Chair for ICFP 2023 and as an Area Chair for PLDI 2025. His mentoring activities include participation in the Programming Languages Mentoring Workshop (PLMW) where he has presented on research, graduate school, and community building. His grant activity is highlighted by the prestigious UKRI Future Leaders Fellowship, which supports his work on effect handler oriented programming. As a member of the Laboratory for Foundations of Computer Science at the University of Edinburgh, Lindley contributes to one of the world's leading research groups in theoretical computer science and programming languages. His work often involves collaboration with researchers across institutions, particularly evident in his WebAssembly-related publications which include multiple international collaborators.

Hartmut SurmannView profile

Professor

• Autonomous Systems
• Robotics
• Rescue Robotics
• +10 more

Professor Hartmut Surmann is a leading academic in robotics at Westphalian University of Applied Sciences, where he heads the Teaching and Research Area for Autonomous Systems and the Robotics Laboratory. With expertise spanning autonomous mobile robots, rescue robotics, machine learning, and 3D computer vision, he has established himself as a key figure in applying robotics to real-world emergency response scenarios. Westphalian University of Applied Sciences, Department of Computer Science and Communication Head of Robotics Laboratory Member of German Rescue Robotics Center (DRZ) Active participant in EU-funded robotics projects Prof. Surmann holds a Diplom in Computer Science from the University of Dortmund (1989) and completed his PhD work on fuzzy systems using genetic algorithms and neural networks. His research interests focus on autonomous systems with particular emphasis on rescue robotics, machine learning, sensor data processing, and 3D computer vision. His work bridges theoretical advancements with practical applications, especially in disaster response scenarios where robotic systems can save lives. His publication record demonstrates a consistent focus on multi-robot collaboration for disaster response, with particular expertise in 3D mapping, sensor fusion, and autonomous navigation systems. His research has evolved from foundational work in neural networks and fuzzy logic to practical implementations of drone and ground robot teams working together in real disaster scenarios. The trend in his work shows increasing sophistication in multi-robot coordination, semantic understanding of environments, and practical deployment of systems in actual emergency situations. Best Paper Award at SSRR 2017 for '3D Registration of Aerial and Ground Robots for Disaster Response' Key contributor to EU-funded TRADR project (2014-2018) Co-founder of German Rescue Robotics Center (DRZ) Active participant in multiple EU robotics projects including NIFTI Prof. Surmann has supervised numerous student projects and theses focused on practical robotics applications. His work has attracted significant research funding through EU projects like TRADR and NIFTI, with practical applications demonstrated in real disaster responses including earthquakes in Mirandola (2012) and Amatrice (2016), as well as industrial fires and flood disasters. His collaborations span academic institutions, emergency services, and industry partners across Europe. The Robotics Laboratory under his direction maintains a diverse fleet of robotic platforms including ground robots (TurtleBot, VolksBot, Baxter), aerial drones, and specialized rescue robots. The lab actively collaborates with emergency services through the German Rescue Robotics Center, providing a bridge between academic research and practical implementation in real-world rescue operations. Current work focuses on AI integration for robotic systems through the AI-Arena project.

• Artificial Intelligence
• Big Data
• Business Model Innovation
• +17 more

Elisabetta Raguseo is an Associate Professor at the Department of Management and Production Engineering (DIGEP) , Politecnico di Torino , and member of the Alta Scuola Politecnica and Future Urban Legacy Lab (FULL) . She serves as Associate Editor for Information & Management and Journal of Travel Research , and previously as Guest Editor for Current Issues in Tourism . Her research interests span Artificial Intelligence , Big Data Analytics , Entrepreneurship , Digital Transformation , and Gender Equality in technology-driven sectors. She focuses on digital leadership , innovation ecosystems , and sustainable business models , particularly in tourism and manufacturing. Recent publications include studies on P2P platform performance during crises , sentiment analysis in tourism , digital startup formation , and AI applications in hospitality . Her work combines quantitative methods with case studies, emphasizing practical implications for policymakers and businesses. Scientific awards include: Marie Curie Intra-European Fellowship (2014) Emerald Literati Award for Excellence (2017) Best Paper Awards at IEEE i-Society (2011) and ITAIS (2012) European Commission Expert (2018) She supervises PhD students and leads EU-funded projects like STRADA2 (2024-2025) empowering women in manufacturing, and INFINITY (2023-2024) on circular competencies in industry. Her teaching includes Survey Research Methods , Management Theories , and courses on Digital Services Economics and Strategic Innovation at Politecnico di Torino.

Baishakhi RayView profile

Associate Professor

• Artificial Intelligence
• Software Engineering
• Programming Languages
• +5 more

Baishakhi Ray is an Associate Professor at Columbia University leading research at the intersection of AI and Software Engineering. She serves as an Amazon Scholar collaborating with Amazon's Agentic AI team and heads the ARiSE Lab focused on making code smarter, safer, and more collaborative through neurosymbolic AI techniques. Her research centers on neurosymbolic approaches that blend machine learning with formal reasoning to enhance software reliability, security, and developer productivity. Key areas include AI for Code, language model development for code generation/transformations, and benchmarking frameworks for evaluating LLMs in software engineering contexts. She pioneers techniques for building trustworthy code through semantics-aware language models and agent-based systems. Recent publications (2024-2025) reveal a strong emphasis on neurosymbolic AI applications across the software lifecycle - from code generation (EditLord, Cycle) and vulnerability detection (Primevul) to test repair (UTFix) and kernel debugging (Kgym). Her work consistently bridges neural and symbolic paradigms to address fundamental challenges in code reliability and developer tooling. Major recognitions include: IEEE CS TCSE Rising Star Award NSF CAREER Award (2019) and IBM Faculty Award (2019) Multiple ACM SIGSOFT Distinguished Paper Awards (2023) NAACL 2025 Oral Presentation and ICSME 2023 Most Influential Paper VMware Early Career Faculty Award (2020) She mentors a dynamic research group including PhD students Yangruibo Ding (recent UCLA faculty hire), Vikram Nitin, Ira Ceka, Jinjun Peng, and Alex Mathai. Research is funded by: Government: National Science Foundation Corporate: Google, IBM, Amazon, Capital One, RedHat Institutional: Columbia Provost’s Grants for Junior Faculty The ARiSE Lab maintains active industry collaborations through Amazon Scholar role and corporate partnerships, driving neurosymbolic AI innovations from theoretical foundations to real-world software engineering applications with ongoing projects in coding agents and secure code transformation.

Titouan CaretteView profile

Assistant Professor

• Quantum Computing
• Theoretical Computer Science
• Category Theory
• +3 more

Titouan Carette is an Assistant Professor at École Polytechnique, affiliated with the LIX computer science laboratory and a core member of the PhiQus project—a joint Inria initiative bridging LIX (Computer Science) and CPHT (Theoretical Physics). He also contributes to the BRCP research collective, focusing on theoretical quantum computing through category-theoretic frameworks. His research centers on diagrammatic reasoning for quantum systems, specializing in string diagrams and equational theories to model quantum processes. Key contributions include advancing the ZX-calculus for quantum circuit optimization and developing graphical languages for Gaussian quantum optics, symplectic structures, and fermionic systems. Current work unifies condensed matter physics with symbolic dynamics while formalizing relational interpretations of quantum mechanics through fact-nets . Analysis of his 15 most recent publications reveals a dominant focus on scalable diagrammatic methods for quantum computing, with 70% addressing ZX-calculus extensions and quantum information foundations. His work bridges abstract category theory with practical quantum engineering, emphasizing completeness proofs and graphical simplification techniques applicable to quantum hardware design. Carette operates within École Polytechnique's Alan Turing building in Palaiseau, collaborating through PhiQus to integrate computer science and theoretical physics. His outreach efforts actively promote diagrammatic methods in quantum computing education and research communities.

S. AkshayView profile

Professor

• Formal Methods
• Automated Functional Synthesis
• Probabilistic Systems
• +4 more

S. Akshay is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay . He is affiliated with the IITB Trust Lab , the Ashank Desai Centre for Policy Studies , and the Centre for Formal Design and Verification of Software Systems . His academic background includes a joint PhD from École Normale Supérieure de Cachan and Chennai Mathematical Institute (2010), postdoctoral work at IRISA/ENS Cachan Bretagne (2012) and National University of Singapore (2011), and earlier degrees from ÉNS-Cachan (2006) and Chennai Mathematical Institute (2004). Research interests focus on formal methods , particularly verification of timed, recursive, and distributed systems; automated functional synthesis; formal modeling of probabilistic and dynamical systems; and trust certification in AI models. Applications span systems biology , cyber-physical systems , and artificial intelligence . His recent publications emphasize verification techniques for Markov chains, timed automata, and Boolean functional synthesis, with algorithmic advancements in probabilistic inference, quantifier elimination, and robustness analysis. Professional activities include serving as Treasurer and Council Member of the Indian Association for Research in Computer Science (IARCS). He has co-chaired FSTTCS 2016 and ATVA 2024, and participated in program committees for major conferences like AAAI, CAV, and LICS. Teaching roles at IIT Bombay include courses on Discrete Structures , Formal Models of Concurrent Systems , and Quantitative Verification . Collaborative projects involve institutions such as University of Waterloo, IIT Delhi, and IRISA, Rennes.

• Health Informatics
• Electronic Patient Records
• Healthcare Workflow Systems
• +4 more

George Vassilacopoulos is a Professor at the University of Piraeus, Greece, where he holds multiple leadership roles including Director of the Health Informatics Laboratory, Director of the Post-graduate Programme in Digital Systems and Services, and Deputy President of the University Council. He previously served as Vice Rector of Academic Affairs and Chairman of the Department of Digital Systems for over a decade. His professional experience spans private and public sectors, including roles as a Health Informatics advisor to the Greek Ministry of Health, board member of major hospitals, and advisor to the National Emergency Medical Service. He holds a PhD from the University of London. His research focuses on electronic patient records, healthcare workflow systems, service-oriented healthcare architectures, and healthcare security, with a particular emphasis on interoperability, big data analytics, and mobile health solutions. His recent publications emphasize advancements in holistic health records, cloud-based healthcare systems, and privacy-preserving access mechanisms. He has contributed to numerous national and EU-funded projects, authored four books, and serves on editorial boards for academic journals and conferences. Key recognitions include his Fellowship with the British Computer Society and leadership in international organizations like the Workflow Management Coalition and IMIA.

John Paul ShenView profile

Professor

• Modern Processor Design
• Instruction-Level Parallelism
• Dependable Computing
• +3 more

John Paul Shen is a Distinguished Service Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), based at the Silicon Valley campus. With over three decades of experience in academia and industry, he has held prominent roles including founding director of Nokia Research Center-North America Lab (2007–2012) and director of Intel’s Microarchitecture Research Lab (2000–2006). His academic career includes a tenured professorship at CMU’s ECE Department from 1990–2000 and a return to CMU in 2015 as a tenured professor. Education: Ph.D. in Electrical Engineering, University of Southern California M.S. in Electrical Engineering, University of Southern California B.S. in Electrical Engineering, University of Michigan Research Focus: Modern Processor Design: Specializes in superscalar processors, instruction-level parallelism (ILP), and microarchitecture validation tools like VMW (Visualization-Based Microarchitecture Workbench). Neuromorphic Computing: Develops energy-efficient temporal neural networks (TNNs) and CMOS implementations for sensory processing. Edge AI: Focuses on low-precision accelerators, sparsity exploitation, and real-time data analytics for edge devices. Dependable Computing: Leverages idle processor resources for error-checking and fault tolerance. Awards & Impact: Recipient of multiple teaching awards during his CMU tenure. Supervised 17 Ph.D. students and dozens of M.S. students, with notable contributions to compiler design and parallel computing. Authored two influential textbooks, including Modern Processor Design: Fundamentals of Superscalar Processors , used at Stanford. Generated over 100 patents and 200+ papers at Nokia and Intel, with a focus on mobile computing and hardware architecture innovations. Labs & Collaborations: Founded and led the Nokia Research Center-NAL, advancing mobile Internet and computing. Directed Intel’s Microarchitecture Research Lab, advancing IA32/IA64 processor designs. Current research at CMU Silicon Valley focuses on neuromorphic systems, wearable computing, and real-time data analytics.