Find Academic Supervisors

Stefana ParaschoView profile

Assistant Professor

• Digital Fabrication
• Robotic Construction
• Sustainable Architecture
• +3 more

Stefana Parascho serves as Tenure Track Assistant Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL) within the School of Architecture, Civil and Environmental Engineering (ENAC), specifically in the Institute of Architecture (IA). She leads the Laboratory for Creative Computation (CRCL) and concurrently heads the Diversity Office at ENAC, demonstrating dual commitments to technological innovation and institutional equity. Her research pioneers intersections of digital fabrication, robotics, and sustainable architecture, with particular focus on transforming construction waste into valuable resources. Through computational design and robotic assembly, she develops novel methodologies for upcycling concrete rubble and timber into structurally sound building components, directly addressing circular economy challenges in construction. Her work bridges theoretical frameworks with physical prototyping, emphasizing human-robot collaboration and material reintegration. Analysis of her recent publications reveals a cohesive trajectory toward waste valorization through digital processes, with concrete rubble masonry and timber reuse forming the core technical pillars. These investigations consistently integrate robotic fabrication, structural validation, and circular design principles across 15+ publications since 2023, establishing new paradigms for resource-efficient construction. As an academic advisor, she supervises four PhD candidates (Grangeot Maxence, Skevaki Eleni Maria, Vallat Gabriel Rémi, Wang Jingwen) while contributing to architectural education through courses like "Digital design and making: A critical introduction" that merge technical skill development with theoretical critique. Her leadership extends to the ENAC Teaching Committee and institutional diversity initiatives, reflecting comprehensive engagement with academic community development. Her operational base at CRCL (https://crcl.epfl.ch) provides the technical infrastructure for robotic experimentation, while her Diversity Office role (https://www.epfl.ch/schools/enac/about/diversity-office/) demonstrates parallel commitment to inclusive academic environments. This dual focus positions her at the forefront of both technological innovation and cultural transformation within architectural academia.

Clotaire MichelView profile

Lecturer

• Risk Management
• Technology Assessment
• Seismic Risk
• +2 more

Dr. Clotaire Michel serves as a Lecturer in Risk Assessment and Risk Management at ZHAW School of Engineering, where he also holds roles as Deputy Programme Director for MAS/DAS/CAS Integrated Risk Management (IRM), Module Manager for Risk Management (Bachelor), and Coordinator for the CAS Risk Assessment program. His academic work spans Technology Assessment in the Master Circular Economy Management program and MSE module coordination. His educational background includes a PhD in Earth Sciences from Université Grenoble Alpes (2004-2007), an Ingénieur Civil des Mines (Engineering Geology) from Ecole Nationale Supérieure des Mines de Nancy (2001-2004), and a Master in Earth Sciences from Université Grenoble Alpes (2003-2004). Continuing education includes CAS Earthquake Engineering (HSLU, 2023) and Habilitation à diriger les recherches (Université Grenoble Alpes, 2017). Michel's research focuses on interdisciplinary risk management, integrating seismic risk assessment, technology evaluation, and climate resilience. His work bridges engineering geology with practical safety applications, particularly in structural safety, fire protection systems, and earthquake engineering. Current projects address circular economy risk frameworks and regulatory compliance in European safety standards. His 15 most recent publications (2020-2025) reveal evolving expertise from traditional seismic site characterization toward broader risk domains including climate adaptation and fire safety. Key trends include methodological advances in ambient vibration analysis for structural monitoring and practical applications of risk assessment frameworks in European regulatory contexts. Professional networks include Verein Risiko und Sicherheit, Netzwerk Risikomanagement, Institut pour la maîtrise des risques (ImdR), Association Française du génie ParaSismique (AFPS), and Schweizer Gesellschaft für Erdbebeningenieurwesen und Baudynamik (SGEB). His industry role as Project Manager/Section Leader at Risk&Safety AG complements his academic work in hazard and risk analysis. As Deputy Programme Director for IRM, Michel oversees curriculum development and program coordination for professional risk management education. His research group within ZHAW's Technology Assessment focus conducts field studies on structural safety systems and develops risk assessment protocols adopted by Swiss safety agencies.

Gene ZakView profile

Associate Professor

• Laser Welding of Plastics
• Laser-based Precision Manufacturing
• Additive Manufacturing
• +3 more

Gene Zak serves as Associate Professor in the Department of Mechanical and Materials Engineering within Queen's University's Faculty of Engineering and Applied Science. His research centers on advanced laser manufacturing processes, with specialization in polymer joining and ceramics machining. Current facilities include the Laser Ceramic Processing Laboratory and Rapid Laminated Tooling Laboratory. Dr. Zak's research focuses on laser transmission welding of thermoplastics , examining light-material interactions, thermal dynamics, and weld integrity. Key areas include optical property characterization of polymers (glass fiber effects, crystallinity, carbon black), process parameter optimization (scan paths, intensity distribution), and defect analysis (read-through, degradation). His work extends to laser ceramics machining for precision applications and historical contributions in robotic systems. Analysis of his 15 most recent publications (2011-2022) reveals consistent advancement in computational modeling of laser-polymer interactions, with increasing emphasis on multi-physics simulations and defect prediction. The research trajectory shows evolution from experimental parameter studies toward sophisticated thermal-optical modeling for industrial process control. Dr. Zak directs the Laser Ceramic Processing Laboratory housing a three-source system (UV 7-W, Nd:YAG 100W, CO2 250W lasers) with 6-axis motion control, operational 2004-2015. His Rapid Laminated Tooling Laboratory supports layered manufacturing research, including embedded sensor development and composite fabrication techniques.

Aydin NassehiView profile

Professor

• Smart Manufacturing Systems
• Agent-Based Manufacturing Planning and Control
• Artificial Intelligence in Manufacturing
• +3 more

Professor Aydin Nassehi is Head of the School of Electrical, Electronic and Mechanical Engineering at the University of Bristol, UK. He holds the academic rank of Professor of Production Systems and actively contributes to research in smart manufacturing, agent-based modeling, and digital twins. Research interests include AI integration in manufacturing, generative design, and systems optimization. He has collaborated extensively with Dr. Ben Hicks on projects like ProtoTwinning and Designing the Future , focusing on digital twin applications and transdisciplinary engineering. His scholarly output spans over 150 publications, with recent work emphasizing explainable AI, sustainability in food supply chains, and biomedical manufacturing innovations. Publications demonstrate expertise in machine learning, digital twin cost modeling, and additive manufacturing optimization. His projects have received funding from EPSRC and other academic institutions. Current research explores Industry 5.0 challenges, balancing automation with human-centric approaches, and advancing interoperability in cloud manufacturing environments.

• Pharmaceutical Technology
• Electrospinning
• Nanofiber Fabrication
• +3 more

Arle Kõrkjas is a doctoral student and part-time lecturer at the University of Tartu's Institute of Pharmacy, Faculty of Medicine. He has been actively working since 2017 in pharmaceutical technology research with focus on ultrasound-enhanced electrospinning of nanofibers for biomedical applications. PhD in progress since 2018 Lecturer in Pharmaceutical Technology since 2022 His research systematically explores nanofiber fabrication using ultrasonic electrospinning , with applications in bone tissue engineering and wound healing . Publications demonstrate technical innovations in gradient structure formation and multilayered assemblies through process parameter optimization. Active in Estonian Pharmaceutical Society and European electrospinning symposiums , his work contributes to biomedical device development through advanced material processing. Current projects include multifunctional 3D bioprinted constructs for bone regeneration (PRG1903, €577,200 funding).

• Educational Psychology
• Assessment Methods
• Test-taking Motivation
• +3 more

Gerli Silm serves as a Lecturer in Educational Research at the University of Tartu's Faculty of Social Sciences, Institute of Education, a position she has held since February 2023. Previously, she worked as a Specialist of Educational Science and Junior Research Fellow at the same institution since 2015, demonstrating a steady progression in her academic career. Her educational background includes a Doctor's Degree in Educational Research (2022) from the University of Tartu with dissertation titled "Test-Taking Motivation in Low-Stakes and High-Stakes Testing Contexts," supervised by Margus Pedaste, Karin Täht, and Olev Must. She earned her Master's Degree in Psychology cum laude (2015) and Bachelor's Degree in Psychology (2012), both from the University of Tartu. Dr. Silm's research primarily focuses on educational psychology, particularly test-taking motivation across different assessment contexts, inclusive education practices, and the effectiveness of digital learning materials. Her work bridges psychological theory with practical educational applications, examining how motivation affects test performance and how educational technologies can enhance learning outcomes. She has made significant contributions to understanding how students approach assessments in both low-stakes and high-stakes environments. Her publication portfolio reveals a consistent research trajectory centered on assessment methodologies, with numerous articles analyzing the relationship between test-taking effort and performance, meta-analytic reviews of measurement approaches, and investigations into inclusive education effectiveness. Her recent work shows increasing focus on digital learning environments and their impact on educational outcomes, particularly through projects like DigiEfekt. Dr. Silm is actively involved in multiple research projects funded by the Estonian Ministry of Education and Research, the Education and Youth Board, and the European Commission. Her current research focuses on evidence-based curriculum development, educational analytics, and the effectiveness of inclusive education in Estonian general education settings. She has participated in significant research initiatives including the DigiEfekt project examining digital learning materials' impact, the WATCHME project on workplace-based e-assessment technology, and various studies on inclusive education effectiveness. Her collaborative work spans multiple disciplines within educational research, consistently contributing to both theoretical understanding and practical applications in educational settings.

Cindy J NowinskiView profile

Research Professor

• Health Services Research
• Clinical Research
• Healthcare Quality
• +7 more

Cindy J Nowinski, MD, PhD is a Research Professor in the Departments of Medical Social Sciences (Outcome and Measurement Science, Determinants of Health, Implementation Science) and Neurology (Ken and Ruth Davee Department) at Northwestern University Feinberg School of Medicine. She is affiliated with the Institute for Public Health and Medicine (IPHAM) - Center for Patient-Centered Outcomes and the Northwestern University Clinical and Translational Sciences Institute (NUCATS). Dr. Nowinski earned her BS (1982), MA (1986), and PhD (1991) from Loyola University of Chicago, followed by an MD (2000) from Northwestern University Feinberg School of Medicine. Trained as both a clinical psychologist and physician, she brings a unique interdisciplinary perspective to her research. With over 20 years of experience, Dr. Nowinski is a leading expert in developing patient-reported outcome measures and performance-based cognitive assessments for children and adults. Her research focuses on improving health and healthcare quality through standardized outcome measures, with particular emphasis on cognitive aging, neurological conditions (dementia, multiple sclerosis), and digital assessment technologies. She has played central roles in major national initiatives including Neuro-QoL, PROMIS, NIH Toolbox, Mobile Toolbox, and MyCog. Her recent publications reveal a strong emphasis on smartphone-based cognitive screening tools for primary care implementation, machine learning optimization of assessment algorithms, and validation of remote cognitive testing methods. This work demonstrates her commitment to translating research into practical clinical tools that improve early detection of cognitive impairment. Dr. Nowinski has received the Innovations Award from NorthShore University HealthSystem (2007) and holds numerous leadership positions including: Member, Digital Measures: Alzheimer's Disease and Related Dementias Working Group, Digital Medicine Society (2022-Present) Member, Clinical Practice Special Interest Group Working Group on PROMs as Screening Tools, International Society for Quality of Life Research (2020-Present) Associate Editor, Quality of Life Research (2018-2021) Guest Editor, Frontiers in Pediatrics (2019-2022) She maintains active involvement in multiple professional societies including PROMIS Health Organization, Alzheimer's Association ISTAART, Digital Medicine Society, and International Society for Quality of Life Research. Her research is conducted through collaborations focused on implementing digital cognitive assessment tools like MyCog and Mobile Toolbox in diverse clinical settings, with special attention to underserved communities.

• Risk and reliability applications in Geotechnical engineering
• Geosynthetics and reinforced soil structures
• Environmental Geotechnology
• +9 more

Professor G L Sivakumar Babu is a distinguished academic in the Department of Civil Engineering at the Indian Institute of Science (IISc), Bangalore, where he has served as Professor since 2009, after progressing from Assistant Professor (1996-2003) to Associate Professor (2003-2009). His career spans over three decades with significant contributions to geotechnical engineering research and practice. He also serves as associate faculty with the Center for Infrastructure, Sustainable Transportation and Urban Planning (CiSTUP) and the Centre for Sustainable Technologies. His educational background includes: PhD in Geotechnical Engineering, Indian Institute of Science, Bangalore (1991) ME in Soil Mechanics and Foundation Engineering, Anna University, Madras (1987) B.Tech. in Civil Engineering, Sri Venkateswara University, Tirupati (1983) Prof. Sivakumar Babu's research focuses on risk and reliability applications in geotechnical engineering, geosynthetics and reinforced soil structures, environmental geotechnology, fibers in geotechnical engineering, earthquake geotechnical engineering, and geotechnics for disaster mitigation. His work integrates probabilistic methods to address uncertainties in soil behavior, with applications in buried pipes, foundations, slopes, retaining walls, and reinforced structures. He has significantly contributed to guidelines for soil nailing in highway engineering published by the Indian Roads Congress. His extensive publication record (over 100 journal papers and 100 conference papers) demonstrates a strong trend toward reliability-based design approaches across multiple geotechnical domains. Recent work shows increasing focus on municipal solid waste management, landfill engineering, pavement engineering with geosynthetics, and radioactive waste disposal facilities. His research consistently applies probabilistic and reliability methods to traditional geotechnical problems, bridging theoretical advances with practical engineering solutions. While specific awards aren't detailed in the provided text, his professional recognitions likely include honors related to his contributions in geotechnical engineering and reliability analysis. Prof. Sivakumar Babu has undertaken numerous consultancy projects spanning soil investigation, soil reinforcement and nailing, pavement design, geosynthetics applications, slope stabilization, and machine foundations. His industry engagement demonstrates the practical impact of his research, with projects for organizations including KSIIDC, MSIL, various sugar companies, INDAL, BPCL, IIMK, and government infrastructure projects. His international collaborations include work as a Humboldt Fellow in Germany (1999-2000) and as a Visiting Scholar at Purdue University (1995-1996), which significantly influenced his research direction toward probabilistic modeling in geotechnical engineering.

• Building Acoustics
• Community Noise
• Machine Noise
• +4 more

Krister Larsson is a Professor of Practice and Docent at the Department of Technical Acoustics, Chalmers University of Technology. He also serves as a senior consultant at Efterklang (AFRY) and has held previous roles at SP and RISE, where he managed acoustics labs and conducted senior research. His expertise spans building acoustics , community noise , and machine noise , with significant contributions to noise reduction in urban environments and lightweight structures. Research Interests : Larsson focuses on acoustic modeling , vibroacoustic systems , thermoacoustic devices , and noise control in transportation infrastructure . His work bridges theoretical acoustics and practical applications, including sound classification standards, noise barriers, and sustainable urban planning. Scientific Awards : While no awards are explicitly listed, his extensive publication record and leadership roles in acoustics research groups underscore his professional impact. Teaching & Affiliations : He teaches foundational and advanced courses in the ACE program and Master's program in Sound and Vibration . His career includes collaborations with research institutions (SP, RISE) and industry (AFRY).

• Accounting
• Performance Evaluation
• Auditing
• +3 more

Takanori Suzuki is a Professor at the Graduate School of Accountancy, Faculty of Commerce, Waseda University. He has held this position since April 2011, following his role as Associate Professor from April 2009. His academic career at Waseda University spans over two decades, during which he has also served as Visiting Associate Professor, Visiting Assistant Professor, and Researcher at various institutes within the university. Dr. Suzuki's educational background is impressive and interdisciplinary: Ph.D. in Social Sciences (Interdisciplinary) from Waseda University MA in Social Sciences (Interdisciplinary) from Waseda University Master of Engineering from Tokyo Institute of Technology Bachelor of Engineering from Tokyo Institute of Technology Dr. Suzuki's research focuses on the intersection of accounting, internal control systems, and organizational behavior. His work particularly examines how self-reporting mechanisms, information systems, and monitoring technologies can be designed to optimize internal control and performance evaluation. His research bridges theoretical frameworks from agency theory with practical applications in accounting and auditing. He has made significant contributions to understanding how organizations can balance short-, medium-, and long-term performance objectives while maintaining effective internal controls. His publications reveal a consistent focus on internal control systems, self-reporting mechanisms, and the interface between accounting information systems and organizational behavior. Over the past two decades, his research has evolved from foundational work on monitoring technologies to more complex analyses of multitasking in organizational settings and the strategic use of self-reporting in compensation contracts. A notable trend in his recent work is the examination of how digital transformation impacts accounting information systems and human resource management. Dr. Suzuki has received recognition for his scholarly contributions: Management Science Research Encouragement Award from the Japan Management Association (December 2005) As an educator, Dr. Suzuki has supervised numerous graduate students and has been actively involved in curriculum development, particularly in courses related to accounting information systems, internal control, and model analysis of accounting and auditing. His research projects have often involved collaboration with other scholars through various research groups including the Intellectual Property Valuation Study Group and the Contract Theory Research Group. He has also served as a referee for academic journals including "Management Accounting" published by the Japan Management Accounting Association and "Industrial Management" from Waseda University's Institute of Industrial Management. Dr. Suzuki is affiliated with several research institutes at Waseda University, including the Accounting Research Institute and the Institute of Business Administration. His current research focuses on economic models of optimal management discretion in accounting reporting and the role of self-reporting systems in corporate internal control from a game-theoretic perspective.

Irene RocchiView profile

Associate Professor

• Experimental Soil Mechanics
• Advanced Geotechnical Testing
• Laboratory Soil Characterisation
• +12 more

Irene Rocchi is an Associate Professor in the Department of Environmental and Resource Engineering, specializing in Geotechnics & Geology at the Technical University of Denmark (DTU). Her research integrates experimental soil mechanics with innovative engineering solutions, focusing on ground characterization, soil behavior across scales, and sustainable geotechnical practices. She leads key projects such as SoIA (Soil is alive) and B-test, contributing to advancements in geotechnical instrumentation and interdisciplinary soil science. PhD, City University of Hong Kong (2010–2014) MSc in Civil Engineering, Politecnical School of Turin (2007–2009) Bachelor in Civil Engineering, University of Bologna (2004–2007) Her research interests center on experimental soil mechanics, with a strong focus on laboratory and field characterization, unsaturated soils, micro-scale analysis, and the influence of biological factors on soil behavior. She emphasizes innovation and the translation of research into practical engineering applications, particularly in flood protection, ground improvement, and sustainable infrastructure. The recent publications reflect a consistent trend in advanced geotechnical testing, probabilistic modeling, and interdisciplinary biogeotechnics. Her work spans from fundamental soil behavior studies to applied technologies like digital twins and energy storage in geomaterials, demonstrating a strong integration of mechanics, sustainability, and innovation. Semper Ardens Excellence Grant (Carlsberg Foundation) InnoExplorer Grant (B-test project) Irene Rocchi actively supervises PhD students and contributes to major research projects at DTU. She has been involved in industrial collaborations and has led funded projects focusing on sustainable underground construction, soil swelling, and infrastructure performance. Her work bridges academic research and real-world engineering challenges. She is involved in the SoIA research group and contributes to DTU’s Sustainable Geotechnics initiative, where she develops new sensing technologies and promotes interdisciplinary approaches to soil science. Her lab focuses on advanced soil testing, NMR-based homogeneity assessment, and biologically influenced soil mechanics.

John R. DutcherView profile

Professor

• Nanoscience
• Soft Matter Physics
• Biophysics
• +4 more

John R. Dutcher is a Professor and Research Chair in Novel Sustainable Nanomaterials at the University of Guelph's Department of Physics. His work bridges soft matter physics, biophysics, and sustainable nanotechnology through experimental studies of polymers, biopolymers, and bacterial systems at surfaces and interfaces. PhD in Condensed Matter Physics (Simon Fraser University, 1989) NSERC Postdoctoral Fellow (University of Arizona, 1989-1990) Director of University of Guelph’s B.Sc. Nanoscience program Research focuses on: Phytoglycogen nanoparticles from sweet corn for biomedical/personal care applications Machine learning analysis of polymer degradation in cross-linked pipes Bacterial motility and biofilm formation via optical microscopy Hydration forces and mechanical properties of nanomaterials His lab employs state-of-the-art equipment including AFMs, SPRi, and rheometers, with industrial partnerships like HeatLink. Recent publications analyze β-VAE applications in IR spectroscopy, acid hydrolysis effects on nanomaterials, and bacterial colony dynamics. Scientific honors include: Tier 1 Canada Research Chair in Soft Matter and Biological Physics (2006) Fellow, American Physical Society (2007) University of Guelph Innovation of the Year (2017) He has co-founded spin-off company Mirexus Biotechnologies and mentored over 50 graduate/undergraduate researchers, with alumni holding faculty positions at Waterloo, McMaster, and Lakehead University. Lab facilities include: Custom self-nulling ellipsometer TA Instruments DHR-3 rheometer Brookhaven BI200-SM light scattering system Thermo/Nicolet Continuum infrared microscope Wyatt SEC-MALS system Advanced microbiology/Biophysics equipment

• Metallic materials for biomedical applications
• Low modulus beta-type Ti-based alloys
• Biomaterials for hard-tissue implant applications
• +4 more

Assoc. Prof. Dr. Mariana Calin is a researcher at the Leibniz Institute for Solid State and Materials Research Dresden (IFW Dresden) in the Department of Chemistry of functional materials. With over 104 journal publications and 72 invited talks worldwide through 2025, she is a recognized expert in metallic biomaterials, particularly focusing on titanium-based alloys for medical applications. Her work bridges fundamental materials science with practical biomedical engineering challenges. Dr. Calin's research focuses on metallic materials for biomedical applications , with particular expertise in low modulus beta-type Ti-based alloys , biomaterials for hard-tissue implant applications , metallic glasses and nanostructured alloys , and ni-free Ti-based shape memory alloys . Her work addresses critical challenges in orthopedic and dental implants, particularly the mismatch between bone and traditional metallic implants, and the problem of implant-associated infections. She develops novel alloys with reduced elastic modulus to prevent stress shielding while incorporating antibacterial elements like gallium and copper. Analysis of Dr. Calin's recent publications (2020-2025) reveals a strong focus on gallium-containing titanium alloys with antibacterial properties, surface modification techniques for improved biocompatibility, and the development of metallic glasses for biomedical applications. Her research shows a clear trend toward creating 'smart' biomaterials that actively prevent infection while maintaining excellent mechanical properties for load-bearing applications. She has pioneered work on beta-type titanium alloys with gallium additions that demonstrate both antibacterial properties and suitable mechanical characteristics for orthopedic implants. Dr. Calin has been actively involved in significant European research projects including BIOREMIA (H2020-MSCA-ITN) - 'BIOfilm-REsistant Materials for hard tissue Implant Applications' and BioTiNet (FP7-MC-ITN) - 'Academic-Industrial Initial Training Network on Innovative Biocompatible Titanium-base Structures for Orthopaedics'. These projects have provided substantial funding for her research and supported numerous early-career researchers. She frequently collaborates with international institutions and industry partners to translate laboratory discoveries into potential clinical applications. At IFW Dresden, Dr. Calin works within the biomaterials research group, collaborating with scientists from various disciplines to develop next-generation metallic biomaterials. Her laboratory focuses on alloy design, processing (including additive manufacturing), comprehensive characterization, and biological testing of novel metallic biomaterials. Recent work has expanded into developing MRI-compatible metallic glasses with ultralow magnetic susceptibility, opening new possibilities for miniaturized implants that won't interfere with medical imaging.

Benjamin GregoireView profile

Researcher

• Compilers
• Formal Verification
• Cryptography
• +3 more

Benjamin Gregoire is a Researcher at INRIA Sophia Antipolis , affiliated with the Marelle Team . His work focuses on compilers , formal verification , cryptography , proof assistants , and type theory . Education : PhD in Computer Science, Université Paris 7 (2003) Research Interests : Dr. Gregoire specializes in formal verification of cryptographic systems, compiler design for security-critical applications, type-based termination, and proof assistants like Coq. His projects include the INRIA-Microsoft Research Joint Lab , ANR Scalp (Security of Cryptographic Algorithms with Probabilities), and ANR DeCert (Certified Decision Procedures). He led the Mobius project (IP FET) and contributed to Java security validation via the JACK tool . Scientific Awards : He received the Best Paper Award at CRYPTO 2011 for 'Computer-Aided Security Proofs for the Working Cryptographer.' Advising & Collaborations : Dr. Gregoire has advised PhD students Michael Armand , Julien Charles , Sylvain Heraud , and Jorge-Luis Sacchini , with former advisee Cesar Kunz . He collaborates with teams including Marelle and INRIA-Microsoft Research .

Christine RizkallahView profile

Senior Lecturer

• Interactive Theorem Proving
• Formal Verification
• Programming Languages
• +7 more

Christine Rizkallah is a Senior Lecturer in the School of Computing and Information Systems at the University of Melbourne, Australia. She joined the university in December 2021 after serving as a Lecturer at the University of New South Wales (UNSW) from April 2018 to December 2021. Her research focuses on interactive theorem proving, formal verification, programming languages, and systems, with an emphasis on building practical tools for high-assurance software development. She leads a research group working on the Cogent and Dargent languages, aiming to reduce the burden of formal verification in systems programming. Education: PhD in Computer Science, Universität des Saarlandes and Max-Planck-Institut für Informatik, Germany (2015), thesis: Verification of Program Computations , supervised by Prof. Dr. Kurt Mehlhorn. MSc in Computer Science, Universität des Saarlandes, Germany (2009), thesis: Proof Representations for Higher Order Logic , supervised by Prof. Dr. Gert Smolka and Dr. Chad E. Brown. BSc in Computer Science, German University in Cairo, Egypt (2007), thesis: X2-Planner: A Hierarchical Task Network Planner for Real Time Gaming Applications , supervised by Prof. Dr. Slim Abdennadher and Dr. Thorsten Maier. Her research interests lie at the intersection of programming languages and formal methods. She develops domain-specific languages with strong type systems and verified compilers to enable trustworthy software systems. Her work spans algorithms, logic, security, and social choice theory, reflecting a strong interdisciplinary approach. She has published extensively in top venues such as POPL, ICFP, ASPLOS, JAR, and PACMPL, with a focus on certifying compilation, refinement verification, and mechanized reasoning. Her recent publications reveal a consistent focus on formal verification of systems software, particularly through the Cogent language and its ecosystem. Key themes include verified data layout refinement (Dargent), property-based testing, termination analysis, cost modeling, and integration with foreign functions. Her work combines theoretical rigor with practical implementation, often involving mechanized proofs in Isabelle/HOL and Coq. Scientific Awards and Recognition: Distinguished Artefact Award at SLE'22 (awarded to Zilin Chen for work under her supervision). First Prize, SPLASH'22 Student Research Competition (undergraduate), won by Raphael Douglas Giles. Second Prize, ACM-wide Student Research Competition (undergraduate, 2023), won by Raphael Douglas Giles. She has supervised numerous PhD, Masters, and Honours students, many of whom have continued in academia or industry research roles. She has received research funding through institutional support and collaborative grants, though specific grants are not detailed in the provided text. She is actively involved in the programming languages community, serving on program committees for POPL, ICFP, CPP, PLDI, and others, and holding leadership roles such as Program Chair for FUNARCH'25 and Diversity and Inclusion Co-Chair for PLDI'25. She teaches core courses including Declarative Programming and Models of Computation at the University of Melbourne. She leads a vibrant research team and collaborates widely across institutions including UNSW, University of Pennsylvania, and international partners. Her lab focuses on building verified systems using functional programming and formal methods, with strong ties to the DeepSpec project and the Isabelle/HOL community.