جستجوی استاد راهنمای دانشگاهی

Javier García González is a Full Professor in the Department of Electrical Engineering at the School of Engineering, Comillas Pontifical University, Madrid. He has been a key researcher at the Technological Research Institute (IIT) since 1996 and served as Deputy Director of IIT from 2016 to 2022. He holds a Ph.D. in Industrial Engineering from Comillas, awarded the best thesis in its category by the Royal Academy of Doctors. He has held visiting positions at MIT and Lawrence Berkeley National Laboratory. Education: Ph.D. in Industrial Engineering, Comillas Pontifical University (2001) Industrial Engineering (Electricity), ETSEIB, UPC Barcelona (1996) His research focuses on decision support systems for the electricity sector , applying optimization techniques to power system modeling, energy market design, and renewable integration. He has led over 80 research projects for utilities and institutions, with expertise in hydro scheduling, energy storage, and market modeling. His recent work emphasizes microgrid optimization , deep reinforcement learning , and pumped storage hydropower . The trends in his publications reveal a strong focus on optimization under uncertainty , market participation of storage and renewables , and advanced modeling of hybrid AC/DC systems . His work bridges engineering and economics, often involving stochastic programming and real-world applications. Scientific Awards: Best doctoral thesis, Royal Academy of Doctors (2001) Outstanding reviewer, Electric Power Systems Research (2017) He has supervised six doctoral theses and currently mentors a Ph.D. student. He has been principal investigator in numerous national and EU-funded projects, including TWENTIES and OptiREC. He has also delivered training courses at MIT and for industry partners like Endesa. He is actively involved in professional service, having organized the IEEE PowerTech 2021 conference and served on thesis committees at UPC, TU Delft, and Universidad Politécnica de Madrid. He is a long-standing reviewer for top journals such as IEEE Transactions on Power Systems , Applied Energy , and Energy Policy .

• Decision support models in the electricity sector
• Optimization techniques
• Electric power system modeling
• +۷ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .

• Software Security
• System Security
• Formal Methods
• +۲ مورد دیگر

Professor Alvaro Gil Gonzalez is affiliated with the Higher Technical School of Engineering at the University of Santiago de Compostela . As a researcher at the Materials Institute (iMATUS) and member of the Strategic Grouping in Materials (AEMAT) , he specializes in Soil Science and Agricultural Chemistry while leading research in ceramics, industrial materials, and advanced manufacturing techniques through his leadership of the CMInd research group. PhD in Chemistry (University of Santiago de Compostela, 2000) Focus on 3D printing, catalytic materials, and sustainable construction Active in European research projects (2007–2023) His research interests span: 3D Printing of functional ceramics and catalytic systems Catalysis for chemical reactions and environmental applications Sustainable Materials using agricultural waste (argan shells, wheat straw) Ceramic Science including alumina composites and photonic crystals Environmental Engineering through industrial waste recycling Recent publications (2017–2025) demonstrate expertise in: 3D-printed catalytic systems Waste-to-resource material design Graphene-oxide composites Metal-free photocatalysis Nanostructured healthcare materials Photonic crystal fabrication As a faculty member at USC, he combines academic leadership with experimental innovation in advanced material synthesis and characterization techniques.

• Materials Science
• Soil Chemistry
• Catalysis
• +۴ مورد دیگر

