Find Academic Supervisors

Andrew MyersView profile

Professor

• Programming Languages
• Computer Security
• Distributed Systems
• +3 more

Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .

Thomas P. JensenView profile

Researcher

• Program Analysis
• Software Security
• Abstract Interpretation
• +7 more

Thomas P. Jensen is a Researcher at INRIA Rennes , France, specializing in program analysis , software security , and abstract interpretation . With a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990) and a PhD from Imperial College, University of London (1992), he has led research teams at INRIA, including the Celtique project-team (2010-2022) and currently the Epicure project-team (since 2022). He holds a Habilitation à diriger des recherches from Université Rennes 1 (1999). Research Focus Program analysis with type-based and big-step semantics approaches Certification of static analysis tools for embedded systems Software fault isolation and language-based security Information flow control through hybrid static-dynamic analysis His work spans Java security (including Java Card and mobile telephony) and formal verification of compilers and sandboxes. Notable projects include JavaSec , AJACS , and the CominLabs cybersecurity network. He received a Best Paper Award at GPCE 2018. Publications & Editorial Recent publications focus on algebraic data types , automata-based verification , and control-flow analysis with applications in cybersecurity . He has contributed to the Strategic research and innovation roadmap for SPARTA (2022) as editor. His work appears in top venues like POPL , PLDI , ICFP , and ESOP . Leadership Director of Laboratoire d'Excellence CominLabs (since 2022) Co-chair of VMCAI 2026 and member of PriSC 2024 Program Committee

Eduard Alonso PaulíView profile

Senior Lecturer

• Industrial Economics
• Game Theory
• Corporate Governance
• +3 more

Eduard Alonso Paulí is a Senior Lecturer in the Department of Business Economics at the University of the Balearic Islands , where he has held a tenured position since 2010. He has also served as an Assistant Professor at the Autonomous University of Barcelona and a Visiting Professor at Universidad Pablo de Olavide (2008–2010). Education: Degree in Economics from Universitat Autònoma de Barcelona (2000) PhD in Economics from Autonomous University of Barcelona (2008) His research focuses on industrial economics and the application of game theory to corporate governance, organizational design, and environmental management. He has contributed to journals like Economic Theory , Resource and Energy Economics , and Managerial and Decision Economics , with recent work analyzing corporate incentive structures and information accuracy in firms. He has extensive teaching experience at both undergraduate and postgraduate levels, including courses on organizational design, management control, and master's thesis supervision at institutions like UIB, Universidad Pablo de Olavide, and TBS Barcelona. Currently, he teaches Design of Organisations across multiple degree programs and supervises final-year projects and master's theses. As a member of the Organisational Economics and Strategy Research (GREEO) group, he participates in nationally-funded competitive research projects since 2007. His work spans theoretical modeling and empirical analysis, with working papers on spatial housing markets, recycling behavior, and short-term rental markets.

• Lipidomics
• Metabolomics
• Inflammatory Bowel Disease (IBD)
• +7 more

Lorena Ortega Moreno is an Assistant Professor in the Basic Health Sciences Department at King Juan Carlos University (URJC), Madrid, Spain. Her research focuses on the intersection of lipidomics, metabolomics, and inflammatory bowel disease (IBD) pathogenesis, with particular emphasis on biomarker discovery and gut-brain axis mechanisms. She leads the IMPULSO-URJC project investigating extracellular vesicles in colorectal cancer. Her research interests span: Lipidomics and metabolomics for biomarker discovery in gastrointestinal disorders Adipokine biology in inflammatory and metabolic diseases Long non-coding RNA roles in IBD pathogenesis and treatment response Extracellular vesicle characterization in colorectal cancer Gut-brain axis interactions in neurodegenerative conditions Her work integrates multi-omics approaches to identify non-invasive diagnostic tools and therapeutic targets for IBD and related conditions. Analysis of her 15 most recent publications reveals consistent focus on: IBD biomarker discovery through lncRNA, proteomic, and metabolomic profiling Translational applications of microbiome-derived compounds Metabolite signatures for disease stratification (COVID-19, diabetes complications) Cross-disease applications of lipidomics in neurodegeneration Her methodology emphasizes clinical validation of omics findings for diagnostic applications. Scientific recognition includes: Two Research Quinquennia (Sexenios de Investigación) awarded by ANECA in 2023 Extensive international collaboration network across Europe and US institutions Her advisory and grant portfolio demonstrates strong leadership in translational research: Principal Investigator for IMPULSO-URJC project on extracellular vesicles in colorectal cancer (2025) Recipient of Comunidad de Madrid Talent Attraction Grant (2018-2022) Previous Hearst Foundation postdoctoral fellowship at Joslin Diabetes Center She maintains active collaborations with Hospital Universitario La Princesa and international research groups. Her laboratory work centers on the Gut Immunology Research Lab, utilizing: Multi-omics platforms (lipidomics, metabolomics, proteomics) Extracellular vesicle isolation and characterization Translational animal models for gut-brain axis studies Clinical sample analysis from IBD and colorectal cancer cohorts Current efforts focus on developing non-invasive diagnostic tools for gastrointestinal disorders.

