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

Olivier Gauwinمشاهده پروفایل

استادیار

• Automata Theory
• Formal Languages
• Logic in Computer Science
• +۶ مورد دیگر

Olivier Gauwin serves as an Assistant Professor at the University of Bordeaux, holding dual roles in academic instruction and research. He teaches within the Computer Science Department at the University Institute of Technology (IUT), while conducting research as a core member of LaBRI's Numeric and Sustainability team. His institutional presence spans both the IUT campus in Gradignan (office 111) and LaBRI's research facilities in Talence (office 311), reflecting his integrated contributions to theoretical computer science and applied sustainability initiatives. His educational trajectory demonstrates deep theoretical foundations: Habilitation à diriger des recherches (HDR) from University of Bordeaux (2020) titled Transductions: resources and characterization PhD in Computer Science from Université Lille 1 (2009) titled Streaming Tree Automata and XPath , conducted at LIFL/INRIA Master's degree (DEA) from Centre de Recherche en Informatique de Lens (2004) titled Fusion itérée de croyances Gauwin's research program bridges abstract theory and practical applications, with early work establishing fundamental results in automata theory for XML stream processing. His investigations into visibly pushdown automata, nested words, and transducers created novel frameworks for efficient query answering in data streams. Recent years show strategic expansion into sustainability, where he adapts formal methods to environmental modeling challenges. This evolution maintains rigorous theoretical grounding while addressing contemporary computational sustainability needs through the Numeric and Sustainability team. Analysis of his 15 most recent publications reveals consistent methodological excellence across theoretical computer science. Core themes include automata minimization (notably proving NP-completeness for visibly pushdown automata), logical characterizations of transductions, and streamability analysis for nested structures. His work demonstrates exceptional coherence—advancing from foundational XML processing (2008-2013) to resource-optimized transducers (2015-2018) and current sustainability applications, always maintaining focus on computational efficiency and formal verifiability. Dr. Gauwin actively mentors the next generation of computer scientists: Supervised PhD completion of Nathan Lhote (2015-2018) on logical characterizations of transductions Guided PhD research of Félix Baschenis (2014-2017) on transducer minimization and resource optimization His research is institutionally supported through LaBRI (UMR 5800), a joint CNRS-University of Bordeaux laboratory, though specific external grants aren't detailed in available materials. Current work continues through the Numeric and Sustainability team, where he integrates automata theory with environmental computation challenges in collaborative projects spanning theoretical innovation and real-world sustainability applications.

Matthew Van Grinsvenمشاهده پروفایل

دانشیار

• Earth Systems Science
• Applied Agronomy
• Soil Biogeochemistry
• +۵ مورد دیگر

Matthew Van Grinsven is an Associate Professor in the Department of Earth, Environmental and Geographical Sciences at Northern Michigan University (NMU) and an Adjunct Professor at the College of Forest Resources and Environmental Science, Michigan Technological University. He began teaching at NMU in 2015 and directs the Applied Biogeosciences Lab. B.S., Northern Michigan University M.S. and Ph.D., Michigan Technological University His research focuses on Earth systems science, with expertise in applied agronomy, soil biogeochemistry, wetlands, ecohydrology, and ecosystem ecology. He uses data science tools, automated field equipment, and laboratory techniques like gas chromatography to study environmental systems and inform sustainable resource management. His recent publications address impacts of invasive species (e.g., Emerald Ash Borer) on Black Ash wetlands, hydrological monitoring methods, and carbon/nitrogen cycling in disturbed ecosystems. Research trends emphasize climate change implications, restoration strategies, and sensor-based environmental assessment. Matthew regularly teaches courses including Physical Geography, Soils, Hydrology, and Earth Systems Interactions, integrating field-based and computational approaches.

Daniel Krennمشاهده پروفایل

استادیار

• Discrete Mathematics
• Asymptotic Enumeration
• Analysis of Algorithms
• +۵ مورد دیگر

