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

Clément Aubertمشاهده پروفایل

دانشیار

• Computational Logic
• Concurrency Theory
• Reversible Computing
• +۵ مورد دیگر

Clément Aubert is an Associate Professor in the Department of Computer Science at Augusta University's School of Computer and Cyber Sciences. He is also affiliated with the Graduate School and serves as faculty advisor for the ΔΛΔ student organization. His research focuses on computational logic, concurrency theory, and reversible computing, with contributions to process calculi, formal semantics, and program analysis. He received his Ph.D. in Computer Science from Université Paris 13 in 2014 and held postdoctoral positions in France and the U.S. before joining Augusta University. Education: Ph.D., Computer Science, Université Paris 13 (2014) M.Sc. and B.Sc. in Mathematics/Computer Science from Parisian institutions Research Interests: His work bridges theoretical computer science and practical applications, emphasizing reversible computing models, concurrency theory, and implicit computational complexity. He develops formal methods for analyzing concurrent systems and has contributed to tools like the pymwp static analyzer. His research is published in venues such as Journal of Logical and Algebraic Methods in Programming , CONCUR , and VMCAI . Teaching: Recent courses include CSCI 1302 (Programming II), CSCI 8940 (Dissertation Research), and Compiler Writing. He advises graduate and undergraduate students in research projects involving reversible distributed systems, program analysis, and database systems. Projects: Current projects include the CinRC initiative on reversible distributed systems and collaborations with biostatisticians on data integration. Past work includes capstone projects on database systems and pandoc filter development. Professional Activities: He serves on program committees for Interaction and Concurrency Experience (ICE) and organizes the Programming Languages Reading Group. His work is supported by grants exploring productivity in biomedical research and reversible computing formalisms.

Bogdan Chlebusمشاهده پروفایل

استاد

• Distributed Computing
• Algorithms
• Wireless Networks
• +۳ مورد دیگر

Bogdan Chlebus is a Professor of Computer Science at Georgia Southern University's School of Computer and Cyber Sciences. He holds a Ph.D. in Computer Science from Warsaw University (1983). His research focuses on distributed computing, algorithms, wireless networks, and fault-tolerant systems. He has contributed significantly to consensus protocols, adversarial network environments, and transactional memory systems. Dr. Chlebus teaches courses such as Theory of Computation, Algorithm Analysis, and Ethics in Computer Science. He is actively involved in academic service, serving as an editor for Fundamenta Informaticae and on steering committees for international conferences like FCT and ALGOSENSORS. He has also held roles on university committees, including the Promotion & Tenure Committee and the University Senate Committee. His work emphasizes scalable solutions for distributed systems, with a focus on robustness against failures and adversarial conditions. He has published extensively on topics including consensus algorithms in Byzantine networks, energy-efficient routing, and adversarial contention resolution.

Paul von Bünauمشاهده پروفایل

استاد مدعو

• Artificial Intelligence
• Healthcare Technology
• Machine Learning
• +۴ مورد دیگر

Dr. Paul von Bünau serves as Managing Director (CEO) of IDALab, a strategic advisory firm focused on artificial intelligence in healthcare and biotechnology. He concurrently holds an adjunct academic role at Europa-Universität Viadrina Frankfurt (Oder), where he teaches courses on AI strategy and regulatory compliance in healthcare. His educational background includes a PhD in Machine Learning (TU Berlin), M.Sc. in Pure Mathematics (University of St Andrews), and B.Sc. in Computer Science (University of Potsdam). **Professional Background**: Paul provides strategic AI guidance to multinational healthcare companies, biotech startups, and medical device manufacturers. Key engagements include building AI innovation units for a medtech company, accelerating drug discovery through AI-driven R&D, and developing AI tools for healthcare market access under EU regulations. His approach emphasizes aligning technical solutions with organizational needs and regulatory landscapes. **Research & Teaching**: At Viadrina, he delivers seminars on AI strategy (2024) and regulatory compliance in healthcare AI (2025). His research focuses on non-stationary data analysis, clinical data harmonization, and AI applications in neuroscience. Recent work includes a validated clinical data pipeline for scalable AI deployment (JMIR Medical Informatics, 2023) and algorithms for stationary subspace analysis (Physical Review Letters, 2009). **Key Takeaways from Projects**: Companies with strong engineering cultures often underestimate the cultural and structural changes required for AI integration. Rapid prototyping, talent alignment, and cross-disciplinary teams (e.g., AI + healthcare experts) are critical for success. His work highlights the transformative potential of AI in healthcare while emphasizing ethical and regulatory considerations.

