Find Academic Supervisors

Samuel GuyerView profile

Adjunct Associate Professor

• Programming Languages
• Program Analysis
• Software Reliability
• +7 more

Samuel Guyer is an Adjunct Associate Professor in the Department of Computer Science at Tufts University. His research focuses on programming languages, compilers, program analysis, and runtime systems, with an emphasis on enhancing communication between runtime systems and programmers. He holds a Ph.D. and M.Sc. from the University of Texas at Austin. Education: Ph.D., Computer Science, University of Texas at Austin M.Sc., Computer Science, University of Texas at Austin Research Interests: Dr. Guyer explores techniques to improve software reliability, memory management, and runtime performance. Key areas include domain-specific programming languages, compiler optimizations, and tools for debugging memory managers. His work often addresses challenges in aviation software safety, garbage collection strategies, and object lifecycle analysis. Article Trends: Recent work emphasizes runtime systems analysis (e.g., Permchecker for memory managers, Iceberg for Java concurrency), visualization tools (Heapviz, Garbology), and safety-critical systems (avionics fault monitoring). His research bridges theoretical insights with practical tools for industry-relevant problems. Grants: CAREER: Cooperative Virtual Machines (NSF grant) SHF grants for garbage collection and runtime bug detection Labs/Teams: Collaborates on projects involving compiler infrastructure (e.g., C-Breeze), domain-specific compilers (Broadway), and runtime analysis frameworks. His work often intersects with industry needs for robust software systems.

I-Ling YenView profile

Professor

• High assurance systems
• Parallel and distributed computing
• Secure and dependable systems
• +3 more

Dr. I-Ling Yen is a Professor of Computer Science at The University of Texas at Dallas (UTD), affiliated with the Erik Jonsson School of Engineering and Computer Science. She holds a Ph.D. in Computer Science from the University of Houston (1992), an M.S. in Computer Science from the same institution (1985), and a B.S. in Physics from National Tsing-Hua University (1979). Her research focuses on high assurance systems, parallel and distributed computing, secure systems, grid computing, and component-based design. Research Interests High assurance systems Secure and dependable systems Parallel/distributed computing Grid and peer-to-peer computing Systems engineering Component-based adaptive systems Key Contributions Her work emphasizes QoS-driven service composition, reconfigurable systems, and dependability in cloud and distributed environments. Notable outputs include frameworks for cloud computing dependability metrics, role-based security models, and optimization for intelligent transportation systems. Grants & Funding NSF MRI Consortium (2011–2014): $977K for cloud computing instrumentation NSF QoS-Assured Service Composition (2011–2013): $198K Multiple industry grants from Lockheed Martin, Cisco, Texas Instruments, and Alcatel Professional Service Extensive leadership roles in conferences like IEEE HASE, SOSE, and SRDS, including program chair positions and steering committee memberships. Active as a reviewer for top journals and conferences in systems engineering and software reliability. Academic Leadership UTD service roles include Department By-Law Committee Chair (2007–2010), Search Committee member, and graduate student admissions involvement.

Rakib AbdurView profile

Associate Professor

• Formal Verification
• Model-based Testing
• Automotive Security
• +2 more

Dr. Rakib Abdur is Associate Professor and Systems Security Group member at Coventry University's Institute for Future Transport and Cities, specializing in formal verification of autonomous systems. Research focuses on modeling and verifying safety/security properties in resource-constrained environments using temporal logics and model-based testing. Holds PhD in Computer Science from University of Nottingham (2011) on verifying resource-bounded agents, with prior positions at University of West of England and University of Nottingham Malaysia Campus. Current work includes developing simulation frameworks for automotive cybersecurity risk assessment and context-aware security models. Leads projects on enhanced intrusion detection systems using meta-heuristic optimization and cybersecurity roadmaps for connected infrastructure. Contributions include formal methods for analyzing qualitative/quantitative properties in safety-critical autonomous systems.

Jose M. VidalView profile

Professor

• Multiagent Systems
• Agent-based Modeling
• Algorithmic Game Theory
• +7 more

Jose M. Vidal is a Professor and Director of Undergraduate Studies in the Computer Science and Engineering department at the Molinaroli College of Engineering and Computing, University of South Carolina . He holds a Ph.D. in Computer Science and Engineering from the University of Michigan (1998), an M.S. in Computer Science from Rensselaer Polytechnic Institute (1991), and a B.S. in Computer Science and Engineering from MIT (1990). His research focuses on multiagent systems , spanning theoretical aspects like coordination mechanisms, algorithmic game theory, and distributed algorithms, as well as implementation in agent-based simulations, web services, and mobile applications. He has authored numerous publications in fields including healthcare process optimization, traffic engineering, and sociological theory construction. 2019: Ad Hoc Vehicle Platoon Formation (Traffic Engineering) 2019: Wikitheoria for Sociological Theory Construction 2018: Email Intent Classification using Deep Learning 2017: Intelligent Transportation Systems using Mobile Data 2016: Healthcare Workflow Simulation Models 2014: Behavioral Modeling from Observational Data He has received significant funding from the NSF, Darpa, and industry partners for projects like Wikitheoria (a collaborative theory-building platform), TargetShare (resource allocation), and mobile healthcare applications. His work bridges theoretical research with practical implementations in domains ranging from traffic systems to hospital operations.

