جست‌وجوی استاد و پژوهشگر

• Computing Education
• Formal Methods
• Markov Models
• +۵ مورد دیگر

Dr. Oana Andrei is a Senior Lecturer in Computing Science at the University of Glasgow, affiliated with the Centre for Computing Science Education , Education and Practice (EAP) section , and Formal Analysis, Theory and Algorithms (FATA) section . She previously served as a Research Fellow under Prof. Muffy Calder on EPSRC-funded projects including S4, Populations, VPS, and SIGNAL. Her research expertise spans 20+ years in Formal Methods for system modeling, including Stochastic process algebra Markov models Probabilistic model checking Graph rewriting systems with interdisciplinary applications in Computational Biology, Human-Computer Interaction, and Socially Responsible Computing. Recent publications focus on software engineering education and algorithmic pedagogy , examining topics like Work-based learning programs Reflective practice frameworks Pair programming methodologies Socially responsible computing integration She contributes to educational innovation through degree-level apprenticeships and serves as Deputy Director of the Graduate Apprenticeship in Software Engineering . Key teaching roles include Course Coordinator for Workplace Assessment modules and Algorithmics instruction. She actively participates in university governance through Equality, Diversity & Inclusion Committee and Senate Student Conduct Committee memberships.

Gerard Renardel de Lavaletteمشاهده پروفایل

استاد

• Computer Science
• Mathematical Logic
• Discrete Mathematics
• +۴ مورد دیگر

Prof. Gerard Renardel de Lavalette is a Professor in the Department of Fundamental Computing Science at the University of Groningen’s Faculty of Science and Engineering. His research focuses on mathematical logic, formal methods, and theoretical computer science, with notable expertise in interpolation theory, modal logics, and belief revision systems. Academic Appointments: Deputy Programme Director for Computing Science. Research Interests: Intersection of discrete mathematics, intuitionistic logic, and computational logic applied to software verification and social simulation models. His work integrates foundational logic with practical applications in agent-based systems and GDPR-compliant data anonymization. Recent contributions include dialogical models for opinion dynamics and studies on pseudonymisation techniques. He has authored over 50 peer-reviewed publications across journals and conferences. Key research themes include formal semantics of modularization, Lindelöf properties in infinitary logics, and the design of knowledge-based programming frameworks.

• Declarative Programming Languages
• Logic Programming
• Answer Set Programming
• +۷ مورد دیگر

Dr. Ajay Bansal is a Teaching Professor and Associate Program Chair of the Software Engineering program at Arizona State University's School of Computing and Augmented Intelligence. He joined ASU in 2011 and previously served as a visiting assistant professor at Georgetown University. His academic journey includes a Ph.D. in Computer Science from the University of Texas at Dallas, an MS from Texas Tech University, and a B.Tech. from NIT Warangal. His research focuses on declarative programming languages, including Logic Programming, Answer Set Programming, and Knowledge Representation. He also explores Computing Education, particularly Individualized Learning and Game-based approaches. Notable achievements include the Test of Time Award at ICLP 2016 for coinductive logic programming and multiple teaching awards, including the Fulton Teaching Excellence Award (2019, 2022). Dr. Bansal has over 80 peer-reviewed publications spanning journals, conferences, and book chapters. His work bridges theoretical contributions (e.g., stableKanren integration) and practical applications like automated assessment systems. He actively contributes to courses such as Intro to Programming Languages and Database Management. Education: Ph.D. Computer Science, University of Texas-Dallas (2007) M.S. Computer Science, Texas Tech University (2002) B.Tech. Computer Science and Engineering, NIT Warangal, India (1999) Awards: Test of Time Award (ICLP 2016) Fulton Teaching Excellence Award (2019, 2022) Best Teacher Award (Top 5%) (6x) Advising & Grants: While no specific student names are listed, his roles involve academic advising and curriculum development. Industry experience includes software engineering roles at SIEMENS India, Metallect Corp., and Tyler Technologies. Labs/Teams: Engaged in educational technology initiatives and declarative programming research groups.

Ken Friis Larsenمشاهده پروفایل

دانشیار

• Programming Languages
• Security
• Privacy
• +۷ مورد دیگر