Bruce Lesterمشاهده پروفایل

استاد

• Parallel Computing
• Programming Languages
• Multi-Core Processors
• +۳ مورد دیگر

Dr. Bruce Lester is a Professor of Computer Science at Maharishi University of Management (MUM), where he founded the Computer Science Department and served as its Chair for eight years. He holds PhD, MS, and BS degrees from the Massachusetts Institute of Technology (MIT). His research focuses on Parallel Computing and Programming Languages for Multi-Core Processors, with a strong emphasis on compiler optimization and concurrency control. Education: Bachelor of Science, Massachusetts Institute of Technology Master of Science, Massachusetts Institute of Technology Doctor of Philosophy (PhD), Massachusetts Institute of Technology Research Interests: Dr. Lester’s work spans Parallel Computing, Programming Languages, and Multi-Core Processor Optimization. He has developed techniques for lock-free parallel data structures, operator fusion in data-parallel libraries, and compile-time detection of control flow errors in parallel programs. His contributions to the field include foundational research on concurrency debugging and the design of educational tools like Multi-Pascal for teaching parallel programming. Publications Trends: His publications emphasize practical applications of parallel computing, including high-performance algorithms, compiler techniques, and concurrency error detection. Recent work focuses on lock-free systems and data-parallel library optimizations. Awards & Honors: Best Paper Award at the 2011 International Conference of Parallel and Distributed Computing (World Congress on Engineering) Advising & Grants: No formal advisee names are listed in the provided data. His professional experience includes 13 years of teaching and six years as a Senior Software Engineer at Primus Telecommunications, where he developed client/server systems and internet platforms. Labs & Teams: While specific lab affiliations are not detailed, his role as founder of MUM’s Computer Science Department suggests leadership in departmental research initiatives.

Nektarios Kozyrisمشاهده پروفایل

استاد

• Parallel and Distributed Systems
• Computer Architecture
• High-Performance Computing
• +۵ مورد دیگر

Nektarios Kozyris is a Professor of Computer Science and former Dean of the School of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). He holds a PhD and Diploma in Electrical and Computer Engineering from NTUA. His research focuses on parallel and distributed systems, computer architecture, high-performance computing, and cloud infrastructure. He has authored over 180 papers and contributed to major projects like the Okeanos public cloud and Synnefo open-source software. Kozyris has led EU initiatives such as ACTiCLOUD and EuroEXA, and advises startups like Arrikto. He is a senior member of the ACM, IEEE Computer Society, and co-founder of the Greek Free/Open Source Software Society (GFOSS). His academic roles include teaching courses on computer architecture, operating systems, and distributed systems. Awards include Best Paper Awards at IPDPS 2001 and CCGRID 2013, and Intel's recognition for research in transactional memory. He actively contributes to conferences as a PC member and co-chair, and has supervised numerous PhD students in areas like distributed systems and sparse matrix computations. Kozyris pioneered the ~okeanos cloud infrastructure and advanced storage systems like Pithos. His work on GridTorrent and XOROS demonstrates innovation in data management and peer-to-peer systems. Current research includes elastic resource provisioning, quantum machine learning, and FPGA-based acceleration. His labs at NTUA and collaborations with institutions like ICCS and IMIS drive advancements in computing systems and software engineering.

Eswaran Subrahmanianمشاهده پروفایل