Roberto CorizzoView profile

Research Fellow

• Big Data Analytics
• Data Mining
• Predictive Modeling
• +3 more

Roberto Corizzo is a Research Fellow at the Department of Computer Science, University of Bari, Italy. He holds a Ph.D. and is affiliated with the LACAM Laboratory. His research focuses on big data analytics, data mining, predictive modeling for sensor networks, energy prediction in smart grids, and anomaly detection. He has conducted research internships at INESC TEC (Portugal) under Prof. João Gama and at the American University (Washington D.C.) under Prof. Nathalie Japkowicz. Key research interests include: Big Data Analytics Predictive Modeling for Sensor Networks Energy Prediction in Smart Grids Anomaly Detection in Dynamic Systems His work spans over 15 publications from 2014–2019, addressing challenges in data stream analysis, renewable energy forecasting, and distributed computing. Notable contributions include Spark-GHSOM for large-scale data clustering and DENCAST for multi-target regression. He has organized conference challenges (e.g., ECML/PKDD Discovery Challenges) and contributed to projects like VIPOC for renewable energy prediction. No scientific awards are explicitly listed. He collaborates with academic institutions globally and participates in interdisciplinary projects involving energy systems and semantic services in big data platforms.

Johann GamperView profile

Professor

• Temporal Databases
• Time Series Analysis
• Query Processing
• +3 more

Johann Gamper is a Professor and Head of the Database Systems Group at the Free University of Bozen-Bolzano. He previously served as Vice-Rector for Research (2018-2024) and Vice-Dean for Studies (2014-2018). Education: Information not provided in text. Research Focus: His core research investigates data-intensive systems with emphasis on temporal data management, time series analysis, and efficient query processing. His team combines fundamental research with system development for applications in governance, tourism, healthcare, and agriculture. Current projects include temporal RDBMS extensions, time series motif mining, and multidimensional range count approximation. Publication Trends: Recent work addresses temporal query optimization, time series classification, and generative approaches for e-commerce data. His research demonstrates consistent innovation in temporal data handling and database performance optimization. Teaching: Currently teaches Database Management Systems and advises PhD students in temporal database research.

Hai HuangView profile

Senior Lecturer

• Computer Science
• Informatics
• Semantic Web
• +7 more

Dr. Hai Huang is a Senior Lecturer in Computing at the University of Greenwich, affiliated with the School of Computing and Mathematical Sciences under the Faculty of Engineering and Science. He holds a PhD from Swinburne University of Technology, Australia, and has over 10 years of international research experience across France, Australia, Saudi Arabia, Ireland, and China. Prior to his current role, he served as a Senior Research Fellow at INRIA, the French Institute for Research in Computer Science and Automation. His research focuses on computer science and informatics, with expertise in semantic web technologies, database systems, information retrieval, and query optimization. Key areas include RDF data management, SPARQL query processing, probabilistic databases, and ontology-driven systems. Dr. Huang’s work spans theoretical advancements and practical applications, addressing challenges in web harvesting, data integration, and user profiling through formal concept analysis (FCA). His contributions include innovations in query relaxation, selectivity estimation, and legal rule visualization for compliance systems. No academic awards or grants are explicitly listed, and no student advisees are documented here. His research activities are centered at the University of Greenwich, though specific lab affiliations are not mentioned.

• Philosophy of Mind
• Epistemology
• Modal Logic
• +2 more

Dr. Tuomo Juhani Yli-Vakkuri is a Senior Lecturer at the Institute for Religion and Critical Inquiry within the Faculty of Theology and Philosophy at Australian Catholic University. His research spans philosophy of mind, epistemology, modal logic, and metaphysics, with particular focus on intentionality, propositional attitudes, and the foundations of modality. Research Focus: Key areas include theories of mental content (especially narrow content), modal epistemology, truth theories, and philosophical methodology. His work frequently engages with counterfactual reasoning, knowledge attribution, and the intersection of logic with metaphysics. Recent Publications: His 15 most recent works demonstrate consistent engagement with core problems in analytic philosophy, including responses to philosophical critics, investigations into modal variation, and foundational work in higher-order logic. Recurring themes include propositional attitudes, indexicality, and the epistemic status of mathematical truths.