• Sport Biomechanics
• Movement Analysis Technology Development
• Ergonomics
• +6 more

Víctor Soto is a Professor in the Department of Physical Education and Sport at the Faculty of Sport Sciences, University of Granada, Spain, with a distinguished career spanning over three decades in sport sciences research and education. His academic background includes: Licentiate in Physical Activity and Sport Sciences (1990) PhD in Physical Activity and Sport Sciences (1995) Professor Soto's research centers on Sport Biomechanics and Movement Analysis Technology Development, with significant expansion into Ergonomics, Performance Optimization, Musculoskeletal Risk Prevention, Health Promotion through Physical Activity, Virtual Advisors, Artificial Intelligence in Sport, and Exoskeletons. His work bridges biomechanical analysis with technological innovation for sports performance and health applications, maintaining international recognition under UNESCO code 240604. He has directed 17 doctoral theses and secured €11.05 million in research funding, including €10.30 million as Principal Investigator. His leadership includes founding and directing the University Institute for Sport and Health (iMUDS) from 2010-2024, coordinating 121 researchers across 22 groups, and leading the ReceDxT University Chair in partnership with seven companies.

• Agricultural Engineering
• Greenhouse Crop Production
• Ergonomics in Agriculture
• +5 more

Ángel Jesús Callejón Ferre is a Professor in the Department of Engineering at the University of Almería, Spain, with extensive expertise in agricultural engineering, greenhouse technology, and occupational health in agricultural settings. His research spans multiple domains including ergonomic assessment of farm work, psychosocial factors affecting agricultural workers, structural analysis of greenhouse systems, and sustainable agricultural practices. His research interests focus on the intersection of engineering solutions and agricultural productivity, with particular emphasis on improving working conditions in greenhouse agriculture. Through his leadership of the Industrial and Agricultural Technologies Research Group, he has developed methodologies for assessing musculoskeletal risks, optimizing greenhouse structures, and integrating renewable energy solutions into agricultural infrastructure. Analysis of his recent publications (2021-2025) reveals a strong focus on practical applications addressing contemporary challenges in agriculture, including pesticide exposure risk assessment, crop quality optimization, and psychosocial risk evaluation. His work appears consistently in high-impact journals across engineering, horticulture, and occupational health disciplines, demonstrating interdisciplinary relevance and impact. Key Research Themes: Ergonomic assessment in greenhouse agriculture Psychosocial factors in farm labor Greenhouse structural engineering Crop quality and production optimization Sustainable agricultural technologies As Principal Investigator for the Laboratory-Observatory of Working Conditions in the Agricultural Sector of Andalusia (LASA), Professor Callejón Ferre oversees significant research initiatives addressing occupational safety and health in agriculture. His mentorship extends to numerous doctoral students across agricultural engineering and related disciplines, fostering the next generation of researchers in this field.

Jeremy G. SiekView profile

Professor

• Programming Language Design
• Type Systems
• Mechanized Theorem Proving
• +5 more

Jeremy G. Siek is a Professor at Indiana University Bloomington in the School of Informatics and Computing. His research spans programming language design, type systems, gradual typing, mechanized theorem proving, and optimizing compilers. Gradual typing integration in functional languages Co-inventor of the Boost Graph Library Former NSF CAREER award recipient Active in programming language foundations research Jeremy's research focuses on reconciling static and dynamic type checking through gradual typing, with current work on parametricity in polymorphic blame calculus, combining gradual typing with dependent types, and formal criteria for gradual type systems. He investigates high-performance implementations of gradual typing and its application to security enforcement. His recent publications examine verified nanopass compilers, gradual security guarantees, and parameterized cast calculi. He has received multiple distinguished visiting fellowships and maintains the Deduce proof assistant for educational use. NSF CAREER Award (2009) Distinguished Visiting Fellowships (2010, 2015) Jeremy leads the Center for Programming Systems at IU and advises Ph.D. students Tianyu Chen (gradual security) and Darshal Shetty (gradual dependent types). He teaches courses in compilers, data structures, and programming language foundations.

Limin JiaView profile

Research Professor

• Security
• Programming Languages
• Formal Methods

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .

Conrad WattView profile

Assistant Professor

• WebAssembly
• Formal Verification
• Concurrent Programming
• +3 more

Conrad Watt is an Assistant Professor at Nanyang Technological University in Singapore. His research focuses on the formal verification and mechanisation of WebAssembly, particularly its concurrency and security features. He previously held a Research Fellow position at Peterhouse, University of Cambridge. His work bridges theoretical formal methods with practical systems implementation, contributing to standards proposals for WebAssembly's evolution. He co-chairs the W3C WebAssembly Community Group and has served on program committees for POPL, PLDI, and SPLASH. Education: PhD in Computer Science (University of Cambridge, 2021), supervised by Peter Sewell Research interests include mechanisation of programming language specifications, relaxed-memory concurrency, and domain-specific languages for formal semantics. His projects like SpecTec aim to unify WebAssembly's specification across documentation, implementations, and mechanisations. Selected contributions to WebAssembly include: Designing its initial concurrency specification Developing WasmRef-Isabelle as a verified interpreter and fuzzing oracle Creating Iris-Wasm for modular program verification Scientific recognition includes: ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award He advises PhD students in WebAssembly-related topics and leads collaborations with industrial partners like Wasmtime. Current research explores irreducible control flow in WebAssembly, richer concurrency models, and performance optimization through mechanised specifications.