Jose Ignacio Rojas Gregorio is an Associate Professor at the Department of Physics, School of Telecommunications and Aerospace Engineering (EETAC) at the Polytechnic University of Catalonia (UPC). With over 160 documented research activities, he specializes in mechanical properties, viscoelasticity, wind energy systems, and computational fluid dynamics. His work bridges fundamental materials science with practical applications in renewable energy, particularly wind power optimization and thermally-driven wind phenomena. His research interests span mechanical properties and viscoelastic behavior of materials, wind energy systems, computational fluid dynamics for wind resource assessment, non-destructive testing methods, and earthquake precursors. Dr. Rojas Gregorio's work has significant practical applications in renewable energy, particularly in optimizing wind turbine performance through advanced flow control techniques and understanding sea-breeze phenomena for energy generation. His research demonstrates a strong interdisciplinary approach connecting materials science with renewable energy engineering. His recent publications show a concentrated focus on wind energy optimization, particularly through advanced flow control techniques for wind turbines. He has been actively researching sea-breeze phenomena and their potential for wind energy generation in the Llobregat river delta region of Spain, as well as the mechanical properties of advanced materials including glasses and composites for aerospace applications. His work combines experimental, numerical, and analytical approaches to address complex engineering challenges. 4th MedGU Annual Meeting-Best Paper Award - Track 1. Atmospheric Sciences, Meteorology, Climatology, Oceanography (2024) Dr. Rojas Gregorio has advised doctoral students including Athota, Rathan on "Numerical Analysis of Thermally-Driven Winds in Mountain-Valley Regions." His research is supported by multiple competitive R&D projects including WOW-CONTROL and Optimum Active Flow Control implementation in large-scale wind turbines. He collaborates extensively with researchers across multiple institutions on projects related to wind energy, materials science, and computational modeling. He is affiliated with several research groups at UPC including GCM (Materials Characterization Group), CTE-CRAE (Space Science and Technology Research Group), and PTP-GlaDyM (Phase transitions, polymorphism, glasses and dynamics of the metastability). These groups provide collaborative environments for interdisciplinary research spanning materials science, aerospace engineering, and renewable energy technologies.

• Mechanical Properties
• Viscoelasticity
• Wind Energy
• +۴ مورد دیگر

Alexandre Santos Francisco is Professor of Fluid Mechanics at Fluminense Federal University (Universidade Federal Fluminense) in Brazil, holding a PhD in Nuclear Engineering. He will soon serve as Visiting Professor at the ERC Advanced Grant project DyCon under Prof. Enrique Zuazua (FAU, University of Deusto, and Universidad Autónoma de Madrid), focusing on computational mathematics and porous media research. His academic credentials include: PhD in Nuclear Engineering (1994–2000), Federal University of Rio de Janeiro Master's Degree in Nuclear Engineering (1990–1993), Federal University of Rio de Janeiro Bachelor's Degree in Mechanical Engineering (1984–1990), Federal University of Rio de Janeiro Internship at Petrobras (1988) Francisco's research centers on porous media, computational mathematics, and computational fluid mechanics, with emphasis on numerical methods for heterogeneous media flows. His work bridges nuclear engineering safety, environmental contaminant transport, and industrial process optimization through advanced simulation techniques. Analysis of his 15 most recent publications reveals dominant trends in multiscale modeling for porous media, parallel computing implementations, and reliability assessment in nuclear systems. Key application areas include waste disposal simulation, steam generator integrity, and multiphase industrial processes, consistently integrating mathematical rigor with engineering challenges. No scientific awards are documented in the provided materials. While student advisement details are absent, his upcoming ERC Advanced Grant project DyCon involvement signifies active grant-funded research. The project will expand his work on mathematical control theory for complex systems under Prof. Zuazua's supervision. He collaborates internationally through the ERC DyCon project, leveraging expertise in numerical methods to address multiscale dynamics in porous media, with future work likely advancing computational techniques for energy and environmental applications.

• porous media
• computational mathematics
• computational fluid mechanics
• +۳ مورد دیگر

Juan Andrade Cetto is a Researcher at the Institute of Robotics and Industrial Informatics (IRI), part of the Spanish National Research Council (CSIC). He previously served as Director of IRI from 2014 to 2020. His expertise spans mobile robotics, computer vision, and neuromorphic systems. He holds a BSEE from CETYS University (1993), an MSEE from Purdue University (1995), and a PhD in Robotics from the Universitat Politècnica de Catalunya (UPC, 2003), recognized with the EURON Georges Giralt Best PhD Award in 2005. Research Interests: - Mobile Robotics and Autonomous Systems - Event-based Vision and Neuromorphic Sensors - Real-time Sensor Fusion and SLAM - Control Systems for Energy Conversion (e.g., PEM Fuel Cells) - Probabilistic Methods for Robotics and Computer Vision Recent Research Trends: His work emphasizes neuromorphic computing and event-based systems for robotics applications, including optical flow estimation, ego-motion tracking, and real-time SLAM. Collaborations include EU projects like ALLIES (AI for Sustainable Development Goals) and RAMON LLULL (AIRA Postdoctoral Programme). He leads the BOMBUS project (Perception and Navigation for Agile Robotics, 2024–present). Scientific Awards: EURON Georges Giralt Best PhD Award 2005 Grants & Leadership: Principal Investigator in multiple national/EU projects including BOMBUS (CSIC) and ALLIES (European). Advising: - Current Students: José Agustín Aguilar Plazaola (Fuel Cell Control), Raquel De Frutos Arranz (Event Camera-based Collision Avoidance) - Past Students: Not explicitly listed in provided text. Labs & Teams: Active in IRI’s Robotics and Industrial Informatics research groups, focusing on applied robotics and sensor systems.