Daniel Krenn is an Assistant Professor in the Mathematics Department at Paris Lodron University of Salzburg. He holds a Ph.D. in Technical Mathematics from TU Graz (2013) and a Habilitation in Mathematics from Alpen-Adria Universität Klagenfurt (2019). His research focuses on discrete mathematics, including asymptotic enumeration, analysis of algorithms, analytic combinatorics, digit expansions, and graph theory. He has contributed to software development in SageMath, particularly in automata and transducer modules. Education: 2003–2009: Diploma in Electrical Engineering (TU Graz) 2005–2008: Bachelor's in Technical Mathematics (TU Graz) 2008–2010: Master's in Mathematical Computer Science (TU Graz) 2010–2013: Ph.D. in Technical Mathematics (TU Graz) 2019: Habilitation in Mathematics (Alpen-Adria Universität Klagenfurt) Research Interests: Discrete Mathematics Analysis of Algorithms and Data Structures Digit Expansions and Cryptography Combinatorics and Analytic Number Theory Key Awards: Promotio sub auspiciis Praesidentis rei publicae (2013) Austrian Mathematical Society Study Prize (2013) Austrian Federal Ministry of Science and Research Prize (2013) Professional Contributions: Coordinator of the doctoral program “Discrete Mathematics” at TU Graz (2015) Contributions to SageMath software development Over 30 peer-reviewed publications in journals like Algorithmica, Theoretical Computer Science, and Journal of Number Theory

Vincent Penelleمشاهده پروفایل

دانشیار

• Graph Theory
• Formal Verification
• Automata Theory
• +۵ مورد دیگر

Vincent Penelle is an Associate Professor at the University of Bordeaux since September 1, 2017, affiliated with the LaBRI (Laboratoire Bordelais de Recherche en Informatique) within the Faculty of Science. He serves as the coordinator for the "Algorithme et Modèles" and "Vérification logicielle" tracks of the Master's program in Computer Science at the University of Bordeaux. His research focuses on theoretical computer science, particularly infinite graphs (including specific subclasses), various representations of these graphs, model verification problems, and languages they recognize. His work has specifically addressed tree stack rewriting systems, counter systems and their trace languages (including flat counter systems and vector addition systems), origin semantics of register transducers, and extensions of MSO logic on infinite words. Penelle co-supervises Prince Matthew, a PhD student at IIT Goa (India) in collaboration with Sreejith A.V. He is also a principal investigator for the CEFIPRA-funded project "Verification of Adaptive Control Systems" alongside Sreejith A.V. and Meenakshi D'Souza. His research group is part of the Formal Methods team at LaBRI. He has developed Cairn, a visualization tool for parser execution used in compilation courses, demonstrating his commitment to both research and teaching. Prior to his current position, he was a postdoctoral researcher at the University of Warsaw's Institute of Informatics (2016-2017), and completed his PhD at the Gaspard Monge Computer Science Laboratory under the supervision of Didier Caucal and Antoine Meyer.

Nathan Lhoteمشاهده پروفایل

مدرس

• Automata Theory
• Semigroup Theory
• Logics
• +۲ مورد دیگر

Nathan Lhote is a Lecturer (Maître de Conférences) at Aix-Marseille University , affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and its MoVe research team. He is actively involved in two ANR research projects: Delta and Ticktac . Prior to this, he worked as a postdoctoral researcher at the University of Warsaw under the supervision of Mikołaj Bojańczyk (2018–2020). His PhD, completed jointly at University of Bordeaux and Université Libre de Bruxelles (2015–2018), was supervised by Emmanuel Filiot, Olivier Gauwin, and Anca Muscholl.

• Logics
• Databases
• Formal languages
• +۵ مورد دیگر

Gabriele Puppis is an Associate Professor at the Department of Mathematics, Computer Science, and Physics of Udine University since 2022. Previously, he held a tenure-track position at the same university (2019-2022) and was a tenured CNRS researcher at LaBRI, Bordeaux (2012-2019). He completed postdoctoral research at Oxford University (2009-2012) and Udine University (2006-2008). His academic journey began with a PhD in Computer Science at Udine University (2002-2006). Education: PhD in Computer Science, Udine University (2006) Research Interests: Logics and formal languages String transducers and automata theory XML schema validation and database repairability Interval temporal logic and spatial reasoning Higher-order query languages Academic Contributions: His work focuses on the decidability and complexity of problems in automata theory, particularly for finite-valued transducers and their equivalence. He has advanced understanding of bounded repairability for tree and word languages, dynamic data structures for timed automata, and resynchronizability in transducer models. His recent publications explore decomposition theorems for streaming string transducers and their equivalence to two-way models. Teaching and Leadership: He teaches courses in Distributed Systems, Algorithms and Data Structures, and Verification techniques in AI and Cybersecurity. He has organized events like the GandALF 2023 summer school and participated in workshops on unambiguity in automata theory and regular cost functions.