Michael NorrishView profile

Associate Professor

• Formal Methods
• Interactive Theorem Proving
• Programming Languages
• +4 more

Michael Norrish is an Associate Professor at the School of Computing, Australian National University (ANU) , specializing in formal methods, programming language semantics, and interactive theorem proving. His career spans roles at NICTA, Data61, and ANU, with a focus on mechanised mathematics and verified systems. PhD in Computer Science (University of Cambridge, 1999) Undergraduate degree from Victoria University of Wellington His research bridges interactive theorem-proving (ITP) systems like HOL4 with real-world systems verification, particularly in programming languages and compilers. He leads the CakeML project, developing a verified compiler for functional languages. His work intersects formal verification with practical system design, including projects on reproducibility debt in scientific software and verified processors. Recent publications highlight verified compilation techniques, reproducibility challenges, and Kolmogorov complexity formalization. He actively participates in conference program committees (e.g., CPP, PLDI) and promotes trustworthy systems development through tools like HOL4. Current affiliations: ANU, CakeML Project, Trustworthy Systems Research Group (UNSW) Collaborations: Chalmers University (postdoc opportunities), seL4 microkernel ecosystem

Aymeric FromherzView profile

Researcher

• Formal Methods
• Secure Systems
• Rust Verification
• +6 more

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.

• Telecommunications Engineering
• Telematics
• Distributed Systems
• +7 more

María Teresa Ariza Gómez serves as a Full Professor in the Department of Telematics Engineering at the University of Seville, where she has established herself as a leading researcher in telecommunications and educational technology. Her academic career spans over two decades of continuous research contributions and teaching innovation. Professor Ariza Gómez's research interests focus on Telematics Engineering , with specialization in Distributed Systems , CORBA/MMS protocols , and IoT applications . She has pioneered the integration of gamification techniques into engineering education through tools like Kahoot, and developed virtual learning environments that transform programming instruction. Her work bridges theoretical telecommunications concepts with practical industrial applications, particularly in vehicle telematics and service station management systems. Her publication record shows consistent output with recent emphasis on educational technology (2015-2019), including software architecture for health applications and virtual laboratory environments. These works demonstrate her ability to adapt telecommunications expertise to solve problems in diverse domains from healthcare to automotive systems. Professor Ariza Gómez maintains active research through multiple projects including the TIC-154 research group (with continuous funding since 2006) and industry collaborations on Android applications and payment systems for gas stations. Her teaching methodology emphasizes project-based learning , virtual laboratories , and game-based educational resources that enhance student engagement in complex technical subjects. She leads research initiatives that combine telecommunications engineering with practical educational applications, creating innovative teaching tools that have been adopted across engineering disciplines at the University of Seville. Her work on virtualized computing environments has established a flexible, portable model that supports multidisciplinary teaching needs while maintaining technical rigor.

• Machine Learning
• Data Analytics
• Artificial Intelligence
• +3 more

Maria-Cristina Marinescu serves as a Lecturer in the Department of Mathematics and Data Analytics at IQS School of Management. With a strong foundation in computational methods and data analysis, she contributes significantly to both teaching and research within the institution. Her academic profile demonstrates consistent scholarly activity with 44 documented scientific production items spanning over two decades. Dr. Marinescu's research interests center on Machine Learning, Data Analytics, and Artificial Intelligence, with notable applications in epidemic modeling, wireless sensor networks, and programming models. Her work bridges theoretical computer science with practical applications addressing real-world challenges in public health, digital well-being, and medical diagnostics. The fingerprint analysis of her work shows strong emphasis on Machine Learning (100%), Learning Systems (100%), and Transportation Models (100%), with substantial contributions to Programming Models (84%) and Wireless Sensor Networks (77%). Her recent publications reveal a trend toward interdisciplinary research that combines computational methods with societal challenges. She has made significant contributions to epidemic modeling during the COVID-19 pandemic, developing methods for accurate incidence rate estimation in Spain and analyzing information gains from multiple epidemic model outputs. Additionally, her work extends to medical applications including research on ocular ischemia and glaucoma, as well as innovative approaches to automated metadata annotation using machine learning techniques. Dr. Marinescu actively leads and participates in multiple research projects including Uncovering patterns of unconscious reactions to fake content (as Principal Investigator), MobilePressure (focused on reducing children's smartphone exposure), and ADAMIQS: Applied Data Analytics and Modelling IQS . These projects demonstrate her commitment to addressing contemporary issues through data-driven approaches while mentoring students and collaborating with interdisciplinary research teams.