Ken Friis Larsen is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, specializing in programming languages, security, privacy, and functional programming. He contributes to projects like HIPERFIT (high-performance financial computing) and WallViz (visualization tools). Research Focus : Language design, formal methods, functional programming (Standard ML, Haskell, OCaml, Scheme), secure compilation, and performance optimization. Technical Leadership : Maintains Moscow ML (Standard ML implementation) and mGTK (functional GUI library). Key Publications : 2020: Hermes (secure compilation without side-channels) 2019: F (music composition language) 2016: Redomap (GPGPU performance in Futhark) Additional Contributions : Co-developed PaML (parser combinators in SML) Active participant in ICFP Programming Contest (2005, 2008, 2017) Advocate for rigorous testing practices (QuickCheck, Criterion) and type-driven design

Enrico Tassiمشاهده پروفایل

پژوهشگر

• Interactive Theorem Proving
• Formal Verification
• Type Theory
• +۵ مورد دیگر

Enrico Tassi is a researcher at Inria, France, affiliated with the STAMP team. His work focuses on the technology of formal proofs, particularly type theory, interactive theorem proving, and its application to formalizing mathematics. He is a key contributor to the development of tools like Coq-Elpi , Hierarchy-Builder , and the small scale reflection Coq extension. His research spans proof assistant architecture, software design, and formal verification, with a strong emphasis on free software principles. Enrico completed his Ph.D. at the University of Bologna in 2008, where he designed the Matita interactive theorem prover. He contributed to the formalization of the Odd Order Theorem and the Paral-ITP project, aiming to scale Coq for large mathematical libraries. His software projects include Elpi , a meta-language for proof assistants, and past contributions to Debian as a developer (2006–2016), focusing on integrating the Lua language into Debian systems. His publications highlight innovations in unification algorithms, tactical design, and proof structuring techniques. Articles address challenges in bi-directional type inference, pattern-based proof command focusing, and nonuniform coercion implementations. His work on small-scale reflection and Hierarchy-Builder demonstrates expertise in algebraic hierarchies and formal library management. Current efforts target enhancing OCaml-based systems through Elpi's high-level programming capabilities. Key Collaborations : Mathematical Components team (INRIA), D.A.M.A. Project Major Tools : Coq-Elpi, Hierarchy-Builder, Matita Formalization Efforts : Ordered Uniformities, Odd Order Theorem, Finite Group Theory

Daniel W. Barowyمشاهده پروفایل

دانشیار

• Programming Languages
• End-User Programming
• Spreadsheet Debugging
• +۵ مورد دیگر

Daniel W. Barowy is an Associate Professor in the Department of Computer Science at Williams College . His research focuses on programming languages , particularly end-user programming , crowdsourcing , and spreadsheet debugging . He integrates program analysis with statistical techniques to improve software usability and robustness. Current affiliations: Williams College (2017-present) Education: University of Massachusetts Amherst (PhD, 2017) His research explores language abstractions for human-computer integration , with notable projects like ExceLint (spreadsheet error detection), FlashRelate (spreadsheet data extraction), and Riker (incremental build systems). He emphasizes artifact verification , securing PLDI 2015 Distinguished Artifact Award and USENIX ATC 2022 Best Paper . Recent publications demonstrate trends in spreadsheet reliability , crowdsourcing frameworks , and scalable educational tools . He has received "Artifact Verified" badges for multiple projects and actively contributes to software tool development , including AutoMan , ExceLint , and CheckCell . USENIX ATC 2022 Best Paper PLDI 2015 Distinguished Artifact Award Multiple "Artifact Verified" badges As an educator, he teaches CSCI 334: Principles of Programming Languages and CSCI 331: Computer Security . His work bridges theoretical PL research with practical applications in spreadsheet programming and crowdsourcing platforms .

Julia Belyakovaمشاهده پروفایل

پژوهشگر

• Type Theory
• Programming Languages
• Theorem Proving
• +۳ مورد دیگر

Julia Belyakova is a Postdoctoral Researcher at Purdue University since 2023, focusing on type theory and programming languages. She earned her Ph.D. in Computer Science from Northeastern University (2023) and an M.S. from Southern Federal University (2014). Current Position: Postdoc, Purdue University Ph.D. Institution: Northeastern University Education: M.S. in Computer Science from Southern Federal University Her research spans type theory, programming languages, theorem proving, generic programming, compiler construction, and software testing . Recent work includes formalizing subtyping in Julia, analyzing type stability for JIT compilation, and type-theoretic approaches to program incorrectness. Trends in her publications emphasize empirical validation of type systems and compiler optimizations for dynamic languages. She has served on program committees for OOPSLA Review Committee (2025), TyDe Program Committee (2024), and ARRAY Committee (2024). No formal scientific awards are documented in the provided text.