استاد پژوهشی

• Socio-technical systems design
• Decision support systems
• Engineering informatics
• +۵ مورد دیگر

Eswaran Subrahmanian is a Research Professor at Carnegie Mellon University (CMU), affiliated with the Engineering Research Accelerator and the Department of Engineering and Public Policy within the College of Engineering. He concurrently serves as a Visiting Honorary Professor at the International Institute of Information Technology, Bangalore and an Adjunct Faculty member at Ahmadabad University. His roles include part-year work at the National Institute of Standards and Technology (NIST), USA, focusing on smart networks and societies. Education: Ph.D. in Public Policy & Information Systems, Carnegie Mellon University (1987) M.S. in Computer Science, University of South Carolina (1979) B.E. (Hons) in Chemical Engineering, Birla Institute of Technology & Science (1976) Research Focus: Subrahmanian's work centers on socio-technical systems design, decision support systems, and design theory. He explores intersections of technology, public policy, and societal impact through projects with industry leaders like Boeing, Bosch, and the World Bank. His theoretical contributions include the PSI framework and categorical models for complex systems analysis. Publications & Awards: With over 90 peer-reviewed articles and co-edited books, he co-authored We Are Not Users: Dialogues, Diversity, and Design (MIT Press, 2020). Honors include the Steven Fenves Award (2006), AAAS Fellowship (2008), and ACM Distinguished Scientist (2013). Advising & Innovation: Co-founder of Fields of View , a nonprofit designing games/simulations for policy challenges, and involved in initiatives like the National Health Information Systems Project. His work emphasizes inclusive design methodologies and interdisciplinary collaboration. Labs & Teams: Active in the Engineering Research Accelerator and collaborates across disciplines to address urban systems, energy policy, and ICT for sustainable development.

Marino Miculanمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Distributed Systems
• +۳ مورد دیگر

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects. His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions. Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.

Joël Ouaknineمشاهده پروفایل

استاد

• Algorithmic Verification
• Theoretical Computer Science
• Linear Dynamical Systems
• +۶ مورد دیگر

Joël Ouaknine is Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) located at the Saarland Informatics Campus in Saarbrücken, Germany. He leads the Foundations of Algorithmic Verification research group and serves as an Associate Editor for the Journal of the ACM (JACM) since 2023 and previously for the Journal of Computer and System Sciences (JCSS) from 2014-2023. His research focuses on the Foundations of Algorithmic Verification and Theoretical Computer Science, particularly on decision, control, and synthesis problems for discrete and continuous linear dynamical systems using tools from number theory, Diophantine geometry, and algebraic geometry. His work also encompasses automated verification of real-time, probabilistic, and infinite-state systems, logic applications to verification, automated software analysis, and concurrency. His research integrates deep mathematical techniques with computer science theory to solve fundamental verification problems. Analysis of his recent publications reveals a strong trend toward solving decision problems in linear dynamical systems, with increasing emphasis on connections to number theory and algebraic geometry. His work bridges theoretical computer science with pure mathematics, particularly in addressing the Skolem Problem and related questions about linear recurrence sequences. Recent publications show growing interest in monadic second-order logic extensions and their applications to dynamical systems. Distinguished Paper Award at LICS 2024 for work on monadic second-order logic with arithmetic predicates ACM SIGBED Best Paper Award in 2024 for research on linear dynamical systems with continuous weight functions LICS Test-of-Time Award Winner in 2025 for a seminal 2007 paper on Metric Temporal Logic Dr. Ouaknine currently supervises PhD students Piotr Bacik, Joris Nieuwveld, and Mihir Vahanwala, and mentors postdocs Quentin Guilmant, Toghrul Karimov, and Isa Vialard. His research is supported by significant funding including an ERC Synergy Grant (2025-2031) as Coordinating Principal Investigator for the DynAMiCs project, and DFG Collaborative Research Centre 248 (2022-2026) as Principal Investigator for the Foundations of Perspicuous Software Systems. His previous ERC Consolidator Grant (2015-2021) supported work on Analysis, Verification, and Synthesis of Infinite-State Systems. He actively contributes to the academic community through service on numerous program committees including ICALP, LICS, CONCUR, and serves as organizer for workshops like Dynaverse and Bellairs. His research group at MPI-SWS collaborates extensively with mathematicians and computer scientists worldwide, creating a vibrant interdisciplinary environment focused on solving fundamental problems at the intersection of computer science and mathematics.