• Mobile Robotics
• Computer Vision
• Neuromorphic Systems
• +۳ مورد دیگر

Al Omar Mesnaoui is a Researcher at the Polytechnic University of Catalonia (UPC), affiliated with the Department of Mechanical Engineering at the Manresa School of Higher Engineering (EPSEM). He specializes in materials science, metallurgy, and robotics, focusing on the thermo-mechanical behavior of metals and advanced manufacturing processes. His work includes developing neural network models for steel processing and designing robotic systems for industrial applications. He has contributed to over 88 academic activities, including peer-reviewed articles, books, and projects funded by national and international grants. Notably, he has received the 6th Quality Prize in University Teaching. Education: Licenciado en Ciencias Físicas (Solid-State Physics) and Doctor en Ciencias Físicas (Materials Science and Metallurgical Engineering). He is part of research groups TECNOFAB and DigiFACT, focusing on advanced manufacturing and digital factory technologies. His projects include PulmoFlow (low-cost respiratory diagnostics) and AI-based education initiatives in mechanical engineering. Key research areas include microalloyed steel deformation, robotic co-workers, and biomechanical modeling of human movement post-stroke. He has collaborated extensively with colleagues like Peña-Pitarch and Alcelay on topics ranging from material processing maps to humanoid robotics. His work bridges materials science with industrial applications, emphasizing sustainable and intelligent manufacturing systems.

• Materials Science
• Mechanical Engineering
• Metallurgy
• +۳ مورد دیگر

Simo Alami is a Ph.D. candidate and Tutor at Ecole Polytechnique, affiliated with the LIX computer science laboratory under the supervision of Professor Jesse Read. He teaches tutorials for the Advanced Machine Learning and Autonomous Agents course (Computer Science, Ingénieur 3A/Master1) since 2020, focusing on practical implementations of machine learning algorithms and autonomous systems. His academic background includes undergraduate and graduate studies in Mathematics and Computer Science at Université Pierre et Marie Curie and Ecole CentraleSupélec. Ph.D. Candidate, Ecole Polytechnique (2020-Present) Master's Studies, Mathematics and Computer Science, Université Pierre et Marie Curie and Ecole CentraleSupélec Alami's research centers on developing algorithms that learn from experience through self-learned metrics, with core expertise in Deep Learning, Inverse Reinforcement Learning, and Metric Learning. His work targets robotic applications where agents must perform novel tasks by understanding logical concepts, while also extending to energy management systems through non-invasive load monitoring. He explores how meta-learning frameworks can enable transferable reward structures across domains. His publication record reveals a strong trajectory in distributional reinforcement learning and inverse reinforcement learning using generative models, with significant contributions to metric learning for clustering and energy disaggregation. The consistent focus on transferable methodologies across robotics and smart grid applications demonstrates his interdisciplinary approach to solving real-world problems through advanced machine learning techniques. Scientific recognition includes: Nvidia Grant awarded in 2022 for research on Meta-Inverse Reinforcement Learning 3rd Prize at Hi Paris Hackathon (2021) for a reinforcement learning-based smart grid energy management solution While not supervising graduate students as a Ph.D. candidate, Alami has secured competitive external funding including the Nvidia research grant. His industry collaboration with Accenta during a visiting researcher position resulted in ECML 2022 publications on non-invasive load monitoring, highlighting his ability to bridge academic research with practical engineering applications. As an active member of the LIX laboratory at Ecole Polytechnique, Alami participates in cutting-edge computer science research while maintaining external collaborations. His visiting researcher position at Accenta demonstrates engagement with industry partners, and his organization of the IRT SystemX Electromobilité et territoires webinar in 2021 reflects leadership in knowledge dissemination within the energy and mobility research community.