• Distributed Computing
• Self-Stabilizing Algorithms
• Robotics
• +۳ مورد دیگر

Stéphane Devismes is a Professor at Université de Picardie Jules Verne and a member of the ALCO: Algorithmics and Complexity team within the MIS Lab (UR 4290). His research focuses on Distributed Computing , Self-Stabilizing Algorithms , Robotics , and Network Security . He has contributed extensively to algorithmic solutions for grid exploration by autonomous robots, leader election in dynamic networks, and certified self-stabilization frameworks. Keywords : Distributed Systems, Self-Stabilization, Robotics, Algorithmics, Complexity, Security His recent work trends include self-stabilizing unison in directed networks, infinite grid exploration by myopic robots, and certified algorithm analysis for worst-case stabilization times. Notable projects include the SASA simulator for self-stabilizing algorithms and the SR3 secure routing protocol. Devismes has received prestigious awards including the Wilkes Award 2022 and Best Student Paper Awards at ICDCN'2023 and SSS'2013. He has supervised numerous PhD and Master's theses, including those of Geoffrey Defalque and Anaïs Durand, and actively participates in international program committees and grant-funded research like the ANR SkyData project.

• Psychology
• Educational Psychology
• Human-AI Interaction
• +۹ مورد دیگر

Gerrit Anders is a scientific researcher and doctoral student at the Leibniz-Institut für Wissensmedien (IWM) in Tübingen, Germany, affiliated with the Perception and Action lab. He has been a member of the institute since January 1, 2023, and contributes to multiple interdisciplinary research projects at the intersection of psychology, education, and artificial intelligence. Education: B.Sc. in Physics, Ruprecht-Karls-Universität Heidelberg (2016) B.Sc. in Psychology, Ruprecht-Karls-Universität Heidelberg M.Sc. in Physics, Ruprecht-Karls-Universität Heidelberg (2021) His research focuses on video perception, mind wandering, event segmentation, emotional narration, and metacognition. He explores how the structure of videos influences learning and perception, and how artificial intelligence can support self-regulated learning. His work integrates machine learning methodologies to analyze behavioral and psychological data, particularly in educational contexts. The recent publications of Gerrit Anders reflect a strong trend in applying AI and computational methods to psychological and educational research. Key themes include human-AI interaction, misinformation, self-regulation in video learning, and large-scale analysis of online behavior. His software tools (e.g., mGPT, whisperTranscriber, SponScraper) demonstrate a commitment to open science and technical innovation. Scientific Awards: No awards explicitly mentioned. Gerrit Anders actively supervises and collaborates on research, though no formal advisees are listed. He has contributed to projects funded by institutional and collaborative grants, including longitudinal studies on human-AI interaction and educational AI applications. He has developed software and shared datasets, indicating active involvement in grant-supported open research initiatives. Labs and Teams: He is a core member of the Perception and Action lab and collaborates across multiple IWM labs, including Multimodal Interaction , Everyday Media , and Knowledge Construction . He co-organizes the Video-SRS workshop series, fostering collaboration in video-based learning research.

Étienne Andréمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Verification of Concurrent Systems
• +۱۲ مورد دیگر