Panagiotis StamatopoulosView profile

Assistant Professor

• Artificial Intelligence
• Constraint Programming
• Logic Programming
• +9 more

Panagiotis Stamatopoulos is an Assistant Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, where he has been employed since 1993. He holds a PhD in Computer Science (1988) and a Diploma in Physics (1982) from the University of Athens. His research spans artificial intelligence, constraint programming, natural language processing, machine learning, and optimization. Specific interests include: Hybrid approaches combining constraint programming with operations research Natural language understanding for database access Parallel processing and distributed constraint solving Multi-agent systems and web intelligence applications His publications show consistent focus on constraint satisfaction algorithms, text summarization techniques, educational timetabling systems, and AI applications in diverse domains like sports analytics and robotics. Recent works demonstrate increased attention to NLP evaluation metrics and multimodal learning. He has supervised numerous diploma theses and led projects funded by the European Union (EDS, APPLAUSE, PARACHUTE, PARROT), University of Athens, and Olympic Airways. Stamatopoulos teaches undergraduate courses in Introduction to Programming and Logic Programming, plus postgraduate courses in Advanced Artificial Intelligence. He previously taught Artificial Intelligence, System Programming, and Expert Systems.

Michael BerryView profile

Professor

• Data Science
• Machine Learning
• Text Mining
• +4 more

Michael Berry is a Professor in the Min H. Kao Department of Electrical Engineering and Computer Science at the University of Tennessee, Knoxville, part of the Tickle College of Engineering. He holds a PhD in Computer Science from the University of Illinois at Urbana-Champaign, an MS in Applied Mathematics from North Carolina State University, and a BS in Mathematics from the University of Georgia. His research focuses on data science, machine learning, text mining, nonnegative matrix factorization, parallel computing, and their applications in biomedical and environmental domains. Notable contributions include work on tensor decomposition for big data analysis, algorithms for text mining, and computational tools like PolyLens and CodeAssessor. Berry's publications emphasize interdisciplinary applications, such as using nonnegative tensor factorization for biomedical literature analysis and developing GPU-accelerated methods for traffic flow analysis. His work spans conferences like the International Conference on Soft Computing in Data Science (SCDS) and journals in computational science. He has contributed to software tools like FutureLens for text visualization and SHEPPACK for interpolation algorithms. His research also addresses environmental challenges via parallel ecosystem modeling and spatial control problems. No scientific awards or grants are explicitly mentioned in the provided text.

Anita WasilewskaView profile

Associate Professor

• Data Mining
• Bioinformatics
• Automated Theorem Proving
• +8 more

Anita Wasilewska is an Associate Professor in the Department of Computer Science at SUNY Stony Brook University. Her research spans foundational areas in data mining, bioinformatics, automated theorem proving, and rough sets, with applications in knowledge discovery and computational logic. Education: Ph.D. in Mathematics (1975) and M.S. in Computer Science (1967), both from Warsaw University, Poland. Employment: 1989–present at Stony Brook, with adjunct roles at Dowling College (1998–2001) and sabbaticals including Fulbright Scholar (1993–1994). Her research focuses on Data Mining (classification, clustering, association rules), Bioinformatics (protein structure prediction), and Automated Theorem Proving in non-classical logics. Her recent publications emphasize granular models, meta-classifiers, and hybrid systems for knowledge discovery. She has collaborated extensively with institutions in Spain, France, and China, supervised multiple Ph.D. students, and served on program committees for conferences like ICMLA, NAFIPS, and RSCTC. Grants include NCIIA Sustainable Vision (2007–2009) and Fulbright support for research in Poland.

Lucas ChampollionView profile

Associate Professor

• Formal semantics of natural language
• Algebraic semantics
• Mereology
• +8 more