• Deep Learning
• Reinforcement Learning
• Inverse Reinforcement Learning
• +۴ مورد دیگر

Roger Espasa Sans is a senior academic and researcher at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the Department of Computer Architecture. He has made significant contributions to computer architecture, particularly in vector processing, GPU design, and performance optimization. Universitat Politècnica de Catalunya (UPC) Faculty of Informatics of Barcelona (FIB) Department of Computer Architecture His research focuses on advanced computer architecture, including vector and superscalar processors, memory systems, instruction-level and data-level parallelism, GPU microarchitecture, and performance modeling. His work bridges theoretical design and practical implementation, especially in high-performance and embedded systems. The recent articles highlight a strong trend in GPU and shader optimization, memory redundancy elimination, and performance modeling. His publications span prestigious venues such as IEEE Microarchitecture Symposium, IEEE HPCA, and The Visual Computer, indicating sustained impact in the field of computer systems and architecture. Premiada (Awarded activity) Roger Espasa Sans has advised several doctoral students, including Manel Fernandez Gomez and Francisca Quintana Domínguez, contributing to the next generation of computer architects. His collaborative network is extensive, involving key figures like Mateo Valero and international institutions. While specific grants are not listed, his prolific output suggests sustained funding. He has contributed to major research groups such as CAP (High Performance Computing Group). He is a core member of the CAP - Grup de Computació d'Altes Prestacions (High Performance Computing Group), and has also been associated with PM - Programming Models and ARCO - Microarchitecture and Compilers. His work often involves simulation frameworks like JINKS and Asim, indicating a strong focus on performance evaluation and modeling.

• Computer Architecture
• Vector Processors
• GPU Microarchitecture
• +۹ مورد دیگر

Anuska Mosquera Corral is an Associate Professor of Chemical Engineering at the University of Santiago de Compostela (Spain) since 2007. She holds a PhD in Chemical Sciences from the same university (1998), focusing on nitrogen removal from industrial effluents. Her postdoctoral research at TU Delft (2000–2001) specialized in aerobic granular reactors and autotrophic denitrification. She later integrated molecular biology techniques (FISH/DGGE) for microbial community analysis (2005) and pioneered biopolymer production from wastewater using mixed cultures (2011). Education: Bachelor's in Industrial Chemistry (USC, 1992) MSc in Chemical Engineering (USC, 1993) PhD in Chemical Engineering (USC, 1998) Positions: Associate Professor (USC, 2012–present) Assistant Professor (USC, 2003–2011) Postdoctoral Researcher (TU Delft, 2000–2001) Her research focuses on biological wastewater treatment , including nitrogen/carbon removal , aerobic granular reactors , and Anammox processes . She also investigates biopolymer (PHA) production from industrial effluents and employs microscopy techniques (FISH) to study microbial communities. Recent work emphasizes circular economy strategies for saline wastewater valorization and low-strength wastewater treatment in aquaculture. Her articles highlight advancements in granular sludge stability, food waste integration into urban water systems, and nitrogen removal via free nitrous acid. Her work spans environmental biotechnology and sustainable engineering , with applications in industrial and municipal wastewater management. Awards: ELAN® Technology Award (2014) Best Oral Communication (2013) Pilot-Scale Granular Reactor Innovation (2010) Grants & Projects: Leading the BIOPIGMA project (livestock waste biorefinery) IGNICIA-funded biopolymer production from fatty waste National network on holistic wastewater resource recovery She advises doctoral and master’s students on topics like PHA production , salinity effects , and bioreactor design . Her lab, part of the BIOGROUP Environmental Biotechnology , collaborates internationally on sustainable wastewater solutions.

• Biological Wastewater Treatment
• Aerobic Granular Reactors
• Anaerobic Ammonia Oxidation (Anammox)
• +۴ مورد دیگر