Étienne André is a Full Professor at Université Sorbonne Paris Nord , affiliated with the Institut Galilée and the Laboratoire d’Informatique de Paris Nord (LIPN) . He leads the SAFER research team and has previously held professorial positions at Université de Lorraine . His work bridges formal verification and real-world applications in cyber-physical and distributed systems. PhD from ENS Cachan (2010) Postdoc at National University of Singapore (2010–2011) Associate Professor at Université Sorbonne Paris Nord (2011–2019) Full Professor at Université de Lorraine (2019–2022) Full Professor at Université Sorbonne Paris Nord (2022–present) His research centers on formal verification of concurrent and real-time systems, with a focus on parametric timed model-checking . He investigates how systems behave under timing uncertainty and develops methods to synthesize safe timing parameters. His work extends to monitoring cyber-physical systems and detecting side-channel attacks using quantitative formal methods. He is a strong advocate for sustainable research , minimizing carbon footprint through reduced air travel. The recent publications reflect a consistent trajectory in parametric verification , real-time systems , and model checking , with increasing emphasis on distributed and probabilistic approaches. His tools like IMITATOR and InSPEQTor enable practical application in industrial and academic settings. PhD Award, Académie Lorraine des Sciences (2024) Étienne André has supervised several PhD students and postdoctoral researchers. He leads major research projects such as ProMiS , MoCcA , and PACS , funded by ANR, PHC, and other international agencies. His collaborative work spans France, Singapore, Poland, and Japan. He is deeply involved in the formal methods community, serving on steering committees for SynCoP and Petri Nets , and organizing conferences such as ETAPS and ICFEM . He has participated in over 30 program committees, including FORTE , TACAS , and HSCC .

Kyungmin Baeمشاهده پروفایل

دانشیار

• Formal Methods
• Software Verification
• Model Checking
• +۱۲ مورد دیگر

Kyungmin Bae is an Associate Professor in the Department of Computer Science and Engineering at Pohang University of Science and Technology (POSTECH), where he leads the Software Verification Laboratory. His research focuses on developing formal methods to ensure the safety, reliability, and security of software, cyber-physical, and AI-based systems. His research interests include formal methods, software verification, model checking, automated reasoning, computational logic, hybrid and cyber-physical systems, and secure software development. He develops scalable and precise automatic analysis techniques using model checking, SMT solving, and rewriting logic. The analysis of his recent publications reveals a strong focus on formal verification of hybrid and cyber-physical systems using Signal Temporal Logic (STL), Maude, and SMT solvers. His work emphasizes robust model checking, parameter synthesis, and formal modeling in AADL, particularly for safety-critical applications such as UAVs and industrial control systems. He frequently contributes to top-tier venues like CAV, POPL, FM, and ASE. Scientific Awards: Best Paper Award, FACS, 2017 Feng Chen Memorial Award, UIUC, 2013 Chirag Foundation Fellowship, UIUC, 2007–2008 Doctoral Study Scholarship, Korea Foundation for Advanced Studies, 2007 He has served as a program committee chair for WRLA 2022, FormaliSE 2020, and FACS 2018, and as a committee member for major conferences including CAV, FSCD, ATVA, ICTAC, SPIN, APSEC, SEKE, APLAS, ICSE-SEIP, TASE, SEFM, WRLA, FTSCS, and TTCS. He has also been an invited speaker at FTSCS 2023 and ISR 2018. He teaches courses such as Theory of Computation, Software Design Methods, Software Verification, and Logic in Computer Science. He leads the Software Verification Laboratory, which focuses on developing formal tools like stlMC, Maude-SE, and HybridSynchAADL for analyzing hybrid and distributed systems. The lab actively contributes to both theoretical foundations and practical applications of formal methods in real-world systems.

Dirk Fahlandمشاهده پروفایل

دانشیار

• Process Mining
• Data Engineering
• Complex Systems Analysis
• +۳ مورد دیگر

Dirk Fahland is an Associate Professor in Process Analytics on Multi-Dimensional Event Data at the Analytics for Information Systems group, Eindhoven University of Technology (TU/e), School of Mathematics and Computer Science. He combines formal methods with data-driven approaches to analyze complex distributed systems through event data. His current research focuses on process mining, data engineering, and multi-dimensional analysis of business processes. Academic Background: PhD from Humboldt-Universität zu Berlin and TU/e under Profs Wolfgang Reisig and Wil van der Aalst Post-Doc at TU/e on EU-funded ACSI project Research stays at Weizmann Institute, HPI Potsdam, and National University of Singapore Appointments: Assistant Professor (2013), Tenure (2016), Associate Professor (2019) Research Interests: Dirk's work centers on analyzing complex systems through event data by developing techniques for large-scale preprocessing, model synthesis, and multi-angle behavioral analysis. He explores object-centric process mining, anomaly detection, and knowledge graph applications for auditing. His research emphasizes balancing model accuracy with simplicity and integrating domain knowledge for explainable process analysis. Scientific Awards: Best Paper Award BIS 2011 Best Paper Award BPM 2011 Best Paper Award ICPM 2020 Best Paper Award ICPM 2021 Best Reviewer Award ICPM 2019 Educational Contributions: He manages the "Data Science in Engineering" Master's program, leads the "Data Challenge" course series at JADS, and teaches advanced process mining courses. He also contributes to BPMN visualization and performance monitoring education.