Khushraj Madnaniمشاهده پروفایل

پژوهشگر

• Formal Logics and Models of Computation
• Specification and Verification of Timed Systems
• Scheduler Synthesis for Networked Control Cyber-Physical Systems
• +۳ مورد دیگر

Khushraj Madnani is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, under Prof. Rupak Majumdar and Prof. Georg Zetzsche. His research focuses on formal logics, infinite-state models, and their applications in formal methods and verification. Previously, he was a postdoctoral researcher at Delft University of Technology (2020–2021) and a visiting fellow at the Tata Institute of Fundamental Research (2019–2020). He holds a PhD in Computer Science from the Indian Institute of Technology Bombay (2013–2019). Research Interests : Specification and Verification of Timed Systems Scheduler Synthesis for Networked Control Cyber-Physical Systems Formal Logics and Models of Computation Recent Contributions : His work spans decidability of timed logics, formal verification of real-time systems, and control theory. Key themes include metric temporal logic extensions, decidability boundaries, and applications in cyber-physical systems. Recent articles explore quantifier elimination in Presburger arithmetic and decidability of timed temporal logics with advanced quantifiers. Professional Roles : He collaborates with leading research institutes and has contributed to international conferences such as CONCUR, MFCS, and CDC. His work bridges theoretical foundations with practical verification challenges in real-time systems and networked control.

José Proençaمشاهده پروفایل

مدرس

• Component-based systems
• Distributed systems
• Software engineering
• +۳ مورد دیگر

José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS). Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group. Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems. Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).

Erik P. de Vinkمشاهده پروفایل

دانشیار

• Formal Methods
• Software Product Lines
• Probabilistic Systems
• +۶ مورد دیگر

Erik P. de Vink is an Associate Professor at Eindhoven University of Technology (TU/e), Department of Mathematics and Computer Science. He also serves as an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science. His research focuses on formal methods, software product lines, dynamic system adaptation, and probabilistic process algebra. He has held roles such as Treasurer of Formal Methods Europe and organized symposia like the International Symposium on Formal Methods (2018). His academic background includes a PhD from VU Amsterdam, a Senior Researcher position at KPN, and prior teaching at Leiden University. Key research interests include formal modeling of software systems using tools like mCRL2 and Prism, analysis of feature-behavior interactions in software product lines, and validation techniques for dynamic system adaptation. He has co-promoted 9 PhD students in areas like denotational semantics, security, and probabilistic process algebra. His work integrates theoretical computer science with practical applications in distributed systems and concurrency. Recent articles explore topics such as formal methods education, bisimulation in polyhedral models, and probabilistic process analysis. He contributes to open-source tool development (e.g., mCRL2) and has published extensively in journals like Formal Aspects of Computing and Journal of Logical and Algebraic Methods in Programming .

Bas Luttikمشاهده پروفایل

دانشیار

• Concurrency Theory
• Process Algebra
• Formal Methods
• +۳ مورد دیگر