Javier Tarrío Saavedra is a faculty member in the Department of Mathematics at the University of A Coruña, Spain, where he contributes to the College of Engineering. His academic role centers on statistics and operational research, with extensive teaching and research engagement across multiple engineering and sustainability-focused programs. His research interests span a wide interdisciplinary spectrum, including Statistical Quality Control, Industrial Statistics, Statistical Learning, Materials Science, Thermal Analysis, Rheology, Naval and Ocean Engineering, Energy Efficiency, and Epidemiology . He applies advanced statistical methods to real-world problems in industrial processes, environmental monitoring, and marine technology. His work often integrates machine learning and data science techniques for predictive modeling and process optimization. The recent publications highlight strong trends in applying statistical models to marine engineering, material degradation, energy efficiency, and environmental sustainability . Many studies involve collaboration with interdisciplinary teams, focusing on data-driven solutions for industrial and ecological challenges. His work frequently appears in journals related to chemometrics, thermal analysis, maritime technology, and environmental science. He has directed or co-directed numerous master’s and final-year theses, indicating active involvement in student mentorship. His collaborative research projects are funded by national (Ministerio de Ciencia), regional (Xunta de Galicia), and international (CNRS, Sweden) agencies, reflecting broad academic impact. He is a member of the research group Modelización, Optimización e Inferencia Estadística , contributing to applied statistical modeling in science and engineering.

• Statistics
• Industrial Statistics
• Statistical Quality Control
• +۱۴ مورد دیگر

Ángeles Ivón Rodríguez Villarreal is a Senior Lecturer in the Department of Mechanical Engineering at the Universitat Politècnica de Catalunya (UPC), affiliated with the School of Industrial, Aerospace and Audiovisual Engineering of Terrassa. She is a key member of the UPC CATMech research group, focusing on advanced mechanical technologies with applications in biomedical engineering. Her research interests include Microfluidics, Microfabrication, Lab-on-chip Devices, Point-of-Care Diagnostics, Blood Manipulation, and Non-invasive Sensing . Her work bridges engineering and healthcare, developing miniaturized systems for diagnostics and monitoring. She has contributed to innovations in sweat sensing, lactate detection, hematocrit measurement, and water quality monitoring. Her recent publications (2021–2024) reflect a strong trend in biomedical microsystems , with applications in liquid biopsy, environmental monitoring, and sustainable diagnostics. She frequently publishes in high-impact journals such as Lab on a Chip , IEEE Transactions on Biomedical Engineering , and Sensors . She has received recognition from the Colegio de Ingenieros Mecánicos, Electricistas y Electrónicos de Nuevo León, A.C. (CIMENL, A.C.). Dr. Rodríguez Villarreal is actively involved in advising educational innovation projects, such as those enhancing transversal competencies in virtual instrumentation and integrating horizontal skills in biomedical engineering curricula. She has participated in numerous competitive R&D+i projects, including those on autonomous water quality monitoring, microfluidic cell separation, and portable diagnostic devices. Her research is supported by national and regional funding programs, including the Spanish State Research Plan. She collaborates extensively with researchers such as Jordi Colomer, Joan Cid, Josep Samitier, and Aurora Hernández Machado . Her work is conducted within the UPC CATMech center, a TECNIO-certified research network, and she is linked to the Catalan Plastic Centre (CCP), indicating industry collaboration in materials and device fabrication.

• Microfluidics
• Microfabrication
• Lab-on-chip Devices
• +۵ مورد دیگر

Juan Luis Zamora Macho is an Associate Professor in the Department of Electronics and Automation at the School of Engineering, Comillas Pontifical University. He is also a researcher at the Technological Research Institute (IIT), where he has been affiliated since 1991. His academic and research career is deeply rooted in electrical systems, with a focus on control, identification, and signal processing. His research interests include control systems , system identification , signal processing , power electronics , and renewable energy integration . He has made significant contributions to the development of control strategies for dynamic voltage restorers, unified power quality conditioners, and HVDC systems. His work bridges theoretical control design with practical applications in smart grids and industrial automation. The analysis of his recent publications (2018–2023) reveals a sustained focus on power quality improvement , harmonic suppression , and advanced control algorithms (e.g., resonant, repetitive, and multi-reference-frame controllers) applied to power electronics devices. Earlier works emphasize motor control and parameter estimation in induction machines, showcasing a long-term research trajectory in system modeling and real-time control. Director of the Connected Industry Chair Award for the best Final Degree Project 2022-23 Director of the 1st Prize, ICAI Industrial Innovation Association, for the best Final Year Project 2010-11 Juan Luis Zamora Macho has supervised multiple PhD students, including M. Ochoa and J. Roldán-Pérez, and currently advises J. García-Aguilar and D. Cubillo Llanes. He has led numerous research projects funded by public agencies (e.g., Ministry of Science, FEDER) and industry partners such as Siemens Gamesa, Gamesa, and Endesa. His project portfolio includes work on wind turbine integration, HVDC-VSC systems, and smart grid technologies. He has also delivered training courses and organized academic events, demonstrating strong engagement in knowledge transfer and academic leadership. He is actively involved in research teams and laboratories focused on power systems and control at IIT, contributing to both fundamental and applied research in electrical engineering. His collaboration network includes researchers from national and international institutions, reflected in joint publications and technical reports.

