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

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

استاد

• Artificial Intelligence
• Automated Planning
• Knowledge Representation
• +۴ مورد دیگر

Professor Sebastian Sardina is a Professor in Artificial Intelligence at RMIT University's School of Computing Technologies. He holds a Bachelor's from South National University (Argentina) and a PhD from the University of Toronto (Canada). His research focuses on AI for dynamic systems, including automated planning, knowledge representation, and agent-oriented programming. He has contributed to enhancing agent programming languages with learning capabilities and advanced AI planning techniques. His work frequently appears in top AI venues like IJCAI and AAAI, with notable best paper nominations. Teaching interests include foundational CS courses such as Theory of Computation and Intro to AI. He actively promotes computational thinking through workshops for youth and educators, including roles in Victorian curriculum development (VCE Algorithmics). Supervision projects span hand gesture recognition, autonomous vehicle safety, and goal recognition in path-planning. His research has been presented globally and applied across domains like aviation safety, manufacturing systems, and healthcare. Recent trends in his publications emphasize goal recognition techniques (e.g., process mining applications), agent behavior modeling, and interdisciplinary AI applications in healthcare and automotive engineering. He has collaborated with industry and academic partners internationally, contributing to both theoretical advancements and practical AI solutions. Scientific Recognition: Multiple best paper nominations in AI conferences. Community Engagement: MAV conference presenter, VCAA Algorithmics curriculum panel member (2023). Supervision: Active mentor for 4+ research projects in AI planning and recognition.

• Cyber-Physical Systems
• Autonomous Systems
• Formal Methods
• +۴ مورد دیگر

Josefine B. Graebener is a Postdoctoral Scholar Research Associate in the Department of Computing & Mathematical Sciences at the California Institute of Technology (Caltech). Her research focuses on formal methods for test and evaluation of autonomous systems, including cyber-physical systems and reactive systems. She holds an office at the Annenberg IST Center (Mail Code 305-16) and can be reached at jgraeben@caltech.edu . Her work emphasizes assume-guarantee contracts for compositional system analysis, automated test synthesis, and failure-tolerant design for applications like autonomous vehicles and spacecraft computers. Key contributions include the development of the Pacti framework for scalable system analysis and the study of thermal stabilization in space telescopes using phase change materials. Josefine’s publications span topics such as reach-avoid specifications for autonomous systems, trade-off analysis in spacecraft computer design, and directive-response architectures for automated systems. While no formal awards are listed, her research demonstrates significant contributions to system reliability and formal verification methodologies.

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

استاد

• Artificial Intelligence
• Formal Methods
• Autonomous Systems
• +۳ مورد دیگر

Dr. Daniel G. Schwartz is a Professor in the Computer Science Department at Florida State University (FSU). He holds a B.A. in Mathematics from Portland State University (1969), an M.S. in Mathematics from Simon Fraser University (1974), and a Ph.D. in Systems Science from Portland State University (1981). His career includes roles as Assistant Professor at Binghamton University (1981–1983) and Florida State University (1984–1989), and Associate Professor at FSU (1989–2021) before becoming a full Professor in 2021. Dr. Schwartz's research focuses on artificial intelligence, formal methods, and autonomous systems. Key areas include nonmonotonic reasoning, fuzzy logic, and applications to mission planning for autonomous vehicles (e.g., driverless cars, unmanned naval systems). He has pioneered work on dynamic reasoning systems, qualified syllogisms, and agent-oriented epistemic reasoning. His recent projects involve secure communications for unmanned aerial vehicles (funded by the U.S. Navy) and path planning for autonomous surface/underwater vehicles with doctoral student Mohamad Imran Chowdhury. Teaching includes courses on artificial intelligence, Java programming, databases, and theoretical computer science (e.g., automata theory, formal languages). His work on network security includes a U.S. Army-funded project (2001–2006) developing case-based reasoning systems for intrusion detection. His research outputs span over 20 years, with contributions to robotics, formal logic, and fuzzy systems. Current projects emphasize autonomous vehicle navigation and event possibility theory for decision-making under uncertainty.