Xavier Leroyمشاهده پروفایل

استاد

• Computer Science
• Functional Programming
• Formal Methods
• +۳ مورد دیگر

Xavier Leroy is a Professor of Software Sciences at Collège de France and a senior computer scientist at Inria's Cambium research team. He is a member of the French Académie des sciences and internationally recognized for his work on functional programming, formal verification, and compiler design. Specializes in OCaml language development, Coq verification, and language-based security Leader of the CompCert formally-verified compiler project Received multiple ACM awards for software systems and programming languages achievement His research focuses on foundational aspects of programming languages, including type systems, concurrency, and algebraic effects. Recent work explores mechanized semantics, well-founded recursion, and persistent data structures. Key article trends include formal verification of compilers, functional data structure optimization, and effect handler implementation. Awards highlight community recognition of his 30+ year contributions to OCaml and CompCert. Notable Appointments: 2018–present: Professor, Collège de France (software sciences chair) Pre-2018: Senior Scientist, Inria

Ronald Garciaمشاهده پروفایل

دانشیار

• Programming Languages
• Gradual Typing
• Type Systems
• +۶ مورد دیگر

Ronald Garcia is an Associate Professor in the Department of Computer Science at the University of British Columbia, affiliated with the Faculty of Science and the Software Practices Lab. His research focuses on programming language theory, emphasizing gradual typing, type systems, and end-user programming. He teaches courses such as Programming Language Principles (CPSC 509) and Compiler Construction (CPSC 411). Education details are not explicitly stated in the provided texts, but his extensive academic contributions span over two decades. Research interests include formal semantics of programming languages, typestate systems, dependent types, and improving software practices for end-users. He has advised numerous Ph.D. and Master's students, contributing to over 30 academic publications. Recent work explores hybrid programming environments for end-users, runtime type slicing for debugging, and foundational frameworks for gradual dependent types. Garcia actively participates in academic conferences as a PC member and keynote speaker, notably in PLDI, POPL, and ICFP. His lab and collaborations focus on advancing theoretical foundations while addressing practical challenges in software development and education.

Birgit Vogel-Heuserمشاهده پروفایل

استاد

• Systems Engineering
• Software Engineering
• Embedded Systems
• +۶ مورد دیگر

Prof. Dr.-Ing. Birgit Vogel-Heuser is a Full Professor and Director of the Chair of Automation and Information Systems at the Technical University of Munich (TUM), within the TUM School of Engineering and Design. She holds leadership roles as Vice Dean for Research and Innovation and is involved in strategic initiatives like the Munich Institute of Robotics and Machine Intelligence (MIRMI). Her research focuses on evolvable automation architectures, human-machine interaction, and data-driven manufacturing processes. Education: Diploma in Electrical Engineering (RWTH Aachen, 1987), PhD in Mechanical Engineering (RWTH Aachen, 1990). Industry Experience: Over 10 years in industrial automation, including roles at Phoenix Contact GmbH. Leadership Roles: Head of TUM Strategy and Study Commission for Mechanical/Process Engineering Faculties (since 2025) IEEE Fellow (2023) and Distinguished Lecturer (IEEE RAS) Member of Bavarian Academy of Sciences and Humanities (acatech) Research Interests: Systems/software engineering, embedded systems, Industry 4.0/5.0, digital twins, and cyber-physical systems. Key projects include the KI.FABRIK Bayern initiative and the DFG-funded Priority Program SPP 2422 on data-driven process modeling. Awards: Federal Cross of Merit (2024), IEEE Fellow, Borchers Plaque (1991), and others. Grants/Projects: Lead roles in over 30 funded projects, including CRC 768 and SPP 1593 on software evolution. Publications: Over 200 journal/conference papers, including impactful work on industrial agents and automation architectures. Labs/Teams: Leads the MIRMI 'Work' sector and collaborates with industry partners like Grammer AG and HAWE Hydraulik SE. Active in standardization (e.g., IEEE 2660.1-2020).