• Control Systems
• System Identification
• Signal Processing
• +۷ مورد دیگر

Dr. Francisco Javier Renedo Anglada is a Guest Researcher at the Instituto de Investigación Tecnológica (IIT), affiliated with the Higher Technical School of Engineering (ICAI) at Comillas Pontifical University, Spain. He has been actively involved in research at IIT since 2012, with a formal position since 2021. His work is centered on electrical systems, particularly in the domain of power system stability and HVDC technologies. Industrial Engineer (Electrical), ICAI - Comillas Pontifical University (2010) Master in Mathematical Engineering, Carlos III University of Madrid (2013) PhD in Engineering Systems Modeling, ICAI - Comillas Pontifical University (2018) His research interests focus on the stability and control of modern power systems. Key areas include multi-terminal VSC-HVDC systems , power system stability (especially transient and small-signal), power electronics applications in grids, and challenges in systems with high renewable energy content and low inertia. He has developed simulation tools and control strategies to enhance grid resilience. The analysis of his recent publications reveals a strong trend toward solving stability issues in hybrid AC/DC grids, particularly using DC segmentation, fast voltage boosters, and coordinated control of VSC-HVDC systems. His work addresses critical challenges like intra-area oscillations, transient stability in 100% inverter-based systems, and frequency support in low-inertia grids, reflecting a consistent focus on enabling high renewable integration. His scientific achievements include: Honorary Distinction for the best Doctoral Thesis in Engineering, Comillas Pontifical University (2019) Dr. Renedo has supervised PhD students and contributed to numerous national and international research projects funded by the European Commission (Horizon 2020), Spanish Ministry of Science, IRENA, IADB, and industry partners like Iberdrola and Endesa. He serves as a reviewer for IEEE Transactions on Power Systems and is an active member of IEEE and CIGRE Working Group C4B4.52, contributing to guidelines on sub-synchronous oscillations in power electronics-dominated systems. He has been involved in several research laboratories and teams, primarily within the IIT’s Electrical Systems area, focusing on modeling, control, and simulation of hybrid power systems. His work often involves collaboration with international universities and industry stakeholders.

• Power System Stability
• Multi-terminal VSC-HVDC Systems
• Power Electronics in Power Grids
• +۷ مورد دیگر

KC Sivaramakrishnan serves as an Adjunct Professor at the Indian Institute of Technology, Madras and CTO of Tarides, bridging academic research and industrial application in programming languages and systems. His dual roles reflect a commitment to advancing both theoretical foundations and practical implementations in computer science. His research spans Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, and Weak Memory/Consistency models, with particular focus on the OCaml programming language. Sivaramakrishnan's work addresses fundamental challenges in concurrent and distributed systems through innovative language design and runtime techniques. Analysis of his publication record reveals a consistent trajectory from foundational work on effect handlers and concurrency models (2015-2020) to more recent contributions in verified systems, multicore programming, and distributed data types (2021-2025). His research demonstrates strong continuity in exploring how programming language principles can solve real-world systems challenges. Sivaramakrishnan actively contributes to the academic community through program committee memberships across major PL conferences including POPL, PLDI, ICFP, and SPLASH. His service spans multiple roles from committee member to track chair and diversity co-chair. As CTO of Tarides, he leads industrial efforts in OCaml compiler development and systems programming, maintaining a productive synergy between his academic research and industry leadership. His work with the OCaml community includes significant contributions to multicore support and effect handler implementations.

• Functional Programming
• Language Runtimes
• Concurrency
• +۵ مورد دیگر