Sebastian Manethمشاهده پروفایل

استاد

• Databases
• Automata Theory and Applications
• Data Compression
• +۳ مورد دیگر

Sebastian Maneth is a Heisenberg Professor at the Universität Bremen , affiliated with the Faculty of Mathematics and Computer Science and the Department of Computer Science . His research focuses on Databases , Automata Theory and Applications , and Data Compression , with significant contributions to tree transducers and XML processing. Editor of Theory of Computing Systems (TOCS) Associate Editor for Frontiers in Computer Science Editor of Algorithms His recent work explores the boundaries of tree transducers , regular expressions , and grammar-based compression , with decidable properties in formal language theory. He organizes major conferences like the Dagstuhl Seminar on Regular Expressions and serves on numerous program committees (CIAA, ICALP, FoIKS, etc.). Current projects include FO-Query Enumeration over compressed data, shape-preserving tree transducers , and user identification via eye-tracking data . His editorial and organizational roles highlight leadership in theoretical computer science communities.

• Formal Language Theory
• Machine Learning
• Semantic Parsing
• +۳ مورد دیگر

Johanna Björklund is an associate professor at the Department of Computing Science, Umeå University, Sweden. Her research spans formal language theory, machine learning, and semantic parsing of multimodal data, with a focus on translating complex media (e.g., videos with audio/subtitles) into algorithm-friendly graph-based formats. She leads the Foundations of Language Processing research group. Key Research Projects: WARA Media & Language (2024–2026) Semantic Parsing of Multimodal Data (2021–2024) AI-Driven Contextual Advertising (2020–2023) Her work bridges theoretical computer science (tree automata, graph languages) with applied AI (contextual advertising, sentiment analysis, clinical decision support). She has secured significant grants, including SEK 12 million for AI projects and 4 million for Deep Learning development. Scientific Awards: SEK 12 million grant (2020) 4 million SEK grant for Deep Learning methods (2020)

Helmut Seidlمشاهده پروفایل

استاد

• Formal Methods
• Programming Languages
• Static Analysis
• +۵ مورد دیگر

Prof. Helmut Seidl is a faculty member at the Technical University of Munich (TUM) within the TUM School of Computation, Information and Technology . His research focuses on formal methods , static analysis , compiler design , and abstract interpretation . He has contributed to foundational work on tree transducers, concurrency analysis, and verification techniques for concurrent programs. Notable contributions include the Goblint static analysis framework and advancements in context-sensitivity management , pointer analysis , and correctness witness validation . His work bridges theoretical computer science with practical applications in compiler optimization and program verification. Research Trends: Recent articles emphasize top-down solver correctness , non-local jump analysis , and efficient relational domains . His methodologies address challenges in precision, scalability, and decidability in program analysis. Grants and Labs : While specific grant details are not listed, his prolific publication record suggests sustained research funding. Collaborations likely involve formal methods and programming language communities.

Marc Sebbanمشاهده پروفایل

استاد

• Machine Learning
• Domain Adaptation
• Metric Learning
• +۵ مورد دیگر

Marc Sebban is a Professor in Computer Science at the Hubert Curien Laboratory (LabHC) and Deputy Director of this research unit. He leads the Inria project-team MALICE, focusing on machine learning, domain adaptation, and metric learning. Research Interests Metric learning with theoretical guarantees Domain adaptation via optimal transport Physics-informed neural networks Imbalanced data classification Tree-structured data similarity learning Recent Publications His 2025 work introduces provably accurate adaptive sampling for collocation points in PINNs and theoretically grounded quadrature methods using residual Hessians. 2024 publications explore physics-informed ML for laser-matter interaction, predictive modeling of body shape changes, and approximation error analysis in tanh neural networks. Earlier works address graph diffusion Wasserstein distances, metric learning for imbalanced data, and boosting algorithms with confidence oracles.

• Sensor Systems
• Embedded Systems
• Ultrasound Imaging
• +۷ مورد دیگر