• Theoretical Computer Science
• Logic in Computer Science
• Programming Languages
• +۵ مورد دیگر

Dr. Cécilia Pradic is a Lecturer in Computer Science at Swansea University's School of Mathematics and Computer Science. Her research focuses on theoretical computer science, logic, and automata theory with applications in programming languages and database systems. She is affiliated with the Computational Foundry at Bay Campus and holds an ORCID identifier (https://orcid.org/0000-0002-1600-8846). Her recent work emphasizes nested relational query synthesis, implicit automata in λ-calculi, and Weihrauch reducibility for computational problems. She teaches modules including Declarative Programming (CS-205), Software Concepts and Efficiency (CSCM12), and Problem Solving & Software Efficiency (CSCM712), using Java and Python as primary tools. Pradic's publications span topics like proof theory applications to database systems, formal methods for string transformations, and computational complexity analysis. She has supervised multiple graduate research students, including a current PhD candidate and an MRes graduate (2024). Her research bridges foundational theory with practical algorithm design, contributing to advancements in both academic and applied computing domains.

Jianliang Wuمشاهده پروفایل

استادیار

• Systems Security and Privacy
• Formal Analysis
• Machine Learning Security and Privacy
• +۴ مورد دیگر

Jianliang Wu is an Assistant Professor in the School of Computing Science at Simon Fraser University. His research focuses on systems security and privacy, formal analysis, and machine learning security. He holds a PhD from Purdue University (2022), and MSc and BSc from Shandong University (2015 and 2012). His research interests include Bluetooth security, IoT privacy, and formal methods for protocol analysis. He teaches courses such as Network Security, Software Security, and Networks, including CMPT 403 (System Security and Privacy) and CMPT 479 (Special Topics in Computing Systems). His work spans both theoretical and applied cybersecurity, with a strong emphasis on real-world system vulnerabilities and mitigation strategies. Recent research highlights include systematic reviews of Bluetooth protection strategies, analyses of IoT data exposure via companion apps, and formal model-driven discovery of protocol design flaws. His contributions address critical challenges in wireless communication security and IoT ecosystem vulnerabilities. No scientific awards are explicitly mentioned in the provided text. Advising and grants details are not available here. He is affiliated with the School of Computing Science, which hosts labs like the Tangent Lab, though direct lab affiliations for Wu are not specified.

Benedikt Löweمشاهده پروفایل

استاد

• Foundations of mathematics
• Set theory
• Mathematical logic
• +۶ مورد دیگر

Dr. Benedikt Löwe is a Professor at the University of Hamburg since 2009, holding the CIPSH Chair 'Diversity of Mathematical Research Cultures & Practices'. He maintains affiliations with the Universiteit van Amsterdam (2003–2023) and the University of Cambridge (since 2012). His roles include research group leadership at Hamburg, editorial leadership at 'Mathematical Logic Quarterly', and governance positions in international academic organizations. Education : Master's in Mathematics (Tübingen, 1996), PhD in Mathematics (Berlin, 2001), Habilitation (Bonn, 2004), M.A. and Sc.D. from Cambridge His research bridges mathematical logic with philosophy, narratology, AI, and social sciences, with a focus on foundational questions and interdisciplinary modeling. His work has pioneered algebra-valued set theory, modal logic of forcing, and empirical approaches to modeling mathematical practices. Key contributions include the concept of 'quasigenerics' in set theory, the development of paraconsistent algebra-valued models, and the application of logic to folktale morphology. He has edited multiple journals and served on editorial boards, including as Managing Editor of 'Mathematical Logic Quarterly' (2011–2022). Scientific Awards : Fellow of the International Science Council (2023) Ordinary member of the Hamburg Academy of Sciences (2023) Simons Foundation Research Fellowship (2015) Felix-Hausdorff-Gedächtnispreis (2001) As a leader in academic governance, he has chaired the Deutsche Vereinigung für Mathematische Logik (DVMLG) and served as Secretary General of the International Union of History and Philosophy of Science and Technology's logic division (DLMPST/IUHPST).

• Signal Processing
• Antenna Engineering
• Radar Imaging
• +۵ مورد دیگر