Lucas Champollion is an Associate Professor in the Department of Linguistics at New York University (NYU), affiliated with the College of Arts & Science. He holds a PhD in Linguistics from the University of Pennsylvania and a Master of Science in Engineering in Computer and Information Science from Penn. His postdoctoral research was conducted at the Eberhard Karls Universität Tübingen. Champollion's research focuses on formal semantics of natural language, particularly algebraic semantics and mereology, with applications to distributivity, aspect, and measurement. He also explores computational linguistics and formal language theory. His work bridges linguistics with philosophy and computer science, emphasizing compositional semantics and event semantics. Notable contributions include his book *Parts of a Whole: Distributivity as a Bridge Between Aspect and Measurement* (2017), which unifies theories of distributivity, aspect, and measurement using algebraic frameworks. His articles address topics such as negation and modality in truthmaker semantics, counterfactuals, donkey sentences, and free choice disjunction. Recent work (2024) explores negation's role in modal contexts, while earlier studies (2016) analyze distributivity in event semantics. He has also contributed to computational tools like the Penn Lambda Calculator for teaching formal semantics. Awarded a Humboldt fellowship (2023–2025) for research at the Munich Center for Mathematical Philosophy (MCMP), he is on leave from NYU until August 2025. His teaching spans undergraduate courses in linguistics and computational linguistics, as well as graduate-level seminars in semantics. He frequently teaches at summer schools, including ESSLLI and NASSLLI, focusing on algebraic semantics and mereology. Champollion's work intersects with experimental semantics and pragmatics, integrating theoretical insights with empirical methods. His research emphasizes the interplay between syntax, semantics, and computational models, reflecting a commitment to interdisciplinary collaboration.

Philip BogdenView profile

Associate Professor

• Data Visualization
• Data Science
• Web Technologies
• +2 more

Philip Bogden is Associate Teaching Professor of Computer Science at Northeastern University's Roux Institute, specializing in data visualization, data science, web technologies, and AI/ML. With significant industry experience, he has consulted for energy and finance sectors and served as CEO of a nonprofit providing real-time environmental data. His research develops computational solutions for environmental challenges, including flood detection systems, coastal hazard modeling, and oceanographic data infrastructure. Projects emphasize open data standards and AI applications for disaster resilience. Bogden previously contributed to open data policy at the National Science Foundation and held faculty positions at Yale and UConn. Education includes a PhD from University of California and bachelor's degree from Harvard University.

Marcin SabokView profile

Associate Professor

• Descriptive Set Theory
• Ramsey Theory
• Forcing (Logic)
• +3 more

Marcin Sabok is an Associate Professor in the Department of Mathematics and Statistics at McGill University, part of the Faculty of Science. His research focuses on descriptive set theory, Ramsey theory, forcing, and their applications in operator algebras and geometric group theory. He co-authored the book *Canonical Ramsey Theory on Polish Spaces* with Vladimir Kanovei and Jindrich Zapletal. Sabok's work bridges foundational mathematics with geometric and algebraic structures, addressing classification problems and structural properties of mathematical objects. His research has been supported by contributions to areas such as Borel combinatorics, ergodic theory, and hyperfiniteness in group actions. Affiliation: Department of Mathematics and Statistics, McGill University Key Research Themes: Set Theory, Geometric Group Theory, Logic, Operator Algebras His recent interests include exploring connections between Ramsey-theoretic methods and operator algebras, as well as studying hyperfinite actions of groups on boundaries in geometric contexts. Sabok has published extensively in top journals like *Inventiones Mathematicae* and *Advances in Mathematics*, contributing to foundational questions in set theory and its applications. While no specific awards are listed, his contributions to descriptive set theory and geometric group theory indicate significant recognition in his field. He collaborates widely, with co-authors including experts in logic, combinatorics, and functional analysis. His academic website provides further details on his research and teaching activities.

Roberta BallarinView profile

Associate Professor

• Philosophy
• Metaphysics
• Philosophy of Language
• +3 more

Roberta Ballarin is an Associate Professor in the Department of Philosophy at the University of British Columbia (UBC), affiliated with the Faculty of Arts. She holds a Ph.D. from the University of California–Los Angeles (UCLA). Her current roles include Director of Graduate Studies in the Department of Philosophy. Education: Ph.D. in Philosophy, University of California–Los Angeles (UCLA) Research Interests: Ballarin’s work spans metaphysics and philosophy of language, with a focus on the sources of necessity, the distinction between origin and definition, and alternative forms of actualism in metaphysics. In philosophy of language, she advances a novel interpretation of names as a subspecies of honorific titles, exploring their semantic and ontological roles. Her research also intersects with philosophy of logic, addressing modal systems, validity, and the interplay between logical frameworks and metaphysical concepts. Publications Trends: Her articles reflect a sustained engagement with modal logic, the nature of necessity, and the philosophical implications of linguistic structures. Recent work (2019) redefines names through honorific titles, while earlier contributions (2004–2017) critically analyze historical figures like Kripke, Carnap, Quine, and Prior, alongside debates in metaphysical foundations and causal logic. Advising & Grants: While no specific advisees or grant details are listed, her role as Director of Graduate Studies suggests active involvement in mentoring students and academic administration. Courses taught include Symbolic Logic, Philosophy of Language I, Introduction to Metaphysics, and advanced topics in 20th-century philosophy. Labs/Teams: As a philosophy professor, her primary contributions are textual and theoretical. She collaborates through academic publishing networks and leads research seminars within the Department of Philosophy.