Stefan Johann Rupitsch is a Professor at the University of Freiburg, leading the Professorship for Electrical Measurement Technology and Embedded Systems since December 2020. He holds a prominent role in academic and industrial research collaborations, focusing on interdisciplinary fields such as sensor systems, biomedical engineering, and embedded technologies. His work bridges theoretical research with practical applications, including drug delivery systems, environmental monitoring, and disaster response technologies. **Education**: Information not explicitly provided in the text. **Research Interests**: His primary research areas include wireless sensor networks, ultrasound imaging for biomedical applications, magnetic nanoparticle localization, and energy-efficient embedded systems. He has pioneered advancements in magnetomotive ultrasound for drug targeting and developed innovative sensor platforms for industrial and environmental monitoring. His projects often integrate machine learning and robotics to enhance system precision and autonomy. **Projects**: As a project manager or coordinator, he oversees initiatives such as wireless microsensor probes for tree canopy monitoring (B1), cochlear implant sensing (CIAS), and disaster-site radar systems (avaRES). Recent efforts focus on sustainable sensor technologies for wear part optimization (Smart Belt) and gas infrastructure resilience (LEAKALERT). **Grants & Advising**: Rupitsch has supervised numerous theses in fields like sensor design, AI for building acoustics, and earthquake monitoring. He actively participates in reviewing academic works and industry projects, reflecting his leadership in technical communities. **Labs & Teams**: His research is conducted through collaborations with the Microsystems for Biomedical Imaging Laboratory and the Sustainability Performance Center, emphasizing interdisciplinary teamwork and real-world impact.

Donald Fortescueمشاهده پروفایل

استاد

• Art and Science Interdisciplinary Practice
• Sculptural Instrument Design
• Sound Art
• +۱۲ مورد دیگر

Donald Fortescue is a Professor in the Furniture Program at the California College of the Arts (CCA) , where he has led the program since 1997. He holds a PhD from the Australian National University and integrates art, science, and craft in his interdisciplinary practice. His work explores the boundaries of perception, employing both digital technologies and traditional craftsmanship to investigate natural phenomena. Education: PhD, Australian National University, Canberra, Australia MA, University of Wollongong, Australia Assoc. Diploma (Wood), Canberra School of Art, Australia B.S., University of New South Wales, Sydney, Australia Fortescue’s research focuses on the convergence of artistic and scientific methodologies, particularly in extreme environments like the Arctic and Antarctic. His recent projects involve fieldwork in polar regions, collaborating with scientific observatories such as the IceCube Neutrino Observatory at the South Pole and the KM3NeT in the Mediterranean. He creates sculptural 'instruments' that transduce natural energies—such as wind, light, and atmospheric pressure—into sound and visual forms, revealing hidden aspects of the natural world. His recent artistic output demonstrates a consistent engagement with themes of transduction, environmental perception, and the material legacies of scientific exploration. Works like Instrument (90ºS) and Bathysphere (for KM3NeT) exemplify his fusion of artistic expression with astrophysical inquiry. These projects reflect a deep interest in how both art and science grapple with noise, signal, and the interpretation of subtle data. Scientific Awards: Experimental Design Award, San Francisco Museum of Modern Art (2001) US National Science Foundation Antarctic Artists and Writers Fellowship Fortescue has exhibited widely across Australia, the US, Europe, Asia, and South America. His work is held in major collections including the National Gallery of Australia , the Museum of Arts and Design (New York) , and the San Francisco Museum of Modern Art . He advises on interdisciplinary research and has received grants from institutions such as the Exploratorium , the Center for Art and Environment , and his academic institutions. Labs & Collaborations: Fortescue collaborates closely with scientific teams at IceCube and KM3NeT , embedding artistic inquiry within high-energy physics research. His work often involves custom-built instruments deployed in remote environments, functioning both as artworks and as platforms for sensory data collection.

• Theoretical Computer Science
• Formal Languages
• Automata Theory
• +۳ مورد دیگر

Aurélien Lemay serves as a Lecturer (HDR) at the University of Lille, affiliated with Inria and the CRIStAL research laboratory (Centre de Recherche en Informatique, Signal et Automatique de Lille). Based in office B217 of the Inria Building B in Haute Borne, he maintains an active role in academic supervision and research within the LINKS team. His research spans Theoretical Computer Science with concentrated expertise in Formal Languages, Automata Theory, and Machine Learning applications for transducers. He investigates structural properties of data transformations and normalization processes in computational systems, bridging theoretical frameworks with practical implementations. Dr. Lemay has supervised two doctoral theses: Adrien Boiret (2016): "Normalization and learning of tree and word transducers" Paul Gallot (2021): "Safety of data transformations" No scientific awards were documented in the provided materials. His advisory work demonstrates consistent engagement with foundational computational problems through doctoral mentorship.