Amir Masoud Molaei is a Research Fellow at the School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast. His research focuses on advanced radar imaging techniques, antenna engineering, and signal processing, with particular emphasis on near-field localization, MIMO systems, and computational imaging using metasurface antennas. He has collaborated extensively on projects involving millimeter-wave systems, sparse array configurations, and security applications. His work integrates theoretical models like Kirchhoff migration with experimental validation, emphasizing hardware-efficient designs and algorithmic improvements. Key themes include overcoming challenges in mutual coupling effects, optimizing dynamic antenna configurations, and enhancing 3D imaging resolution. He has explored applications ranging from medical imaging to security systems, with a strong focus on real-time processing and experimental validation. Notable contributions include pioneering studies on reconfigurable metasurface antennas for radar and computational imaging, as well as algorithmic advancements in direction-of-arrival estimation and mixed-field source localization. His research bridges electromagnetic theory, signal processing, and practical hardware implementations, often addressing trade-offs between computational efficiency and accuracy. Molaei has published over 40 papers since 2021, with a focus on IEEE journals and conferences. His work frequently addresses challenges in signal reconstruction, sparse sampling techniques, and the integration of machine learning with traditional signal processing methodologies.

Magnus Madsenمشاهده پروفایل

دانشیار

• Programming Languages
• Compilers
• Type and Effect Systems
• +۷ مورد دیگر

Magnus Madsen is an Associate Professor at Aarhus University, Department of Computer Science. He leads the development of the Flix programming language, a declarative tool integrating logic, functional, and imperative features with Java interoperability. His work spans type and effect systems, program analysis, and JavaScript bug-finding tools, particularly for asynchronous applications. Academic Affiliation: Aarhus University (Denmark) Leadership: Flix Programming Language Magnus's research focuses on programming language design, type systems, and static/dynamic analysis. This includes Datalog constraints, polymorphic effects, and nullability frameworks. His contributions to JavaScript analysis address asynchrony and concurrency challenges. Key trends in his work include declarative program analysis, effect system design, and Datalog-based frameworks like IFDS/IDE. Recent papers explore rank-polymorphic function inference, purity reflection, and stratification in logic programming. Scientific awards include: Sapere Aude grant (2023) Dahl-Nygaard Junior Prize (2022) STEM Grant (2022) Amazon Research Award (2021) DFF Project One (2020) ECOOP 2023 Distinguished Paper ICSE 2016 Distinguished Paper Current PhD students advised: Jonathan Lindegaard Starup, Matthew Lutze, Andreas Stenbæk Larsen (co-advised with Aslan Askarov), Caroline Palma Berger (co-advised with Clemens Nylandsted Klokmose).

Enrique Blairمشاهده پروفایل

دانشیار

• Quantum-dot Cellular Automata
• Quantum Information Sciences
• Quantum Mechanics
• +۱۱ مورد دیگر