Bas Luttik is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e), with a secondary appointment as an EAISI Foundational Associate Professor. His research focuses on concurrency theory, process algebra, and formal methods applied to railway systems. He holds an MSc and PhD from the University of Amsterdam, followed by postdoctoral work at Vrije Universiteit Amsterdam. His academic contributions include foundational work on parallel decomposition, process algebra semantics, and the integration of concurrency theory with automata theory, notably through the theory of Reactive Turing machines. Education background: MSc Computer Science (1996), University of Amsterdam PhD Computer Science (2002), University of Amsterdam (supervised by Jan Friso Groote at CWI) Research interests emphasize formal verification, process algebra, and practical applications in railway safety. Notable awards include the FMICS Best Paper Award (2018). He teaches courses like Logic and Set Theory, developing innovative digital tools for self-paced learning and homologation recommendation systems. Active in conference organization, he has chaired program committees for EXPRESS/SOS (2011–2013) and contributed to CONCUR, TTCS, and others. His work bridges theoretical foundations (e.g., bisimulation, executability) with applied systems (e.g., EULYNX railway interfaces). Supervised 30+ students, though specific names are not listed here. Research collaborations span international teams, focusing on concurrency, automata, and formal methods in critical systems.

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

دانشیار

• Real-Time Systems
• Embedded Systems
• Control Theory
• +۳ مورد دیگر

Enrico Bini is an Associate Professor at the Department of Computer Science, Università degli Studi di Torino, Italy. His research focuses on real-time systems, control theory, and embedded systems. He has contributed extensively to scheduling algorithms, resource management, and system optimization in both academic and practical contexts. His work spans topics such as feedback-based resource allocation, multiprocessor scheduling, and the design of predictable interconnected systems. Recent publications emphasize real-time control systems, low-latency task scheduling, and efficient resource utilization in heterogeneous environments. Bini’s articles highlight advancements in optimizing task execution times, minimizing jitter, and achieving fairness in multi-core systems. His research also includes contributions to Linux kernel modules for temporal verification and novel approaches to handling communication delays in networked control systems. No scientific awards or grants are explicitly mentioned in the provided materials. His advising record is currently empty. He is affiliated with the University of Turin and collaborates with institutions in formal methods and embedded systems research.

• Theoretical Computer Science
• Distributed Systems
• Reversible Computation
• +۱ مورد دیگر

Claudio Antares Mezzina is an Associate Professor in the Department of Pure and Applied Sciences at the University of Urbino Carlo Bo, specializing in theoretical computer science with research focus areas in reversible computation, distributed systems, and formal methods. Research Focus: His work centers on developing formal models for concurrent and distributed systems, particularly exploring reversible computational frameworks, Petri net applications in biochemical systems, and operational semantics for process algebras. Teaching: Mezzina teaches advanced courses including Distributed Applications and Cloud Computing, Software Engineering and Architecture, and Distributed Systems, with materials often available in both Italian and English.

Eric Goubaultمشاهده پروفایل

استاد

• Formal Verification
• Concurrent and Distributed Systems
• Directed Algebraic Topology
• +۳ مورد دیگر

Eric Goubault is a Professor of Computer Science at École Polytechnique, France, where he leads the Department of Computer Science. He holds a position at the Laboratoire d'informatique (LIX), part of the UMR 7161 research unit. His research focuses on formal verification of numerical programs, concurrency theory, directed algebraic topology, and hybrid systems. Currently, he directs the 'Engineering of Complex Systems' academic and research chair alongside colleagues from ENSTA ParisTech and Télécom ParisTech, supported by industry partners like Thales and Dassault Aviation. Key roles include heading the master's program COMASIC (Conception, Modélisation et Architecture des Systèmes Industriels Complexes) and overseeing ongoing projects such as the ANR-funded Coverif, Malthy, and CAFEIN initiatives. His work bridges theoretical computer science with practical applications in embedded systems and safety-critical software validation. Research interests span geometric methods for concurrency, topological approaches to verification, and robustness analysis of numerical computations. Notable contributions include developing abstract interpretation techniques for static analysis and co-authoring the book *Directed Algebraic Topology and Concurrency* (2016). He advises multiple PhD students and collaborates on projects involving distributed computing and fault-tolerant protocols. Recent activities include organizing academic positions openings at LIX and contributing to conferences like CAV, EMSOFT, and FLOC. His publications emphasize formal methods, hybrid systems analysis, and geometric models for distributed systems.