Dr. Enrique Blair is an Associate Professor in the Department of Electrical and Computer Engineering at Baylor University, where he has served since 2015, advancing to his current rank in 2021. His academic journey includes prior roles as a Military Instructor at the U.S. Naval Academy and service in the U.S. Navy submarine force. He is actively engaged in research, teaching, and mentoring within the College of Engineering. His research focuses on the theoretical and computational aspects of quantum engineering, particularly in quantum-dot cellular automata (QCA), open quantum systems, and quantum information sciences. He explores molecular computing paradigms, quantum decoherence, and the quantum mechanical basis of olfaction, aiming to develop ultra-dense, low-power nanoelectronic devices and novel quantum technologies. His interdisciplinary work bridges electrical engineering, physics, chemistry, and materials science. The recent articles highlight a strong trend in molecular QCA design, quantum simulation for NISQ devices, and the application of ab initio methods to understand counterion effects and molecular stability. His research increasingly integrates machine learning for material discovery and emphasizes robustness in quantum circuits against environmental noise and external fields. The publications reflect a consistent focus on foundational quantum phenomena with practical applications in computing, sensing, and security. Research Grant, Office of Naval Research, Code 312 Nanoscale Computing Devices and Systems (May 2020 - May 2023) Summer Sabbatical, Baylor University (Summer 2019) Senior Member, IEEE (2019) Outstanding Faculty Award (untenured, tenure-track faculty), Baylor University (2018) Proposal Development Award, Office of the Vice Provost for Research, Baylor University (2017) Rising Star Program, Baylor University (2017-2018) Undergraduate Research and Scholarly Achievement Award, Office of the Vice Provost for Research, Baylor University (2017-2018) Rising Star Program, Baylor University (2016-2017) Graduate Research Fellowship Program, National Science Foundation (2010-2015) National Defense Science and Engineering Graduate Fellowship, American Society for Engineering Education (2010-2013) Dr. Blair has advised multiple Ph.D. and Master’s students, including Colin Burdine, Nischal Gautam, and Nishat Liza, and has mentored numerous undergraduate researchers. His research is supported by competitive grants, particularly from the Office of Naval Research, reflecting the strategic importance of his work in nanoscale computing. He integrates teaching and research, offering courses such as Quantum Mechanics for Engineers and Introduction to Quantum Computing, and promotes scholarly productivity through tools like Emacs Org Mode and LyX. He leads an active research team focused on molecular QCA and quantum information, with current members including Ph.D. students and undergraduates. The team conducts simulations, theoretical modeling, and design of quantum devices, contributing to advancements in nanoelectronics and quantum computing. Collaborations with experts in chemistry, physics, and computer science further extend the impact of the research.

• Digital Transformation
• Enterprise Architecture
• Governance Structure
• +۲ مورد دیگر

Janne J. Korhonen serves as a Post-Doctoral Researcher and Visitor in the Faculty at Aalto University's Department of Industrial Engineering and Management. His work bridges information technology and organizational strategy in digital transformation contexts. His academic credentials include: Doctor of Science (2018) and Doctoral degree (2018) in Engineering and Technology from Aalto University Diplomi-insinööri in Digital Product Development from Helsinki University of Technology (2003) Dr. Korhonen's research centers on Digital Transformation , Enterprise Architecture , and Dynamic Capabilities . He examines how organizations develop governance structures and capabilities to navigate digital disruption, emphasizing top management's role and informed decision-making for effective information utilization. His publication trajectory reveals a shift from technical digital capabilities toward organizational logic and reconfiguration models. Recent work highlights the necessity for new adaptation frameworks at institutional levels to address digital transformation shortfalls. He has contributed to significant research initiatives including the Academy of Finland-funded "Digital Disruption of Industry" project (2015-2017) and Business Finland's "Adaptive and Complex Informatics Endeavours" (2012-2014), focusing on digital innovation and adaptive systems.

• Computer Science Education
• Logic Programming
• Ontology Engineering
• +۲ مورد دیگر

Laura Andrea Cecchi is an active researcher specializing in computer science education, logic programming, and ontology engineering. Her work focuses on developing innovative pedagogical approaches for teaching computational thinking at early educational stages, with significant contributions to gender-inclusive STEM education. Research Interests: Her primary research explores: Logic programming curriculum development for primary education Visual tools for ontology engineering and knowledge representation Eye-tracking and HCI applications in programming pedagogy Gender-inclusive strategies for computer science education Automated reasoning in ontology-based systems Publication Trends: Her recent work (2020-2024) shows a strong focus on educational technology and democratizing programming education, while earlier publications (2015-2019) centered on formal methods and ontology engineering. She consistently publishes at premier computer science conferences including ICLP, CLEI, and IJCAI. Collaborations: Frequent collaborations with Jorge Pablo Rodríguez and Verónica Dahl appear across her publication record, particularly in education-focused research.

Stephen Siegelمشاهده پروفایل

دانشیار

• Formal methods for software verification
• Verification of parallel and scientific software
• Concurrency in software systems
• +۳ مورد دیگر

Stephen Siegel is an Associate Professor at the University of Delaware with a joint appointment in the Department of Computer and Information Sciences and the Department of Mathematical Sciences . Holding a PhD in Mathematics from the University of Chicago (1993), he transitioned from finite group theory research to formal methods in computer science, focusing on verification of parallel and scientific software. His research centers on the Verified Software Laboratory (VSL) and the CIVL Model Checker for HPC program verification. Recent work includes formal verification of PETSc components at CAV 2025 and collective contract frameworks for message-passing programs. Research Interests Formal methods for software verification Parallel and HPC software reliability Model checking techniques Application of mathematical logic to computing Academic Service Highlights Program Committee & Publication Chair, CAV 2025 Co-organizer, International Workshop on Verification of Scientific Software (VSS 2025) Chair, VerifyThis competition (2023) Editorial service at IEEE Transactions on Software Engineering (2015-2019) Teaching Portfolio CISC 404/604: Logic in Computer Science CISC 414/614: Formal Methods in Software Engineering CISC 372: Parallel Computing (MPI/OpenMP/CUDA instruction) Advanced Topics courses: Model Checking, Abstract Interpretation

• Automata Theory
• Formal Methods
• Tree Automata
• +۴ مورد دیگر

Christof Löding is an Adjunct Professor at the Department of Logic and Theory of Discrete Systems (Computer Science 7) at RWTH Aachen University. His research focuses on automata theory, formal verification, and logical foundations of computer science, with significant contributions to Büchi automata, tree automata, and stochastic games. Academic affiliation: RWTH Aachen University, Germany Research areas: Automata theory, Formal methods, Game theory, Logic in computer science Contact: loeding@informatik.rwth-aachen.de His recent work spans deterministic parity automata construction, finite-valued transducers, and algorithmic solutions for infinite games. Publications emphasize theoretical foundations and practical applications in program verification and XML processing. Articles analyze automata learning, uniformization problems, and lookahead degrees in infinite games, showing interconnections between automata theory and formal verification.

Nathanaël Fijalkowمشاهده پروفایل

پژوهشگر

• Games
• Machine Learning
• Automata Theory
• +۹ مورد دیگر

Nathanaël Fijalkow is a Researcher at CNRS in LaBRI (Bordeaux) and a Research Fellow at The Alan Turing Institute in London. His primary research fields include games , machine learning , automata theory , and dynamical systems , with a focus on synthesizing programs from logical specifications and probabilistic models. Research Interests span program synthesis (programming by example), controller synthesis (temporal logic specifications), games on graphs (parity/mean payoff games), probabilistic automata (bounded ambiguity), and invariants for linear dynamical systems. He bridges formal methods with machine learning through projects like DeepSynth . Scientific Contributions include: Undecidability results for probabilistic automata Advances in parity game algorithms (quasi-polynomial lower bounds) Foundations of probabilistic modal logics Efficient synthesis techniques using SMT solvers and distributional learning Supervision involves guiding postdocs and PhD students such as Guillaume Lagarde, Antonio Casares, and Pierre Ohlmann. He has secured grants like the Momentum DeepSynth project (2019-2021) , aiming to merge formal methods with ML for program synthesis.

Karoliina Lehtinenمشاهده پروفایل

پژوهشگر

• Logic
• Games
• Automata
• +۵ مورد دیگر

Karoliina Lehtinen is a CNRS Researcher at Aix-Marseille University's Laboratoire d'Informatique et Systèmes (LIS). Her work focuses on theoretical computer science intersections with logic, games, and automata, particularly for verification and synthesis applications. Current affiliations: CNRS, LIS, MoVe group Active projects: QuaSy (PI), MoVeMnt (Co-PI) Research Interests: Specializing in logic and automata theory, her work addresses complexity in modal mu calculus, history-determinism, and quantitative reactive synthesis. She combines game theory with formal methods to tackle verification challenges. Scientific Awards: Marie Skłodowska-Curie Fellow Simons Institute Fellow (Theoretical Foundations of Computer Systems program) Students & Collaborators: PhD Students: Olivier Idir (2023–), Vasiliki Kyriakou (2023–) Postdocs: Aditya Prakash (2025–) Collaborators: Udi Boker, Nathan Lhote, Pierre-Alain Reynier, Benjamin Monmege